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

	Commit message (Collapse)	Author	Age	Files	Lines
*	fix(cli): handling of empty argument lists	Federico Igne	2022-05-18	1	-2/+2
\|
*	fix(elho-reasoner): correct handling of Optional value	Federico Igne	2022-05-18	1	-2/+2
\| \| \| \|	This bug was introduced with the recent update of the OWLAPI to 5.1.20.
*	docs(license): add Apache-2.0 LICENSE file	Federico Igne	2022-05-18	1	-0/+202
\|
*	build: move project `resources` folder	Federico Igne	2022-05-18	4	-9/+8
\|
*	build(hermit): bump HermiT v1.3.8.1 -> v1.4.5.519	Federico Igne	2022-05-18	9	-19/+53
\| \| \| \| \| \| \|	This commit contains a "hacky" fix for KARMA2 to access some (now private) field in the OWLAxioms class. The code is now using Java Reflections to turn a private field public and gain access to internal resources.
*	docs: update README.md	Federico Igne	2022-05-18	1	-30/+100
\|
*	fix: stack overflow casued by `implicit` infinite loop	Federico Igne	2022-05-18	1	-2/+5
\|
*	Make ACQuA query reasoner depend on RSAComb query reasoner	Federico Igne	2022-05-16	2	-24/+52
\|
*	Finalise implementation of ACQuA query reasoner	Federico Igne	2022-05-15	6	-305/+400
\|
*	Add compatibility layer between RSAComb and PAGOdA query answers	Federico Igne	2022-05-15	1	-0/+146
\|
*	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	213	-334/+523
\| \| \| \| \| \| \| \| \|	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	15	-39/+93
\|
*	Bug fix for a NullPointerException.	RncLsn	2015-09-13	4	-5/+6
\|
*	Changed version into 2.1.2-SNAPSHOT for further changes.v2.1.2	RncLsn	2015-09-11	1	-1/+1
\|
*	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
\|