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

	Commit message (Collapse)	Author	Age	Files	Lines
*	Rework RSA as a utility object	Federico Igne	2020-11-18	1	-113/+0
\|
*	Remove implicit RSAOntology conversion	Federico Igne	2020-11-17	1	-0/+10
\| \| \| \| \| \|	This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel.
*	Unify use of RSASuffix	Federico Igne	2020-11-17	1	-1/+1
\| \| \| \|	This commit comes with minor fixes and code simplifications.
*	Improve query pretty printing	Federico Igne	2020-11-10	1	-1/+1
\|
*	Update code to RDFox v4.0	Federico Igne	2020-11-05	1	-6/+13
\|
*	Add partial unit tests for filtering program computation	Federico Igne	2020-10-29	1	-2/+2
\| \| \| \|	The committed tests will fail, but the reason is still not clear.
*	Simplify ProgramGenerator constructor	Federico Igne	2020-10-09	1	-4/+11
\| \| \| \| \|	If we pass the whole ontology there is no need to also provide the set of unsafe roles.
*	Add method to parse a string into a Query	Federico Igne	2020-09-23	1	-1/+12
\| \| \| \|	This is using `SPARQLParser`, an undocumented class provided by JRDFox
*	Fix RDFox query execution helper	Federico Igne	2020-09-22	1	-6/+11
\|
*	Add setup code to compute the RSA filtering program	Federico Igne	2020-09-07	1	-1/+5
\| \| \| \| \|	Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work.
*	Use `rdf(..)` instead of `create(..)` to create `Atom`s	Federico Igne	2020-08-19	1	-2/+7
\|
*	Automate query evaluation in RDFoxUtil	Federico Igne	2020-08-17	1	-0/+22
\|
*	Include built-in rules in RSA check	Federico Igne	2020-08-16	1	-0/+42