RSAComb - Re-implementation of the combined approach for CQ answering over RSA ontologies

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Fix axiom skolemization	Federico Igne	2020-12-04	1	-3/+3
\| \| \| \| \| \|	Skolemization should be uniquely bound to the axiom being skolemized. When an axiom is a shortcut for a set of axioms, the skolemization strategy should be updated with the new axiom(s).
*	Simplify duplication of skolemization strategy	Federico Igne	2020-12-04	1	-6/+10
\|
*	Rework skolemization strategies	Federico Igne	2020-12-04	7	-161/+125
\| \| \| \| \| \|	In particular `ConstantRSA` has been removed, since it was not a skolemization strategy. The case for extra atoms generation previously handled by `ConstantRSA` is not dealt with inside the RSA check.
*	Make filtering program generate/load facts as facts	Federico Igne	2020-12-02	2	-11/+13
\|
*	Move datalog rules generation for RSA check to new RDFox generator	Federico Igne	2020-12-02	1	-28/+47
\|
*	Adapt canonical model computation to new RDFox converter	Federico Igne	2020-12-02	3	-118/+105
\| \| \| \| \|	When it comes to the canonical model, now facts are imported as facts in RDFox.
*	Unify upload of rules and facts to RDFox datastore	Federico Igne	2020-12-02	1	-4/+24
\| \| \| \|	This will also help if/when we are implementing transactions.
*	Add implicit convertion to Java Collections	Federico Igne	2020-12-02	1	-0/+4
\|
*	Add alternative conversion of axioms using switch-cases	Federico Igne	2020-12-01	1	-0/+480
\| \| \| \| \| \|	This is part of an effort to move away from the Java-style visitor pattern pushed by the OWLAPI and RDFox. Using a Scala approach will allow us to be more flexible in the long run.
*	Add implicit convertion from Java Sets/Collections to Lists	Federico Igne	2020-12-01	1	-0/+8
\|
*	Cleanup converters code	Federico Igne	2020-12-01	3	-6/+5
\|
*	Fix bug on argument validation	Federico Igne	2020-11-30	1	-1/+1
\|
*	Add ability to pass multiple ontology files on the commandline	Federico Igne	2020-11-27	2	-15/+18
\|
*	Add support for data property domain axioms	Federico Igne	2020-11-27	3	-1/+55
\| \| \| \|	Also reintroduce data property axioms in LUBM
*	Add ability to convert domain/range axioms for object properties	Federico Igne	2020-11-26	1	-3/+29
\| \| \| \| \|	They have a straightforward translation into the supported normal form proposed in the paper.
*	Turn implicit classes wrappers into objects	Federico Igne	2020-11-24	6	-12/+15
\|
*	Rename `RDFoxHelpers` to `RDFoxUtil`	Federico Igne	2020-11-24	5	-20/+20
\| \| \| \|	For a more consistent naming.
*	Rework filtering program generation	Federico Igne	2020-11-24	2	-56/+70
\|
*	Include BCQ case in filtering program generation	Federico Igne	2020-11-23	3	-305/+316
\| \| \| \|	The FilteringProgram module has been slightly reworked.
*	Remove duplicate creation of RDFox datastores	Federico Igne	2020-11-23	3	-32/+20
\|
*	Rename `boolean` as `bcq`	Federico Igne	2020-11-23	3	-9/+8
\|
*	Update RSAOntology interface for query answering	Federico Igne	2020-11-20	2	-28/+61
\|
*	Simplify workflow for query execution	Federico Igne	2020-11-20	3	-218/+121
\| \| \| \|	Input query is now read from file.
*	Integrate new ConjunctiveQuery in filtering program computation	Federico Igne	2020-11-19	3	-34/+15
\|
*	Add wrapper class for (boolean) conjunctive queries	Federico Igne	2020-11-19	6	-10/+169
\|
*	Move NI instantiation in FilteringProgram	Federico Igne	2020-11-19	5	-45/+39
\|
*	Reorganize project with Java-like folder structure	Federico Igne	2020-11-18	16	-0/+2169