aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala
Commit message (Expand)AuthorAgeFilesLines
* Fix bug for data property translationFederico Igne2020-12-071-1/+1
* Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-073-3/+3
* Update answers pretty printerFederico Igne2020-12-071-2/+7
* Change answer pritty printer to use CSV-like syntaxFederico Igne2020-12-061-4/+8
* 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-041-3/+3
* Simplify duplication of skolemization strategyFederico Igne2020-12-041-6/+10
* Rework skolemization strategiesFederico Igne2020-12-047-161/+125
* Make filtering program generate/load facts as factsFederico Igne2020-12-022-11/+13
* Move datalog rules generation for RSA check to new RDFox generatorFederico Igne2020-12-021-28/+47
* 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-011-0/+480
* 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 ability to pass multiple ontology files on the commandlineFederico Igne2020-11-272-15/+18
* Add support for data property domain axiomsFederico Igne2020-11-273-1/+55
* 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-245-20/+20
* Rework filtering program generationFederico Igne2020-11-242-56/+70
* 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-233-9/+8
* 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-196-10/+169
* Move NI instantiation in FilteringProgramFederico Igne2020-11-195-45/+39
* Reorganize project with Java-like folder structureFederico Igne2020-11-1816-35/+43
* 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-1814-500/+502
* Remove implicit RSAOntology conversionFederico Igne2020-11-175-653/+613
* 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-165-57/+68
* Fix testsFederico Igne2020-11-141-0/+1
* 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
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-13 11:24:47 +0000