| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Reorganize project with Java-like folder structure | Federico Igne | 2020-11-18 | 1 | -278/+0 |
| | | |||||
| * | Rename internal predicate "EquivTo" to "congruent" | Federico Igne | 2020-11-18 | 1 | -5/+5 |
| | | |||||
| * | Rework RSA as a utility object | Federico Igne | 2020-11-18 | 1 | -38/+24 |
| | | |||||
| * | Remove implicit RSAOntology conversion | Federico Igne | 2020-11-17 | 1 | -0/+292 |
| | | | | | | | This was causing problems without giving any significant advantage. Now it will be easier to refactor classes like RSA, RSAOntology, CanonicalModel. | ||||
| * | Rework canonical model computation | Federico Igne | 2020-11-06 | 1 | -255/+0 |
| | | | | | | | | | | | | | | | | | | | | | This is a first attempt to avoid a bug triggered by the nature of the class RSAOntology and CanonicalModel. An OWLOntology is converted implicitly to an RSAOntology object whenever it is needed. From within the RSAOntology class we used to create a CanonicalModel object (and pass the underling OWLOntology object as a parameter). Inside CanonicalModel we require RSAOntology functionalities from the OWLOntology, triggering a new conversion into RSAOntology (that would compute a new CanonicalModel and so on in a loop). While declaring the CanonicalModel as lazy in RSAOntology could solve the problem, it does not fix the underlying issue of having a class strictly related to RSAOntology as a top level class. As a first attempt we moved CanonicalModel as an object inside RSAOntology. | ||||
| * | Update code to RDFox v4.0 | Federico Igne | 2020-11-05 | 1 | -33/+40 |
| | | |||||
| * | Add unit tests for example2.owl for the canonical model computation | Federico Igne | 2020-10-28 | 1 | -1/+1 |
| | | |||||
| * | Fix bug in conflict set computation | Federico Igne | 2020-10-21 | 1 | -2/+2 |
| | | |||||
| * | Simplify ProgramGenerator constructor | Federico Igne | 2020-10-09 | 1 | -11/+14 |
| | | | | | | If we pass the whole ontology there is no need to also provide the set of unsafe roles. | ||||
| * | Complete generation of logic program for the canonical model | Federico Igne | 2020-10-06 | 1 | -18/+34 |
| | | |||||
| * | Add generation of rules for safe T5 axioms | Federico Igne | 2020-10-05 | 1 | -4/+139 |
| | | |||||
| * | Add rule generation for unsafe T5 axioms for canonical model | Federico Igne | 2020-09-30 | 1 | -10/+18 |
| | | |||||
| * | Add generation for forward/backwards rules | Federico Igne | 2020-09-25 | 1 | -5/+34 |
| | | |||||
| * | Add skeleton for canonical model generation | Federico Igne | 2020-09-24 | 1 | -0/+57 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |