aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
...
* 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
| | | | | This is done because `cycle` is being reworked from a theoretical point of view at the moment.
* 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-043-65/+59
| | | | | | 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-0411-236/+190
| | | | | | 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-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
| | | | | 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-012-0/+584
| | | | | | 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-246-21/+21
| | | | For a more consistent naming.
* Rework filtering program generationFederico Igne2020-11-243-340/+129
|
* 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-234-12/+11
|
* 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-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
| | | | | | 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.
* Change "internal:" prefix to "rsa:"Federico Igne2020-11-167-63/+74
|
* Fix testsFederico Igne2020-11-142-3/+4
| | | | | They were loading the wrong example file since we switched to Turtle format.
* Fix NI predicate computationFederico Igne2020-11-144-37/+76
| | | | | | Now NAMED is introduced during the canonical model computation, while NI instances are computed and introduced in the filtering program generation phase.
* Add diagnostic queries along main queryFederico Igne2020-11-131-26/+83
|
* Add first implementation of top and equality axiomatizationFederico Igne2020-11-131-2/+58
| | | | | | This is a first stab of the axiomatization. For equality we are deriving owl:sameAs triples (not ideal) and did not yet introduced "substitution" rules.
* Simplify role extraction from axiomsFederico Igne2020-11-131-58/+18
| | | | | | | | The previous implementation was using the visitor pattern suggested by the OWLAPI. This was buggy for some reasons and resulting in runtime exceptions (probably due to the complex class tree of the API). In Scala using type pattern matching results in a shorter and more readable way of traversing an AST.
* Fix suffix generation in filtering programFederico Igne2020-11-132-15/+15
| | | | Also a small step into generalizing the concept of suffix
* Add NAMED facts to filtering programFederico Igne2020-11-121-1/+2
| | | | | The difference between NAMED and NI facts still needs to be clarified but this is the implementation closest to the paper description.
* Remove debug outputFederico Igne2020-11-101-1/+0
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-13 13:19:12 +0000