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

	Commit message (Collapse)	Author	Age	Files	Lines
...
*	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.
*	Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approach	Federico Igne	2020-08-04	1	-0/+21
\|\
\| *	Scala workflow - GitHub Actions	Stefano Germano	2020-07-22	1	-0/+21
\| \|
* \|	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	7	-57/+62
\|
*	Update dependences	Federico Igne	2020-07-15	1	-2/+2
\|
*	Rename source code directory structure	Federico Igne	2020-07-15	8	-0/+0
\|
*	Add reworked code from previous repo	Federico Igne	2020-07-15	10	-0/+967
\|
*	Statement about "re-implementation"	Stefano Germano	2020-06-17	1	-1/+10
\|
*	Initial commit	Federico Igne	2020-06-10	1	-0/+2