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	1	-183/+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 in tester.	RncLsn	2015-05-28	1	-77/+0
\|
*	Merge branch 'upstream' into Query-dependent-skolemisation	RncLsn	2015-05-28	1	-52/+61
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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	1	-0/+77
\| \| \| \| \| \|	TestGapMappedToLower.java
\| *	turned on the LOG switch in Utility	yzhou	2015-05-22	1	-0/+25
\| \| \| \| \| \| \| \|	added a tracking rule for inequality in TrackingRuleEncoderWithGap added a testcase in ClauseTester
* \|	Merged updates from upstream.	RncLsn	2015-05-28	2	-0/+251
\| \|
* \|	Switch from JUnit to TestNG.	RncLsn	2015-05-06	15	-896/+0
\|/ \| \| \|	Plus minor fixes.
*	downgrade owl api and reorganised src files	yzhou	2015-04-30	1	-3/+1
\|
*	fixed some bugs in windows server	yzhou	2015-04-21	1	-1/+2
\|
*	initial version	yzhou	2015-04-21	15	-0/+897