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

	Commit message (Collapse)	Author	Age	Files	Lines
...
* \|	Maybe fixed bug in internalisation.	RncLsn	2015-06-26	22	-283/+2221
\|/
*	Small changes.	RncLsn	2015-06-10	4	-92/+108
\|
*	Fixed marking original individuals in the relevant upper store.	RncLsn	2015-06-09	12	-17/+132
\|
*	Small changes.	RncLsn	2015-06-07	2	-6/+14
\|
*	Violations processor (Python script).	RncLsn	2015-06-05	3	-2/+957
\|
*	Violation statistics.	RncLsn	2015-06-05	10	-17/+103
\|
*	Fixed terms' depth count in SkolemTermsManager (it was always zero).	RncLsn	2015-06-04	8	-25/+44
\|
*	Restored fixed SkolemTermsManager (went lost in some revert).	RncLsn	2015-06-04	5	-58/+56
\|
*	SyGENiA query converter.	RncLsn	2015-06-04	1	-0/+91
\|
*	removed ".idea"	RncLsn	2015-06-04	64	-832/+0
\|
*	Merge remote-tracking branch 'origin/Query-dependent-skolemisation' into ↵	RncLsn	2015-06-04	0	-0/+0
\|\ \| \| \| \| \| \|	Query-dependent-skolemisation
\| *	Removed useless directory ".idea".	RncLsn	2015-06-04	1	-2/+0
\| \|
* \|	Removed useless directory ".idea".	RncLsn	2015-06-04	1	-2/+0
\|/
*	New queries for LUBM and UOBM, automatically generated by SyGENiA.	RncLsn	2015-06-04	10	-5/+3189
\|
*	Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.	RncLsn	2015-06-03	7	-121/+117
\|
*	Before reintroducing extended queries.	RncLsn	2015-06-03	23	-396/+508
\|
*	Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).	RncLsn	2015-06-02	13	-234/+256
\|
*	Disposable.	RncLsn	2015-05-29	34	-3899/+5263
\|
*	Anonymous ontology id.	RncLsn	2015-05-29	3	-8/+11
\|
*	Bug-fix in tester.	RncLsn	2015-05-28	10	-68/+76
\|
*	Merge branch 'upstream' into Query-dependent-skolemisation	RncLsn	2015-05-28	7	-391/+427
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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	14	-51/+303
\| \| \| \| \| \|	TestGapMappedToLower.java
\| *	turned on the LOG switch in Utility	yzhou	2015-05-22	3	-3/+32
\| \| \| \| \| \| \| \|	added a tracking rule for inequality in TrackingRuleEncoderWithGap added a testcase in ClauseTester
* \|	Merged updates from upstream.	RncLsn	2015-05-28	15	-335/+554
\| \|
* \|	Rewritten ontology loading of class RLPlusOntology. Now query-dependent ↵	RncLsn	2015-05-28	1	-44/+47
\| \| \| \| \| \| \| \|	skolemisation works.
* \|	NOT-WORKING: trying to add query-dependent Skolemisation.	RncLsn	2015-05-28	13	-327/+318
\| \|
* \|	Removed extended queries (involving classes MyQueryReasoner and ↵	RncLsn	2015-05-21	5	-80/+62
\| \| \| \| \| \| \| \|	QueryRecord). Executed LightTests successfully.
* \|	Added more tests.	RncLsn	2015-05-20	34	-448/+201721
\| \| \| \| \| \| \| \|	Querying of the upper bound is currently unstable.
* \|	Deleted unused classes.	RncLsn	2015-05-19	18	-953/+223
\| \|
* \|	Changes in the upper store querying (mainly in MyQueryReasoner).	RncLsn	2015-05-19	12	-381/+389
\| \|
* \|	Backup before changes in MyQueryReasoner.	RncLsn	2015-05-19	17	-362/+679
\| \|
* \|	Configured Maven and improved executable class and tests.	RncLsn	2015-05-18	45	-1188/+472
\| \|
* \|	Testing and fixing. Executed successfully on UOBM{1,2,3,4,5,6,7,8}.	RncLsn	2015-05-15	36	-282/+293
\| \|
* \|	It executes. Matching bounds for query 18 of UOBM.	RncLsn	2015-05-14	6	-40/+44
\| \| \| \| \| \| \| \|	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	9	-61/+184
\| \| \| \| \| \| \| \|	doesn't.
* \|	Implemented SkolemTermsManager.	RncLsn	2015-05-13	14	-143/+259
\| \|
* \|	Implementing Limited Skolemisation, in particular SkolemTermsDispenser.	RncLsn	2015-05-13	29	-579/+492
\| \|
* \|	Added classes for implementing new upper store (Limited Skolemisation).	RncLsn	2015-05-12	12	-493/+490
\| \| \| \| \| \| \| \|	Started implementation of the new classes.
* \|	Adding (not completed) a new upper bound technique, namely Limited ↵	RncLsn	2015-05-11	16	-158/+165
\| \| \| \| \| \| \| \|	Skolemisation.
* \|	Adding (not completed) log of partial answers in Json.	RncLsn	2015-05-09	13	-99/+183
\| \|
* \|	Making the output machine-readable (JSON).	RncLsn	2015-05-07	22	-411/+588
\| \|
* \|	Merge remote-tracking branch 'origin/master'	RncLsn	2015-05-06	0	-0/+0
\|\ \
\| * \	Merge remote-tracking branch 'origin/master'	Ronca	2015-05-06	0	-0/+0
\| \|\ \
* \| \ \	Fixing author	RncLsn	2015-05-06	0	-0/+0
\|\ \ \ \ \| \|/ / / \|/\| / / \| \|/ /
\| * /	Switch from JUnit to TestNG.	Ronca	2015-05-06	88	-289/+1168
\| \|/ \| \| \| \| \| \|	Plus minor fixes.
* /	Switch from JUnit to TestNG.	RncLsn	2015-05-06	88	-289/+1168
\|/ \| \| \|	Plus minor fixes.
*	removed debug output for ore compitition	yzhou	2015-05-02	6	-16/+14
\| \| \| \|	to add log info, check Utility.java LOGS
*	fixed some bugs	yzhou	2015-05-01	3	-8/+51
\|
*	add time tag to the temporary output	yzhou	2015-05-01	4	-7/+17
\| \| \|	fixed a bug about equality in the tracking datalog encoding
*	downgrade owl api and reorganised src files	yzhou	2015-04-30	28	-28/+11
\|