aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAgeFilesLines
...
| * 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-036-39/+55
| |
| * 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-294-5/+25
| |
| * Update RDFox library to 5.2.1Federico Igne2021-09-013-9/+12
| |
| * Bump version to v0.2.0Federico Igne2021-08-061-1/+1
| |
| * 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
| |
* | Add CITATION.cff fileFederico Igne2021-08-251-0/+17
|/
* 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
| | |
* | | Update README.mdFederico Igne2021-07-201-2/+2
| | |
* | | Add badges to README.mdFederico Igne2021-06-301-2/+3
| | |
* | | Merge remote-tracking branch 'origin/master'v0.1.1Federico Igne2021-06-301-3/+59
|\ \ \
| * | | Update README.mdFederico Igne2021-06-301-3/+59
| | | | | | | | | | | | A bit of formatting makes everything better. Also added badges to uncomment when we will go public.
* | | | Rename repository to RSACombFederico Igne2021-06-302-3/+4
|/ / /
* | | Merge branch 'master' of github.com:KRR-Oxford/RSA-combined-approachFederico Igne2021-06-3033-1/+699
|\ \ \
| * | | Add Apache License 2.0Federico Igne2021-06-3033-1/+699
| | | |
* | | | Update README.mdFederico Igne2021-06-302-2/+13
|/ / /
* | | Update README.mdFederico Igne2021-06-291-2/+12
| | |
* | | Fix path in examplesFederico Igne2021-06-291-3/+3
| |/ |/|
* | 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
|
* Update example splitting TBox and ABoxFederico Igne2021-05-312-46/+3
|
generated by cgit v1.2.3 (git 2.25.1) at 2025-07-01 12:10:11 +0000