aboutsummaryrefslogtreecommitdiff
path: root/src
Commit message (Collapse)AuthorAgeFilesLines
* Fix functional testsFederico Igne2021-10-031-1/+1
|
* Fix prefix in dependency graphFederico Igne2021-10-031-1/+1
|
* Introduce functional testsFederico Igne2021-10-032-3/+54
| | | | | These tests will check correctness of the overall system across versions. We should add more tests for know ontologies.
* Assign queries integer identifierFederico Igne2021-10-032-12/+14
| | | | | | | | | | | The ID needs to be specified at creation time or in a query file preceeding the query with the syntax ``` ^[Query<id>] ``` where `<id>` is the id of the query.
* Temporary comment unit testFederico Igne2021-10-034-207/+207
|
* Move to os-lib for filesystem operationsFederico Igne2021-10-034-38/+51
|
* Fix compilation errorsFederico Igne2021-10-034-23/+27
|
* Allow querying of a single queryFederico Igne2021-10-021-18/+36
|
* Expose logger level to CLIFederico Igne2021-10-022-5/+24
|
* Rework revides filtering program computation to use named graphsFederico Igne2021-10-027-262/+254
|
* Rework naive filtering program computation to use named graphsFederico Igne2021-10-017-166/+298
|
* Make canonical model generation parametric over named graphFederico Igne2021-10-016-83/+141
|
* Refactor query answering to use named graphsFederico Igne2021-09-305-82/+148
|
* Write answers to output fileFederico Igne2021-09-292-3/+16
|
* Always use internal equality instead of SAME_ASFederico Igne2021-09-291-2/+2
|
* Add import of multiple queriesFederico Igne2021-09-293-40/+70
|
* Add JSON format for CQ answersFederico Igne2021-09-292-4/+21
|
* Update RDFox library to 5.2.1Federico Igne2021-09-013-9/+12
|
* Add new fresh data factoryFederico Igne2021-08-0614-376/+455
| | | | This will help write more significant test.
* Extend converter to RDFox rules to handle property chain axiomsFederico Igne2021-08-032-66/+36
| | | | | | | | | The converter to RDFox datalog rules shouldn't worry about which axiom is supported or not (it should be a job of the approximation algorithm or of a previous step). Now the converter tries its best to convert anything that makes sense in datalog. Also upperbound is ready for testing.
* Update normalizer to handle additional OWL axiomsFederico Igne2021-08-021-111/+97
| | | | | | Also the normalizer should not distinguish ALCHOIQ axioms from non-ALCHOIQ axioms, and should try its best to return a normalised axiom.
* Implement fine-grained constant skolemization in upperboundFederico Igne2021-07-291-100/+128
|
* Change spelling: LowerBound to LowerboundFederico Igne2021-07-292-11/+11
|
* Add skeleton for upperbound computationFederico Igne2021-07-271-0/+183
|
* Merge branch 'approximation'v0.2.0Federico Igne2021-07-279-415/+886
|\
| * Rework class structure to match more general workflowFederico Igne2021-07-273-13/+15
| | | | | | | | | | | | | | | | The major change is the introduction of a new class Ontology (superclass of RSAOntology) that contains all those operation that we would like to perform on *any* OWL 2 ontology. Approximation is also generic on the return type, allowing for example intermediate steps (or chaining of approximations).
| * Fix file namingFederico Igne2021-07-223-2/+2
| |
| * Remove normalization step from lowerbound computationFederico Igne2021-07-222-18/+15
| |
| * Review main workflowFederico Igne2021-07-224-17/+61
| |
| * Make approximation generic over returned typeFederico Igne2021-07-223-38/+33
| |
| * Move some generic commands from RSAOntology to OntologyFederico Igne2021-07-223-259/+248
| |
| * Generalize dependency graph generationFederico Igne2021-07-208-119/+182
| | | | | | | | | | | | | | | | | | | | The code to generate the dependency graph has been moved in the companion object of the generic OWL 2 ontology wrapper Ontology. This signals that we could potentially build a dependency graph for any ontology (and not only RSA ontology). Moreover, a dependency graph can be build for an Ontology object or an arbitrary TBox and Abox.
| * Add generic Ontology wrapper for common tasksFederico Igne2021-07-201-0/+90
| |
| * Merge branch 'master' into approximationFederico Igne2021-06-234-14/+31
| |\
| * | Fix minor compilation errorsFederico Igne2021-06-014-83/+106
| | |
| * | Multiple fixesFederico Igne2021-05-314-54/+80
| | |
| * | Add scafolding for generic approximation supportFederico Igne2021-05-313-143/+385
| | |
* | | Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-3031-0/+496
|\ \ \
| * | | Add Apache License 2.0Federico Igne2021-06-3031-0/+496
| | |/ | |/|
* / | Update README.mdFederico Igne2021-06-301-1/+1
|/ /
* / Fix automatic query buildingFederico Igne2021-06-234-14/+31
|/ | | | | The API for the SKOLEM operator is changed in RDFox but the helper functions using it were not ported to the new syntax.
* Update minor details in documentationFederico Igne2021-05-311-0/+2
|
* Prepare code for double-blind submissionv0.1.0Federico Igne2021-04-153-14/+0
|
* Fix handling of class expression OWLObjectHasSelfFederico Igne2021-04-092-46/+54
| | | | It was not properly handled in the normalization process.
* Streamline RSA approximationFederico Igne2021-04-094-162/+132
|
* Add approximation to RSAFederico Igne2021-04-071-107/+159
| | | | | | | | Note that while the code is complete for approximating an input OWL2 ontology to RSA, the final steps are not "connected" yet, and the approximation won't fire automatically. We still need to find a way to include the approximation in the workflow in an efficient and transparent way.
* Add shifting for disjunction in the rhs of an axiomFederico Igne2021-04-052-2/+77
|
* Fix generation of fresh classes during normalizationFederico Igne2021-04-051-1/+4
|
* Change filtering program name on testsFederico Igne2021-04-051-1/+1
|
* Fix minor issues with revised filtering programFederico Igne2021-04-022-80/+97
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-08 17:43:12 +0000