aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
...
| * | 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-075-20/+23
| |\ \
| * | | 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
* | | Update README.mdFederico Igne2020-12-081-2/+5
* | | Merge branch 'master' of https://github.com/KRR-Oxford/RSA-combined-approach ...Federico Igne2020-12-073-4/+4
|\ \ \
| * | | Update scala version and dependenciesStefano Germano2020-12-073-4/+4
| | |/ | |/|
* | | Reorganize testsFederico Igne2020-12-075-5/+5
* | | Fix bug for data property translationFederico Igne2020-12-071-1/+1
|/ /
* | Update README.mdFederico Igne2020-12-071-0/+3
* | 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
* Merge branch 'rdfox-converter' into masterFederico Igne2020-12-029-162/+833
|\
| * 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
| * Fix tests failing due to recent changesFederico Igne2020-12-022-39/+86
| * Adapt canonical model computation to new RDFox converterFederico Igne2020-12-023-118/+105
| * Unify upload of rules and facts to RDFox datastoreFederico Igne2020-12-021-4/+24
| * Add implicit convertion to Java CollectionsFederico Igne2020-12-021-0/+4
| * Add alternative conversion of axioms using switch-casesFederico Igne2020-12-012-0/+584
|/
* Temporary add tests folder to .gitignoreFederico Igne2020-12-011-0/+1
* Add implicit convertion from Java Sets/Collections to ListsFederico Igne2020-12-011-0/+8
* Cleanup converters codeFederico Igne2020-12-013-6/+5
* Fix bug on argument validationFederico Igne2020-11-301-1/+1
* Add test data (ABox) for LUBM (manually merged)Federico Igne2020-11-271-0/+137381
* Add ability to pass multiple ontology files on the commandlineFederico Igne2020-11-272-15/+18
* Add support for data property domain axiomsFederico Igne2020-11-274-62/+116
* Add LUBM ontology to the examplesFederico Igne2020-11-262-0/+1468
* 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
* Add Acknowledgements/Credits sections to README.mdFederico Igne2020-11-231-0/+8
* Update RSAOntology interface for query answeringFederico Igne2020-11-202-28/+61
* Simplify workflow for query executionFederico Igne2020-11-204-218/+130