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	4	-1374/+0
\|
*	Rework RSA as a utility object	Federico Igne	2020-11-18	4	-65/+89
\|
*	Remove implicit RSAOntology conversion	Federico Igne	2020-11-17	2	-12/+11
\| \| \| \| \| \|	This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel.
*	Change "internal:" prefix to "rsa:"	Federico Igne	2020-11-16	2	-6/+6
\|
*	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	4	-282/+289
\|
*	Simplify prettyprinting of queries in test	Federico Igne	2020-11-02	1	-8/+8
\|
*	Update duplicate test queries	Federico Igne	2020-11-02	1	-17/+93
\|
*	Introduce workaround to RDFox Query parsing bug	Federico Igne	2020-11-02	1	-113/+246
\| \| \| \| \| \|	For now we are building queries manually. This allows us to work on testing the modules involved but it would be nice to have the bug fixed later on.
*	Add partial unit tests for filtering program computation	Federico Igne	2020-10-29	1	-0/+174
\| \| \| \|	The committed tests will fail, but the reason is still not clear.
*	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
\|
*	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/+561