aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala/rsacomb
Commit message (Collapse)AuthorAgeFilesLines
...
* Fix RDFox query execution helperFederico Igne2020-09-222-6/+19
|
* Add method to compute a query's bounded varsFederico Igne2020-09-221-2/+20
|
* Use `App` trait instead of `main` functionFederico Igne2020-09-101-44/+38
|
* 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-093-113/+96
|
* Add full set of rules for filtering programFederico Igne2020-09-084-102/+363
|
* Add functions to detect class/role assertionsFederico Igne2020-09-081-14/+43
|
* Introduce naive fresh variable generatorFederico Igne2020-09-075-35/+45
|
* 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-076-48/+261
| | | | | 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-193-35/+21
|
* Use `rdf(..)` instead of `create(..)` to create `Atom`sFederico Igne2020-08-196-58/+76
|
* Add simple examplesFederico Igne2020-08-171-1/+2
|
* Automate query evaluation in RDFoxUtilFederico Igne2020-08-172-14/+34
|
* Add code to access query answers programmaticallyFederico Igne2020-08-161-12/+10
|
* Include built-in rules in RSA checkFederico Igne2020-08-164-112/+214
|
* Fix role unsafety checkFederico Igne2020-08-112-7/+8
| | | | | 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-112-3/+61
|
* Add condition 2 for role unsafety detectionFederico Igne2020-08-081-15/+30
|
* Add unsafety check for ontology rolesFederico Igne2020-08-062-132/+142
| | | | | | 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-065-167/+335
| | | | | This has been done to better accommodate the code to detect all unsafe roles in an ontology.
* Adapt LP conversion to RSA checkFederico Igne2020-08-044-28/+68
| | | | | | 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-034-17/+55
|
* Update to JRDFox v3.1.0Federico Igne2020-07-165-15/+20
|
* Rename source code directory structureFederico Igne2020-07-156-0/+390
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-12 19:44:13 +0000