aboutsummaryrefslogtreecommitdiff
path: root/src/main/scala
Commit message (Collapse)AuthorAgeFilesLines
...
| * | Remove (forced) materializationFederico Igne2020-12-081-2/+0
| | | | | | | | | | | | | | | | | | | | | | | | | | | This is a useless call since RDFox automatically materialize it's datasets when committing a transactions. Since loading rules/facts uses an internal transaction internally, these materialization calls do nothing. It will be still usefull when operating inside transactions.
| * | 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-072-2/+2
| |\ \
| * | | Add additional diagnosticsFederico Igne2020-12-072-1/+11
| | | |
| * | | Add first implementation of a loggerFederico Igne2020-12-074-129/+230
| | | | | | | | | | | | | | | | | | | | This is needed mostly for debugging and benchmarking purposes. We tried to make it as "out of the way" as possible.
* | | | Change how inverse roles are handle on the logic programming sideFederico Igne2020-12-081-1/+2
| |_|/ |/| | | | | | | | | | | | | | | | | | | | Seems like an easy way to convert inverse roles into atoms is to write `R(y,x)` instead of `R^-(x,y)`. This is still something we need to test and some additional rules that use inverse roles in the naive way are still generated.
* | | Fix bug for OWLObjectSubPropertyOfAxiomFederico Igne2020-12-081-5/+4
| | | | | | | | | | | | | | | A version of the rule with an empty suffix was missing. Note that this is not completely clear from the paper.
* | | Include literals in instances of `Named` internal predicateFederico Igne2020-12-082-5/+19
| | |
* | | Fix bug for data property translationFederico Igne2020-12-071-1/+1
| |/ |/|
* | Change ConjunctiveQuery constructors interfaceFederico Igne2020-12-073-3/+3
|/ | | | | One of the object constructor was returning an Option. It was weird to have a constructor that would not always return an object.
* 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
| | | | | At the time of writing, the naïve implementation of `cycle` produces too many rules, which are not efficiently handled by RDFox.
* Add method to retrieve diagnostics from RDFoxFederico Igne2020-12-061-0/+15
|
* Fix axiom skolemizationFederico Igne2020-12-041-3/+3
| | | | | | Skolemization should be uniquely bound to the axiom being skolemized. When an axiom is a shortcut for a set of axioms, the skolemization strategy should be updated with the new axiom(s).
* Simplify duplication of skolemization strategyFederico Igne2020-12-041-6/+10
|
* Rework skolemization strategiesFederico Igne2020-12-047-161/+125
| | | | | | In particular `ConstantRSA` has been removed, since it was *not* a skolemization strategy. The case for extra atoms generation previously handled by `ConstantRSA` is not dealt with inside the RSA check.
* 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
| | | | | When it comes to the canonical model, now facts are imported as facts in RDFox.
* Unify upload of rules and facts to RDFox datastoreFederico Igne2020-12-021-4/+24
| | | | This will also help if/when we are implementing transactions.
* Add implicit convertion to Java CollectionsFederico Igne2020-12-021-0/+4
|
* Add alternative conversion of axioms using switch-casesFederico Igne2020-12-011-0/+480
| | | | | | This is part of an effort to move away from the Java-style visitor pattern pushed by the OWLAPI and RDFox. Using a Scala approach will allow us to be more flexible in the long run.
* 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
| | | | Also reintroduce data property axioms in LUBM
* Add ability to convert domain/range axioms for object propertiesFederico Igne2020-11-261-3/+29
| | | | | They have a straightforward translation into the supported normal form proposed in the paper.
* Turn implicit classes wrappers into objectsFederico Igne2020-11-246-12/+15
|
* Rename `RDFoxHelpers` to `RDFoxUtil`Federico Igne2020-11-245-20/+20
| | | | For a more consistent naming.
* Rework filtering program generationFederico Igne2020-11-242-56/+70
|
* Include BCQ case in filtering program generationFederico Igne2020-11-233-305/+316
| | | | The FilteringProgram module has been slightly reworked.
* 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
| | | | Input query is now read from file.
* 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
| | | | | | This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel.
* Rename RDFTriple to RSAAtomFederico Igne2020-11-171-0/+0
|
* Unify use of RSASuffixFederico Igne2020-11-175-159/+203
| | | | This commit comes with minor fixes and code simplifications.
* Rework suffixesFederico Igne2020-11-166-40/+55
| | | | | This is a WIP implementation of a generalized way of handling IRI suffixes. It is not currently used everywhere.
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-08 13:39:38 +0000