ACQuA - OWL reasoner for CQ answering combining RSAComb, PAGOdA and a sprinkle of HermiT.

	Commit message (Collapse)	Author	Age	Files	Lines
*	Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).	RncLsn	2015-06-02	1	-1/+1
\|
*	Disposable.	RncLsn	2015-05-29	1	-2/+2
\|
*	Anonymous ontology id.	RncLsn	2015-05-29	1	-2/+2
\|
*	Bug-fix in tester.	RncLsn	2015-05-28	1	-2/+2
\|
*	NOT-WORKING: trying to add query-dependent Skolemisation.	RncLsn	2015-05-28	1	-2/+2
\|
*	Removed extended queries (involving classes MyQueryReasoner and ↵	RncLsn	2015-05-21	1	-2/+2
\| \| \| \|	QueryRecord). Executed LightTests successfully.
*	Added more tests.	RncLsn	2015-05-20	1	-3/+3
\| \| \| \|	Querying of the upper bound is currently unstable.
*	Changes in the upper store querying (mainly in MyQueryReasoner).	RncLsn	2015-05-19	1	-0/+1
\|
*	Backup before changes in MyQueryReasoner.	RncLsn	2015-05-19	1	-0/+17