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

	Commit message (Collapse)	Author	Age	Files	Lines
*	New test cases.	RncLsn	2015-09-03	1	-2/+2
\|
*	Incremental Skolemised store (seems completed).	RncLsn	2015-08-24	2	-5/+52
\|
*	Incremental Skolemised store (not working).	RncLsn	2015-08-14	2	-17/+31
\|
*	Rules parsing.	RncLsn	2015-08-04	3	-6/+6
\|
*	Option for SkolemUpperBound application and for skolemisation depth (from ↵	RncLsn	2015-08-01	1	-3/+9
\| \| \| \|	file pagoda.properties).
*	Internalisation: added condition for existential variables (classes ↵	RncLsn	2015-07-08	1	-13/+17
\| \| \| \| \| \|	HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
*	Small changes.	RncLsn	2015-07-07	1	-10/+19
\|
*	Many little changes.	RncLsn	2015-07-03	2	-21/+25
\|
*	Small changes.	RncLsn	2015-06-30	1	-3/+3
\|
*	Summarisation before Skolemisation. Added Reactome testcase.	RncLsn	2015-06-26	1	-8/+14
\|
*	Maybe fixed bug in internalisation.	RncLsn	2015-06-26	4	-222/+252
\|
*	Small changes.	RncLsn	2015-06-10	1	-1/+1
\|
*	Fixed marking original individuals in the relevant upper store.	RncLsn	2015-06-09	2	-3/+5
\|
*	Violation statistics.	RncLsn	2015-06-05	2	-1/+20
\|
*	Fixed terms' depth count in SkolemTermsManager (it was always zero).	RncLsn	2015-06-04	1	-1/+1
\|
*	Restored fixed SkolemTermsManager (went lost in some revert).	RncLsn	2015-06-04	1	-3/+3
\|
*	New queries for LUBM and UOBM, automatically generated by SyGENiA.	RncLsn	2015-06-04	1	-1/+1
\|
*	Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.	RncLsn	2015-06-03	1	-38/+16
\|
*	Before reintroducing extended queries.	RncLsn	2015-06-03	11	-211/+301
\|
*	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