aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb/RSAOntology.scala
Commit message (Expand)AuthorAgeFilesLines
* 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-15 09:58:26 +0000