aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Update tests to RDFox v4.0Federico Igne2020-11-056-306/+313
* Update code to RDFox v4.0Federico Igne2020-11-0511-172/+247
* Simplify prettyprinting of queries in testFederico Igne2020-11-021-8/+8
* Update duplicate test queriesFederico Igne2020-11-021-17/+93
* Introduce workaround to RDFox Query parsing bugFederico Igne2020-11-021-113/+246
* Add partial unit tests for filtering program computationFederico Igne2020-10-293-4/+178
* Add unit tests for example2.owl for the canonical model computationFederico Igne2020-10-282-4/+153
* Adapt test to new `cycle` methodFederico Igne2020-10-282-17/+29
* Implement naive version of 'cycle' as in paperFederico Igne2020-10-231-17/+54
* Add tests for 'subObjectPropertyOf' axiomsFederico Igne2020-10-231-5/+34
* Add additional tests for T5 axiom rule generationFederico Igne2020-10-231-1/+58
* Fix bug in computation of 'cycle' functionFederico Igne2020-10-231-1/+5
* Fix bug in conflict set computationFederico Igne2020-10-213-5/+23
* Temporary remove `roles` from RSAOntologyFederico Igne2020-10-211-7/+7
* Fix issue with introduction of new version of OWLAPIFederico Igne2020-10-212-17/+23
* More details in build.sbt and updated dependenciesStefano Germano2020-10-193-6/+13
* Add some tests for canonical model computationFederico Igne2020-10-102-14/+70
* Fix bug with conflict set computationFederico Igne2020-10-101-8/+7
* Add skeleton file for CanonicalModel testingFederico Igne2020-10-091-0/+46
* Simplify ProgramGenerator constructorFederico Igne2020-10-094-16/+32
* Fix problem with testsFederico Igne2020-10-093-11/+11
* Complete generation of logic program for the canonical modelFederico Igne2020-10-064-33/+75
* Add generation of rules for safe T5 axiomsFederico Igne2020-10-051-4/+139
* 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-307-34/+88
* Add generation for forward/backwards rulesFederico Igne2020-09-251-5/+34
* Add skeleton for canonical model generationFederico Igne2020-09-241-0/+57
* Add method to parse a string into a QueryFederico Igne2020-09-233-14/+16
* Add method to compute the set of individuals in an input ontologyFederico Igne2020-09-221-3/+7
* Fix RDFox query execution helperFederico Igne2020-09-222-6/+19
* Add method to compute a query's bounded varsFederico Igne2020-09-221-2/+20
* Update and comment some testsFederico Igne2020-09-102-201/+228
* 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
* Add setup code to compute the RSA filtering programFederico Igne2020-09-076-48/+261
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-15 17:55:32 +0000