aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Expand)AuthorAgeFilesLines
* Add ontology normalizerFederico Igne2021-02-044-2/+681
* Fix facts/rules import into RDFoxFederico Igne2021-01-301-8/+22
* Delay import of data files (#7)Federico Igne2021-01-307-202/+260
* Introduce a better system to handle command line inputFederico Igne2021-01-301-58/+142
* Simplify top axiomatization as shown in #7Federico Igne2021-01-261-43/+84
* Add OWLDataHasValue class expression supportFederico Igne2021-01-231-1/+8
* Add OWLSymmetricObjectPropertyAxiom and OWLSubDataPropertyOfAxiom supportFederico Igne2021-01-231-5/+17
* Add OWLDisjointClassesAxiom supportFederico Igne2021-01-231-1/+7
* Add OWL{Data,Object}MinCardinality and OWLHasValue expression supportFederico Igne2021-01-232-5/+81
* Fix support for a few axiom types.Federico Igne2021-01-212-36/+22
* Merge remote-tracking branch 'origin/master'Federico Igne2021-01-051-0/+17
|\
| * Suite containing all the testsStefano Germano2020-12-181-0/+17
* | Add external script to execute benchmarks and gather results.Federico Igne2021-01-053-9/+11
* | Slightly rework main executionFederico Igne2021-01-051-46/+39
* | Attempt to force a better ordering of body atoms in filtering rulesFederico Igne2021-01-051-9/+9
|/
* Merge remote-tracking branch 'origin/master' into masterFederico Igne2020-12-171-1/+1
|\
| * Fix typoStefano Germano2020-12-161-1/+1
* | Comment out old testsFederico Igne2020-12-173-521/+521
* | Fix and improve tests for CQ answer classFederico Igne2020-12-171-5/+48
* | Introduce code for transactions (commented out)Federico Igne2020-12-171-4/+17
* | Add additional debug information to query executionFederico Igne2020-12-171-10/+22
* | Port code to RDFox v4.1.0Federico Igne2020-12-174-34/+61
* | Remove old logic program conversion codeFederico Igne2020-12-113-370/+0
* | Fix answer retrieval for boolean CQsFederico Igne2020-12-111-1/+1
|/
* Merge branch 'logger' into masterFederico Igne2020-12-095-143/+298
|\
| * Keep track of answer multiplicityFederico Igne2020-12-094-17/+30
| * Merge branch 'master' into loggerFederico Igne2020-12-089-18/+31
| |\
| * | Remove (forced) materializationFederico Igne2020-12-081-2/+0
| * | Add diagnostics for (un)filtered answer ratioFederico Igne2020-12-073-5/+38
| * | Fix typo in ontology diagnosticsFederico Igne2020-12-071-2/+2
| * | Merge branch 'master' into loggerFederico Igne2020-12-074-20/+20
| |\ \
| * | | Add additional diagnosticsFederico Igne2020-12-072-1/+11
| * | | Add first implementation of a loggerFederico Igne2020-12-074-129/+230
* | | | Change how inverse roles are handle on the logic programming sideFederico Igne2020-12-082-4/+4
| |_|/ |/| |
* | | Fix bug for OWLObjectSubPropertyOfAxiomFederico Igne2020-12-082-7/+6
* | | Include literals in instances of `Named` internal predicateFederico Igne2020-12-082-5/+19
* | | Reorganize testsFederico Igne2020-12-075-5/+5
* | | Fix bug for data property translationFederico Igne2020-12-071-1/+1
| |/ |/|
* | Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-075-21/+21
|/
* Update answers pretty printerFederico Igne2020-12-072-4/+9
* Change answer pritty printer to use CSV-like syntaxFederico Igne2020-12-062-18/+32
* Temporarily ignore tests involving `cycle` computationFederico Igne2020-12-061-4/+4
* Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom)Federico Igne2020-12-062-8/+95
* Reintroduce previous implementation of `cycle`Federico Igne2020-12-061-29/+32
* Add method to retrieve diagnostics from RDFoxFederico Igne2020-12-061-0/+15
* Fix axiom skolemizationFederico Igne2020-12-043-65/+59
* Simplify duplication of skolemization strategyFederico Igne2020-12-041-6/+10
* Rework skolemization strategiesFederico Igne2020-12-0411-236/+190
* Make filtering program generate/load facts as factsFederico Igne2020-12-023-16/+26
* Move datalog rules generation for RSA check to new RDFox generatorFederico Igne2020-12-021-28/+47
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-13 21:51:35 +0000