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	3	-66/+70
\|
*	Disposable.	RncLsn	2015-05-29	13	-1597/+1663
\|
*	Merge branch 'upstream' into Query-dependent-skolemisation	RncLsn	2015-05-28	1	-86/+95
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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	2	-3/+4
\| \| \| \| \| \|	TestGapMappedToLower.java
* \|	Merged updates from upstream.	RncLsn	2015-05-28	2	-80/+79
\| \|
* \|	NOT-WORKING: trying to add query-dependent Skolemisation.	RncLsn	2015-05-28	7	-195/+202
\| \|
* \|	Removed extended queries (involving classes MyQueryReasoner and ↵	RncLsn	2015-05-21	1	-18/+9
\| \| \| \| \| \| \| \|	QueryRecord). Executed LightTests successfully.
* \|	Added more tests.	RncLsn	2015-05-20	6	-53/+55
\| \| \| \| \| \| \| \|	Querying of the upper bound is currently unstable.
* \|	Deleted unused classes.	RncLsn	2015-05-19	7	-133/+30
\| \|
* \|	Changes in the upper store querying (mainly in MyQueryReasoner).	RncLsn	2015-05-19	2	-77/+91
\| \|
* \|	Backup before changes in MyQueryReasoner.	RncLsn	2015-05-19	2	-176/+174
\| \|
* \|	Configured Maven and improved executable class and tests.	RncLsn	2015-05-18	1	-0/+1
\| \|
* \|	Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.	RncLsn	2015-05-15	7	-111/+122
\| \|
* \|	It executes. Matching bounds for query 18 of UOBM.	RncLsn	2015-05-14	3	-30/+21
\| \| \| \| \| \| \| \|	It is not stable: several critical fixes to do!
* \|	Fast implementation of all the other things to get something working, but it ↵	RncLsn	2015-05-13	3	-30/+60
\| \| \| \| \| \| \| \|	doesn't.
* \|	Implementing Limited Skolemisation, in particular SkolemTermsDispenser.	RncLsn	2015-05-13	1	-3/+3
\| \|
* \|	Added classes for implementing new upper store (Limited Skolemisation).	RncLsn	2015-05-12	1	-61/+68
\| \| \| \| \| \| \| \|	Started implementation of the new classes.
* \|	Adding (not completed) a new upper bound technique, namely Limited ↵	RncLsn	2015-05-11	1	-4/+4
\| \| \| \| \| \| \| \|	Skolemisation.
* \|	Adding (not completed) log of partial answers in Json.	RncLsn	2015-05-09	2	-18/+30
\| \|
* \|	Making the output machine-readable (JSON).	RncLsn	2015-05-07	1	-31/+36
\|/
*	removed debug output for ore compitition	yzhou	2015-05-02	1	-1/+1
\| \| \| \|	to add log info, check Utility.java LOGS
*	added top answers optimisation back	yzhou	2015-04-29	3	-40/+43
\|
*	pass the wine realisation	yzhou	2015-04-28	3	-29/+35
\|
*	added two interfaces in QueryReasoner for SemFacet	yzhou	2015-04-22	1	-0/+8
\| \| \|	removed answer files in the *.conf
*	fixed some bugs in windows server	yzhou	2015-04-21	10	-43/+122
\|
*	fixed a bug in simpleETL -- closing a FileOutputStream	yzhou	2015-04-21	1	-1/+2
\|
*	initial version	yzhou	2015-04-21	20	-0/+2949