| Commit message (Expand) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Fix path in examples | Federico Igne | 2021-06-29 | 1 | -3/+3 |
| * | Update example splitting TBox and ABox | Federico Igne | 2021-05-31 | 2 | -46/+3 |
| * | Add test data (ABox) for LUBM (manually merged) | Federico Igne | 2020-11-27 | 1 | -0/+137381 |
| * | Add support for data property domain axioms | Federico Igne | 2020-11-27 | 1 | -61/+61 |
| * | Add LUBM ontology to the examples | Federico Igne | 2020-11-26 | 2 | -0/+1468 |
| * | Simplify workflow for query execution | Federico Igne | 2020-11-20 | 1 | -0/+9 |
| * | Fix typo in example 1 (Turtle file) | Federico Igne | 2020-11-10 | 1 | -1/+1 |
| * | Rewrite example 1 in Turtle syntax | Federico Igne | 2020-11-10 | 2 | -0/+55 |
| * | Add unit tests for example2.owl for the canonical model computation | Federico Igne | 2020-10-28 | 1 | -1/+1 |
| * | Add method to compute the set of individuals in an input ontology | Federico Igne | 2020-09-22 | 1 | -1/+1 |
| * | Add simple examples | Federico Igne | 2020-08-17 | 2 | -0/+192 |
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |