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

	Commit message (Collapse)	Author	Age	Files	Lines
*	[pagoda] Move project to Scala	Federico Igne	2022-05-11	4	-309/+0
\| \| \| \| \| \| \| \| \|	This commit includes a few changes: - The repository still uses Maven to manage dependency but it is now a Scala project. - The code has been ported from OWLAPI 3.4.10 to 5.1.20 - A proof of concept program using both RSAComb and PAGOdA has been added.
*	Bug-fix for answer dependencies analysis: now it checks whether the ↵	RncLsn	2015-07-09	1	-1/+2
\| \| \| \|	endomorphism makes the first tuple identical to the second one.
*	Many little changes.	RncLsn	2015-07-03	1	-1/+8
\|
*	Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.	RncLsn	2015-06-03	1	-3/+3
\|
*	Bug-fix in tester.	RncLsn	2015-05-28	1	-16/+11
\|
*	Merge branch 'upstream' into Query-dependent-skolemisation	RncLsn	2015-05-28	2	-70/+82
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Conflicts: src/uk/ac/ox/cs/pagoda/approx/RLPlusOntology.java src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndMultiThreadPlan.java src/uk/ac/ox/cs/pagoda/endomorph/plan/OpenEndPlan.java src/uk/ac/ox/cs/pagoda/query/GapByStore4ID.java src/uk/ac/ox/cs/pagoda/query/GapByStore4ID2.java src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java src/uk/ac/ox/cs/pagoda/reasoner/light/BasicQueryEngine.java src/uk/ac/ox/cs/pagoda/tracking/TrackingRuleEncoderWithGap.java src/uk/ac/ox/cs/pagoda/util/Utility.java test/uk/ac/ox/cs/pagoda/junit/ClauseTester.java test/uk/ac/ox/cs/pagoda/junit/TestGapMappedToLower.java
\| *	fixed a bug in the process of generating gap tuples, see test in	yujiao	2015-05-25	3	-20/+45
\| \| \| \| \| \|	TestGapMappedToLower.java
* \|	Merged updates from upstream.	RncLsn	2015-05-28	3	-74/+91
\| \|
* \|	Added more tests.	RncLsn	2015-05-20	1	-9/+5
\|/ \| \| \|	Querying of the upper bound is currently unstable.
*	initial version	yzhou	2015-04-21	4	-0/+281