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

	Commit message (Expand)	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
*	Add setup code to compute the RSA filtering program	Federico Igne	2020-09-07	6	-48/+261
*	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
*	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
*	Refactor code into different files	Federico Igne	2020-08-06	5	-167/+335
*	Adapt LP conversion to RSA check	Federico Igne	2020-08-04	4	-28/+68
*	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