aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RDFoxClassExprConverter.scala
Commit message (Collapse)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-159/+0
|
* Rework RSA as a utility objectFederico Igne2020-11-181-13/+6
|
* Rework suffixesFederico Igne2020-11-161-1/+3
| | | | | This is a WIP implementation of a generalized way of handling IRI suffixes. It is not currently used everywhere.
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-161-2/+2
|
* Fix SKOLEM call creation during function skolemizationFederico Igne2020-11-101-4/+4
| | | | | The first argument of a SKOLEM call needs to be a literal string. Note that this is not enforced in any way by RDFox, that will fail silently.
* Update code to RDFox v4.0Federico Igne2020-11-051-13/+12
|
* Fix problem with testsFederico Igne2020-10-091-1/+1
| | | | Tests where not ported to the new (slightly more generic) interface.
* Add rule generation for unsafe T5 axioms for canonical modelFederico Igne2020-09-301-9/+12
|
* Introduce naive fresh variable generatorFederico Igne2020-09-071-5/+3
|
* Add setup code to compute the RSA filtering programFederico Igne2020-09-071-1/+3
| | | | | Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work.
* Generalise prefixesFederico Igne2020-08-191-2/+2
|
* Use `rdf(..)` instead of `create(..)` to create `Atom`sFederico Igne2020-08-191-15/+13
|
* Include built-in rules in RSA checkFederico Igne2020-08-161-67/+98
|
* Adapt LP conversion to RSA checkFederico Igne2020-08-041-16/+30
| | | | | | 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 rulesFederico Igne2020-08-031-9/+9
|
* Update to JRDFox v3.1.0Federico Igne2020-07-161-7/+7
|
* Rename source code directory structureFederico Igne2020-07-151-0/+119