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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Reorganize project with Java-like folder structure	Federico Igne	2020-11-18	1	-106/+0
\|
*	Rework RSA as a utility object	Federico Igne	2020-11-18	1	-1/+1
\|
*	Rework suffixes	Federico Igne	2020-11-16	1	-1/+3
\| \| \| \| \|	This is a WIP implementation of a generalized way of handling IRI suffixes. It is not currently used everywhere.
*	Remove debug output	Federico Igne	2020-11-10	1	-1/+0
\|
*	Add OWLClassAssertionAxiom to axioms handled during translation	Federico Igne	2020-11-10	1	-1/+22
\|
*	Update code to RDFox v4.0	Federico Igne	2020-11-05	1	-4/+8
\|
*	Add rule generation for unsafe T5 axioms for canonical model	Federico Igne	2020-09-30	1	-7/+9
\|
*	Introduce naive fresh variable generator	Federico Igne	2020-09-07	1	-25/+29
\|
*	Adapt LP conversion to RSA check	Federico Igne	2020-08-04	1	-9/+12
\| \| \| \| \| \|	Part of the process involves the search of unsafe roles in the input ontology. This is still to be implemented and for now the set of unsafe roles for the testing example is hardcoded.
*	Add DL renderer for input rules	Federico Igne	2020-08-03	1	-6/+19
\|
*	Update to JRDFox v3.1.0	Federico Igne	2020-07-16	1	-2/+2
\|
*	Rename source code directory structure	Federico Igne	2020-07-15	1	-0/+58