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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Violation statistics.	RncLsn	2015-06-05	1	-2/+2
\|
*	Fixed terms' depth count in SkolemTermsManager (it was always zero).	RncLsn	2015-06-04	1	-2/+2
\|
*	Restored fixed SkolemTermsManager (went lost in some revert).	RncLsn	2015-06-04	1	-4/+4
\|
*	New queries for LUBM and UOBM, automatically generated by SyGENiA.	RncLsn	2015-06-04	1	-3/+3
\|
*	Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.	RncLsn	2015-06-03	1	-3/+3
\|
*	Before reintroducing extended queries.	RncLsn	2015-06-03	1	-0/+1
\|
*	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