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	-35/+0
\|
*	Rework RSA as a utility object	Federico Igne	2020-11-18	1	-1/+1
\|
*	Unify use of RSASuffix	Federico Igne	2020-11-17	1	-5/+4
\| \| \| \|	This commit comes with minor fixes and code simplifications.
*	Rework suffixes	Federico Igne	2020-11-16	1	-4/+6
\| \| \| \| \|	This is a WIP implementation of a generalized way of handling IRI suffixes. It is not currently used everywhere.
*	Update code to RDFox v4.0	Federico Igne	2020-11-05	1	-7/+8
\|
*	Add rule generation for unsafe T5 axioms for canonical model	Federico Igne	2020-09-30	1	-6/+9
\|
*	Introduce naive fresh variable generator	Federico Igne	2020-09-07	1	-1/+1
\|
*	Use `rdf(..)` instead of `create(..)` to create `Atom`s	Federico Igne	2020-08-19	1	-15/+14
\|
*	Add DL renderer for input rules	Federico Igne	2020-08-03	1	-0/+7
\|
*	Update to JRDFox v3.1.0	Federico Igne	2020-07-16	1	-2/+3
\|
*	Rename source code directory structure	Federico Igne	2020-07-15	1	-0/+23