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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Version 2.1.1v2.1.1	RncLsn	2015-09-11	1	-1/+1
\|
*	Improved the statistics that are generated for evaluating the system; ↵	RncLsn	2015-09-11	7	-15/+55
\| \| \| \|	configuration file: now default and user-specified.
*	Small changes	RncLsn	2015-09-10	4	-5/+19
\|
*	Integrated fix (manually) from upper stream.	RncLsn	2015-09-03	4	-6/+9
\|
*	New test cases.	RncLsn	2015-09-03	5	-3/+114
\|
*	Incremental Skolemised store (seems completed).	RncLsn	2015-08-24	5	-19/+93
\|
*	Incremental Skolemised store (not working).	RncLsn	2015-08-14	12	-49/+244
\|
*	Version number (2.1.1-SNAPSHOT)	RncLsn	2015-08-06	5	-7/+19
\|
*	Merge branch '2.1.0' into Rules	RncLsn	2015-08-06	1	-1/+1
\|\
\| *	Version number.v2.1.0	RncLsn	2015-08-06	1	-1/+1
\| \|
* \|	Rules parsing.	RncLsn	2015-08-04	16	-59/+484
\|/
*	The LimitedSkolemisation now employs a fixed-depth term instead of a ↵	RncLsn	2015-08-03	8	-27/+43
\| \| \| \|	constant. Performed some testing before merging with master.
*	CLI option names.	RncLsn	2015-08-03	1	-1/+20
\|
*	Option for SkolemUpperBound application and for skolemisation depth (from ↵	RncLsn	2015-08-01	8	-209/+291
\| \| \| \|	file pagoda.properties).
*	Bug-fix for answer dependencies analysis: now it checks whether the ↵	RncLsn	2015-07-09	10	-35/+128
\| \| \| \|	endomorphism makes the first tuple identical to the second one.
*	Internalisation: added condition for existential variables (classes ↵	RncLsn	2015-07-08	6	-31/+111
\| \| \| \| \| \|	HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
*	Small changes.	RncLsn	2015-07-07	3	-13/+22
\|
*	Merge remote-tracking branch 'origin/While_finding_test_cases' into ↵	RncLsn	2015-07-06	0	-0/+0
\|\ \| \| \| \| \| \| \| \| \| \| \| \|	While_finding_test_cases Conflicts: scripts/plottimes.py
\| *	Added script for plotting times.	RncLsn	2015-07-06	1	-0/+29
\| \|
* \|	Added script for plotting times.	RncLsn	2015-07-06	1	-0/+48
\|/
*	Many little changes.	RncLsn	2015-07-03	24	-95/+435
\|
*	Reactome test: standard and sygenia queries.	RncLsn	2015-07-03	3	-0/+932
\|
*	Small changes.	RncLsn	2015-06-30	9	-47/+41
\|
*	Summarisation before Skolemisation. Added Reactome testcase.	RncLsn	2015-06-26	8	-26/+71
\|
*	Merge remote-tracking branch 'origin/Query-dependent-skolemisation' into ↵	RncLsn	2015-06-26	0	-0/+0
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	Query-dependent-skolemisation Conflicts: src/uk/ac/ox/cs/pagoda/query/rollup/QueryGraph.java src/uk/ac/ox/cs/pagoda/reasoner/MyQueryReasoner.java src/uk/ac/ox/cs/pagoda/reasoner/full/HermitChecker.java
\| *	Maybe fixed bug in internalisation.	RncLsn	2015-06-16	15	-54/+1890
\| \|
* \|	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
\| \|