aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
...
* Add ability to convert domain/range axioms for object propertiesFederico Igne2020-11-261-3/+29
* Turn implicit classes wrappers into objectsFederico Igne2020-11-246-12/+15
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-246-21/+21
* Rework filtering program generationFederico Igne2020-11-243-340/+129
* Include BCQ case in filtering program generationFederico Igne2020-11-233-305/+316
* Remove duplicate creation of RDFox datastoresFederico Igne2020-11-233-32/+20
* Rename `boolean` as `bcq`Federico Igne2020-11-234-12/+11
* Update RSAOntology interface for query answeringFederico Igne2020-11-202-28/+61
* Simplify workflow for query executionFederico Igne2020-11-203-218/+121
* Integrate new ConjunctiveQuery in filtering program computationFederico Igne2020-11-193-34/+15
* Add wrapper class for (boolean) conjunctive queriesFederico Igne2020-11-199-95/+466
* Move NI instantiation in FilteringProgramFederico Igne2020-11-195-45/+39
* Reorganize project with Java-like folder structureFederico Igne2020-11-1820-41/+56
* Rename internal predicate "EquivTo" to "congruent"Federico Igne2020-11-183-13/+13
* Change IRI prefix for internal resourcesFederico Igne2020-11-182-9/+5
* Rework RSA as a utility objectFederico Igne2020-11-1818-565/+591
* Remove implicit RSAOntology conversionFederico Igne2020-11-177-665/+624
* Rename RDFTriple to RSAAtomFederico Igne2020-11-171-0/+0
* Unify use of RSASuffixFederico Igne2020-11-175-159/+203
* Rework suffixesFederico Igne2020-11-166-40/+55
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-167-63/+74
* Fix testsFederico Igne2020-11-142-3/+4
* 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 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
* 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 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-19 04:47:08 +0000