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	-369/+0
\|
*	Rework RSA as a utility object	Federico Igne	2020-11-18	1	-27/+32
\|
*	Remove implicit RSAOntology conversion	Federico Igne	2020-11-17	1	-11/+11
\| \| \| \| \| \|	This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel.
*	Fix tests	Federico Igne	2020-11-14	1	-3/+3
\| \| \| \| \|	They were loading the wrong example file since we switched to Turtle format.
*	Update canonical model unit tests	Federico Igne	2020-11-06	1	-11/+11
\|
*	Update tests to RDFox v4.0	Federico Igne	2020-11-05	1	-1/+2
\|
*	Add unit tests for example2.owl for the canonical model computation	Federico Igne	2020-10-28	1	-3/+152
\|
*	Adapt test to new `cycle` method	Federico Igne	2020-10-28	1	-14/+24
\|
*	Add tests for 'subObjectPropertyOf' axioms	Federico Igne	2020-10-23	1	-5/+34
\|
*	Add additional tests for T5 axiom rule generation	Federico Igne	2020-10-23	1	-1/+58
\|
*	Fix bug in conflict set computation	Federico Igne	2020-10-21	1	-1/+14
\|
*	More details in build.sbt and updated dependencies	Stefano Germano	2020-10-19	1	-2/+5
\| \| \| \| \|	While updating the dependencies, I noticed that v3.2 of scalatest is very different from v3.1 (https://www.scalatest.org/release_notes/3.2.0). Therefore, I also needed to update the test files. But, there is a "too many arguments" error that needs to be solved (I do not know why it was working before).
*	Add some tests for canonical model computation	Federico Igne	2020-10-10	1	-13/+69
\|
*	Add skeleton file for CanonicalModel testing	Federico Igne	2020-10-09	1	-0/+46