aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAAxiom.scala
Commit message (Collapse)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-155/+0
|
* Rework RSA as a utility objectFederico Igne2020-11-181-0/+13
|
* Simplify role extraction from axiomsFederico Igne2020-11-131-58/+18
| | | | | | | | The previous implementation was using the visitor pattern suggested by the OWLAPI. This was buggy for some reasons and resulting in runtime exceptions (probably due to the complex class tree of the API). In Scala using type pattern matching results in a shorter and more readable way of traversing an AST.
* Generalize axiom hashing for constant generationFederico Igne2020-11-101-0/+14
|
* Complete generation of logic program for the canonical modelFederico Igne2020-10-061-1/+7
|
* Add setup code to compute the RSA filtering programFederico Igne2020-09-071-36/+56
| | | | | Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work.
* Fix role unsafety checkFederico Igne2020-08-111-3/+7
| | | | | We now check that the existential expression in the axiom of type T3 is not top.
* Add unsafety check for ontology rolesFederico Igne2020-08-061-51/+103
| | | | | | 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 filesFederico Igne2020-08-061-0/+86
This has been done to better accommodate the code to detect all unsafe roles in an ontology.