aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAOntology.scala
Commit message (Expand)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
* Rework suffixesFederico Igne2020-11-161-20/+22
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-161-15/+15
* Fix testsFederico Igne2020-11-141-0/+1
* Fix NI predicate computationFederico Igne2020-11-141-11/+16
* Add first implementation of top and equality axiomatizationFederico Igne2020-11-131-2/+58
* Add missing rule generated per roleFederico Igne2020-11-101-0/+43
* 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
* Rework canonical model computationFederico Igne2020-11-061-55/+276
* 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
* Fix bug in computation of 'cycle' functionFederico Igne2020-10-231-1/+5
* Fix bug in conflict set computationFederico Igne2020-10-211-2/+7
* Temporary remove `roles` from RSAOntologyFederico Igne2020-10-211-7/+7
* Add some tests for canonical model computationFederico Igne2020-10-101-1/+1
* Fix bug with conflict set computationFederico Igne2020-10-101-8/+7
* Simplify ProgramGenerator constructorFederico Igne2020-10-091-1/+1
* 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
* Add setup code to compute the RSA filtering programFederico Igne2020-09-071-2/+163
* 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
* 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
* Refactor code into different filesFederico Igne2020-08-061-0/+148
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-07 22:04:51 +0000