aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAOntology.scala
Commit message (Collapse)AuthorAgeFilesLines
* Reorganize project with Java-like folder structureFederico Igne2020-11-181-378/+0
|
* Change IRI prefix for internal resourcesFederico Igne2020-11-181-8/+4
|
* Rework RSA as a utility objectFederico Igne2020-11-181-11/+20
|
* Remove implicit RSAOntology conversionFederico Igne2020-11-171-643/+308
| | | | | | This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel.
* Rework suffixesFederico Igne2020-11-161-20/+22
| | | | | 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-15/+15
|
* Fix testsFederico Igne2020-11-141-0/+1
| | | | | They were loading the wrong example file since we switched to Turtle format.
* Fix NI predicate computationFederico Igne2020-11-141-11/+16
| | | | | | Now NAMED is introduced during the canonical model computation, while NI instances are computed and introduced in the filtering program generation phase.
* Add first implementation of top and equality axiomatizationFederico Igne2020-11-131-2/+58
| | | | | | This is a first stab of the axiomatization. For equality we are deriving owl:sameAs triples (not ideal) and did not yet introduced "substitution" rules.
* Add missing rule generated per roleFederico Igne2020-11-101-0/+43
| | | | | This is temporarily required while we reorganize the way suffixes for roles are handled.
* Generalize axiom hashing for constant generationFederico Igne2020-11-101-11/+12
|
* Expose ABox in RSAOntology classFederico Igne2020-11-101-2/+9
|
* Fix `notIn` implementation in canonical modelFederico Igne2020-11-091-17/+18
| | | | | The informal definition provided by the paper in wrong, and it turns out `notIn` just means "not in".
* Rework canonical model computationFederico Igne2020-11-061-55/+276
| | | | | | | | | | | | | | | | | | | | This is a first attempt to avoid a bug triggered by the nature of the class RSAOntology and CanonicalModel. An OWLOntology is converted implicitly to an RSAOntology object whenever it is needed. From within the RSAOntology class we used to create a CanonicalModel object (and pass the underling OWLOntology object as a parameter). Inside CanonicalModel we require RSAOntology functionalities from the OWLOntology, triggering a new conversion into RSAOntology (that would compute a new CanonicalModel and so on in a loop). While declaring the CanonicalModel as lazy in RSAOntology could solve the problem, it does not fix the underlying issue of having a class strictly related to RSAOntology as a top level class. As a first attempt we moved CanonicalModel as an object inside RSAOntology.
* Update code to RDFox v4.0Federico Igne2020-11-051-2/+9
|
* Adapt test to new `cycle` methodFederico Igne2020-10-281-3/+5
|
* Implement naive version of 'cycle' as in paperFederico Igne2020-10-231-17/+54
| | | | | | | | | | | | This implementation is more closely related to the paper definition of 'cycle'. The initial implementation was an improvement on the generation of the logic program (but not necessarely on the Datalog engine side) because it generate far fewer new constants. We decided to stick with the naive version to be as close as possible to the paper description. This temporarely breaks some tests.
* Fix bug in computation of 'cycle' functionFederico Igne2020-10-231-1/+5
| | | | | | | The ordering among triples that 'cycle' use to introduce new individuals is considering only triples involving safe roles. This was not the case for us and triples with unsafe roles where considered towards the generation of logic rules.
* Fix bug in conflict set computationFederico Igne2020-10-211-2/+7
|
* Temporary remove `roles` from RSAOntologyFederico Igne2020-10-211-7/+7
| | | | | This is not needed at the time of writing. Also it is not clear why I decided to instantiate it with the RBox roles only.
* Add some tests for canonical model computationFederico Igne2020-10-101-1/+1
|
* Fix bug with conflict set computationFederico Igne2020-10-101-8/+7
| | | | | | Conflicting roles w.r.t. to an input role where initially searched among the roles named in the ontology. This excludes all those roles that are only implicitly part of an ontology (e.g., inverse of named roles).
* Simplify ProgramGenerator constructorFederico Igne2020-10-091-1/+1
| | | | | If we pass the whole ontology there is no need to also provide the set of unsafe roles.
* Complete generation of logic program for the canonical modelFederico Igne2020-10-061-1/+33
|
* Implement `cycle()` and `unfold()` methodsFederico Igne2020-10-021-1/+29
|
* Implement `self()` method for the computation of canonical modelsFederico Igne2020-10-021-2/+16
|
* Implement method to find conflicting rolesFederico Igne2020-10-011-5/+39
|
* Add rule generation for unsafe T5 axioms for canonical modelFederico Igne2020-09-301-2/+3
|
* Add method to compute the set of individuals in an input ontologyFederico Igne2020-09-221-3/+7
|
* Fix RDFox query execution helperFederico Igne2020-09-221-0/+8
|
* Add first attempt at retrieving all constants in an ontologyFederico Igne2020-09-091-1/+8
|
* Rename functions to follow Scala naming conventionsFederico Igne2020-09-091-4/+4
|
* Move reifing code under `FilteringProgram` classFederico Igne2020-09-091-100/+3
|
* Add full set of rules for filtering programFederico Igne2020-09-081-100/+5
|
* Add functions to detect class/role assertionsFederico Igne2020-09-081-14/+43
|
* Introduce naive fresh variable generatorFederico Igne2020-09-071-4/+4
|
* Fix SKOLEM function callFederico Igne2020-09-071-1/+3
| | | | | | The first argument of the function call has to be a string. Here we use the atom IRI string. Since arguments need to be `BuiltinExpression`s, we use a XSD_STRING `Literal` to represent it.
* Add setup code to compute the RSA filtering programFederico Igne2020-09-071-2/+163
| | | | | Not all rules of the filtering program have been implemented, but the code for the generation and reification of the rules seems to work.
* Add check for RSA graph acyclicityFederico Igne2020-08-191-40/+44
|
* Generalise prefixesFederico Igne2020-08-191-28/+5
|
* Use `rdf(..)` instead of `create(..)` to create `Atom`sFederico Igne2020-08-191-11/+17
|
* Add simple examplesFederico Igne2020-08-171-1/+2
|
* Automate query evaluation in RDFoxUtilFederico Igne2020-08-171-14/+12
|
* Add code to access query answers programmaticallyFederico Igne2020-08-161-12/+10
|
* Include built-in rules in RSA checkFederico Igne2020-08-161-21/+74
|
* Fix role unsafety checkFederico Igne2020-08-111-4/+1
| | | | | We now check that the existential expression in the axiom of type T3 is not top.
* Add code to communicate with a local RDFox instanceFederico Igne2020-08-111-3/+37
|
* Add condition 2 for role unsafety detectionFederico Igne2020-08-081-15/+30
|
* Add unsafety check for ontology rolesFederico Igne2020-08-061-81/+39
| | | | | | 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/+148
This has been done to better accommodate the code to detect all unsafe roles in an ontology.
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-08 08:24:50 +0000