| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | refactor: move RSAOntology class under ontology package | Federico Igne | 2022-05-19 | 1 | -1/+1 |
| | | |||||
| * | Rework revides filtering program computation to use named graphs | Federico Igne | 2021-10-02 | 2 | -34/+23 |
| | | |||||
| * | Rework naive filtering program computation to use named graphs | Federico Igne | 2021-10-01 | 1 | -13/+13 |
| | | |||||
| * | Make canonical model generation parametric over named graph | Federico Igne | 2021-10-01 | 1 | -15/+7 |
| | | |||||
| * | Add new fresh data factory | Federico Igne | 2021-08-06 | 1 | -4/+5 |
| | | | | | This will help write more significant test. | ||||
| * | Merge branch 'approximation'v0.2.0 | Federico Igne | 2021-07-27 | 1 | -1/+2 |
| |\ | |||||
| | * | Generalize dependency graph generation | Federico Igne | 2021-07-20 | 1 | -1/+2 |
| | | | | | | | | | | | | | | | | | | | | | 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 Apache License 2.0 | Federico Igne | 2021-06-30 | 4 | -0/+64 |
| |/ | |||||
| * | Streamline RSA approximation | Federico Igne | 2021-04-09 | 1 | -0/+6 |
| | | |||||
| * | Add OWL{Data,Object}MinCardinality and OWLHasValue expression support | Federico Igne | 2021-01-23 | 1 | -2/+17 |
| | | |||||
| * | Fix support for a few axiom types. | Federico Igne | 2021-01-21 | 1 | -5/+12 |
| | | | | | | | | Namely: + OWLEquivalentClassesAxiom + OWLFunctionalObjectPropertyAxiom + OWLInverseFunctionalObjectPropertyAxiom | ||||
| * | Port code to RDFox v4.1.0 | Federico Igne | 2020-12-17 | 1 | -14/+15 |
| | | |||||
| * | Add support for data property assertion axioms (OWLDataPropertyAssertionAxiom) | Federico Igne | 2020-12-06 | 1 | -8/+80 |
| | | |||||
| * | Add implicit convertion to Java Collections | Federico Igne | 2020-12-02 | 1 | -0/+4 |
| | | |||||
| * | Add implicit convertion from Java Sets/Collections to Lists | Federico Igne | 2020-12-01 | 1 | -0/+8 |
| | | |||||
| * | Turn implicit classes wrappers into objects | Federico Igne | 2020-11-24 | 2 | -2/+2 |
| | | |||||
| * | Add wrapper class for (boolean) conjunctive queries | Federico Igne | 2020-11-19 | 1 | -1/+0 |
| | | |||||
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 4 | -0/+276 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |