aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* Update READMEFederico Igne2020-11-141-3/+45
* Fix NI predicate computationFederico Igne2020-11-144-37/+76
* Add diagnostic queries along main queryFederico Igne2020-11-131-26/+83
* Add first implementation of top and equality axiomatizationFederico Igne2020-11-131-2/+58
* Simplify role extraction from axiomsFederico Igne2020-11-131-58/+18
* Fix suffix generation in filtering programFederico Igne2020-11-132-15/+15
* Add NAMED facts to filtering programFederico Igne2020-11-121-1/+2
* Remove debug outputFederico Igne2020-11-101-1/+0
* Add missing rule generated per roleFederico Igne2020-11-101-0/+43
* Fix typo in example 1 (Turtle file)Federico Igne2020-11-101-1/+1
* Fix SKOLEM call creation during function skolemizationFederico Igne2020-11-102-8/+20
* Generalize axiom hashing for constant generationFederico Igne2020-11-103-12/+44
* Improve query pretty printingFederico Igne2020-11-101-1/+1
* Add OWLClassAssertionAxiom to axioms handled during translationFederico Igne2020-11-101-1/+22
* Expose ABox in RSAOntology classFederico Igne2020-11-101-2/+9
* Rewrite example 1 in Turtle syntaxFederico Igne2020-11-102-0/+55
* Fix `notIn` implementation in canonical modelFederico Igne2020-11-091-17/+18
* Simplify reification process and add negation reificationFederico Igne2020-11-092-68/+42
* Update canonical model unit testsFederico Igne2020-11-061-11/+11
* Rework canonical model computationFederico Igne2020-11-063-323/+332
* Fix bug in the filtering program generationFederico Igne2020-11-061-4/+4
* Update version on Github Actions custom scriptFederico Igne2020-11-051-1/+1
* 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-283-5/+154
* 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-195-14/+58
* 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