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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	Introduce naive fresh variable generator	Federico Igne	2020-09-07	5	-35/+45
\|
*	Fix SKOLEM function call	Federico Igne	2020-09-07	1	-1/+3
\| \| \| \| \| \|	The first argument of the function call has to be a string. Here we use the atom IRI string. Since arguments need to be `BuiltinExpression`s, we use a XSD_STRING `Literal` to represent it.
*	Add setup code to compute the RSA filtering program	Federico Igne	2020-09-07	6	-48/+261
\| \| \| \| \|	Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work.
*	Add check for RSA graph acyclicity	Federico Igne	2020-08-19	1	-40/+44
\|
*	Generalise prefixes	Federico Igne	2020-08-19	3	-35/+21
\|
*	Use `rdf(..)` instead of `create(..)` to create `Atom`s	Federico Igne	2020-08-19	6	-58/+76
\|
*	Add simple examples	Federico Igne	2020-08-17	1	-1/+2
\|
*	Automate query evaluation in RDFoxUtil	Federico Igne	2020-08-17	2	-14/+34
\|
*	Add code to access query answers programmatically	Federico Igne	2020-08-16	1	-12/+10
\|
*	Include built-in rules in RSA check	Federico Igne	2020-08-16	4	-112/+214
\|
*	Fix role unsafety check	Federico Igne	2020-08-11	2	-7/+8
\| \| \| \| \|	We now check that the existential expression in the axiom of type T3 is not top.
*	Add code to communicate with a local RDFox instance	Federico Igne	2020-08-11	2	-3/+61
\|
*	Add condition 2 for role unsafety detection	Federico Igne	2020-08-08	1	-15/+30
\|
*	Add unsafety check for ontology roles	Federico Igne	2020-08-06	2	-132/+142
\| \| \| \| \| \|	The current implementation is still a first attempt and by far not the most effective. It is still missing some corner cases and extensive testing.
*	Refactor code into different files	Federico Igne	2020-08-06	5	-167/+335
\| \| \| \| \|	This has been done to better accommodate the code to detect all unsafe roles in an ontology.
*	Adapt LP conversion to RSA check	Federico Igne	2020-08-04	4	-28/+68
\| \| \| \| \| \|	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	4	-17/+55
\|
*	Update to JRDFox v3.1.0	Federico Igne	2020-07-16	5	-15/+20
\|
*	Rename source code directory structure	Federico Igne	2020-07-15	6	-0/+0
\|
*	Add reworked code from previous repo	Federico Igne	2020-07-15	6	-0/+390