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

	Commit message (Collapse)	Author	Age	Files	Lines
*	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
\|
*	Fix issue with introduction of new version of OWLAPI	Federico Igne	2020-10-21	2	-17/+23
\|
*	More details in build.sbt and updated dependencies	Stefano Germano	2020-10-19	3	-6/+13
\| \| \| \| \|	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
\|
*	Fix problem with tests	Federico Igne	2020-10-09	2	-10/+10
\| \| \| \|	Tests where not ported to the new (slightly more generic) interface.
*	Update and comment some tests	Federico Igne	2020-09-10	2	-201/+228
\| \| \| \| \| \|	With the introduction of the fresh variable generator it is harder to test axiom conversion because we would need to define a custom equality method that doesn't take particular variables into account.
*	Update to JRDFox v3.1.0	Federico Igne	2020-07-16	2	-42/+42
\|
*	Rename source code directory structure	Federico Igne	2020-07-15	2	-0/+0
\|
*	Add reworked code from previous repo	Federico Igne	2020-07-15	2	-0/+561