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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Fix path for RSAComb resources	Federico Igne	2022-05-15	1	-1/+1
\|
*	Add preprocessing and initial computation for CQ answering	Federico Igne	2022-05-12	1	-144/+138
\|
*	[pagoda] Fix public interfaces to allow outside access	Federico Igne	2022-05-12	2	-4/+4
\| \| \| \| \|	Minor changes to access level for `QueryReasoner` and `ConsistencyManager`.
*	Add initial implementation of ACQuA reasoner	Federico Igne	2022-05-12	1	-0/+489
\|
*	Adjust CLI	Federico Igne	2022-05-12	2	-39/+35
\|
*	Add RSA query reasoner to perform CQ answering over RSA	Federico Igne	2022-05-11	3	-24/+47
\|
*	Implement stub for query answering procedure	Federico Igne	2022-05-11	4	-19/+383
\|
*	[pagoda] Add method to set properties on QueryReasoner	Federico Igne	2022-05-11	1	-0/+5
\|
*	[pagoda] Move project to Scala	Federico Igne	2022-05-11	211	-202/+205192
\| \| \| \| \| \| \| \| \|	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.
*	RDFox dependency from project repo; improved the readme.	RncLsn	2015-10-12	1	-1/+1
\|
*	Bug fix for a NullPointerException.	RncLsn	2015-09-13	2	-2/+3
\|
*	Improved the statistics that are generated for evaluating the system; ↵	RncLsn	2015-09-11	5	-13/+49
\| \| \| \|	configuration file: now default and user-specified.
*	Integrated fix (manually) from upper stream.	RncLsn	2015-09-03	2	-3/+5
\|
*	New test cases.	RncLsn	2015-09-03	1	-2/+2
\|
*	Incremental Skolemised store (seems completed).	RncLsn	2015-08-24	5	-19/+93
\|
*	Incremental Skolemised store (not working).	RncLsn	2015-08-14	11	-47/+242
\|
*	Rules parsing.	RncLsn	2015-08-04	14	-59/+153
\|
*	The LimitedSkolemisation now employs a fixed-depth term instead of a ↵	RncLsn	2015-08-03	4	-22/+37
\| \| \| \|	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	7	-206/+287
\| \| \| \|	file pagoda.properties).
*	Bug-fix for answer dependencies analysis: now it checks whether the ↵	RncLsn	2015-07-09	5	-23/+51
\| \| \| \|	endomorphism makes the first tuple identical to the second one.
*	Internalisation: added condition for existential variables (classes ↵	RncLsn	2015-07-08	4	-26/+48
\| \| \| \| \| \|	HermitChecker and QueryGraph). Answer dependencies: found bug, trying to solve; excluding dependency analysis solve the problem.
*	Small changes.	RncLsn	2015-07-07	2	-11/+20
\|
*	Many little changes.	RncLsn	2015-07-03	16	-54/+299
\|
*	Small changes.	RncLsn	2015-06-30	7	-44/+29
\|
*	Summarisation before Skolemisation. Added Reactome testcase.	RncLsn	2015-06-26	3	-20/+37
\|
*	Maybe fixed bug in internalisation.	RncLsn	2015-06-26	13	-251/+336
\|
*	Small changes.	RncLsn	2015-06-10	1	-1/+1
\|
*	Fixed marking original individuals in the relevant upper store.	RncLsn	2015-06-09	7	-5/+28
\|
*	Small changes.	RncLsn	2015-06-07	1	-2/+6
\|
*	Violations processor (Python script).	RncLsn	2015-06-05	1	-2/+2
\|
*	Violation statistics.	RncLsn	2015-06-05	8	-14/+98
\|
*	Fixed terms' depth count in SkolemTermsManager (it was always zero).	RncLsn	2015-06-04	5	-21/+26
\|
*	Restored fixed SkolemTermsManager (went lost in some revert).	RncLsn	2015-06-04	4	-54/+52
\|
*	New queries for LUBM and UOBM, automatically generated by SyGENiA.	RncLsn	2015-06-04	2	-2/+2
\|
*	Reintroduced extended queries. Successfully tested on LightTests and GapAnswers.	RncLsn	2015-06-03	6	-118/+114
\|
*	Before reintroducing extended queries.	RncLsn	2015-06-03	20	-394/+504
\|
*	Working query-dependent semi-skolemised upper bound (tested on UOBM1 and LUBM1).	RncLsn	2015-06-02	11	-233/+255
\|
*	Disposable.	RncLsn	2015-05-29	32	-3897/+4103
\|
*	Anonymous ontology id.	RncLsn	2015-05-29	1	-4/+8
\|
*	Bug-fix in tester.	RncLsn	2015-05-28	3	-19/+15
\|
*	Merge branch 'upstream' into Query-dependent-skolemisation	RncLsn	2015-05-28	6	-339/+366
\|\ \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \| \|	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	13	-51/+226
\| \| \| \| \| \|	TestGapMappedToLower.java
\| *	turned on the LOG switch in Utility	yzhou	2015-05-22	2	-3/+7
\| \| \| \| \| \| \| \|	added a tracking rule for inequality in TrackingRuleEncoderWithGap added a testcase in ClauseTester
* \|	Merged updates from upstream.	RncLsn	2015-05-28	13	-327/+453
\| \|
* \|	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	12	-325/+316
\| \|
* \|	Removed extended queries (involving classes MyQueryReasoner and ↵	RncLsn	2015-05-21	3	-76/+57
\| \| \| \| \| \| \| \|	QueryRecord). Executed LightTests successfully.
* \|	Added more tests.	RncLsn	2015-05-20	18	-377/+409
\| \| \| \| \| \| \| \|	Querying of the upper bound is currently unstable.
* \|	Deleted unused classes.	RncLsn	2015-05-19	16	-943/+197
\| \|