| Commit message (Collapse) | Author | Age | Files | Lines | |
|---|---|---|---|---|---|
| * | Add test data (ABox) for LUBM (manually merged) | Federico Igne | 2020-11-27 | 1 | -0/+137381 |
| | | | | | | | | | | | | This data has been generated with the following $ java edu.lehigh.swat.bench.uba.Generator -univ 1 -index 0 -seed 0 -onto "http://swat.cse.lehigh.edu/onto/univ-bench.owl" and manually merged. Note that merging ontologies is not required anymore and the system will take care of it. | ||||
| * | Add support for data property domain axioms | Federico Igne | 2020-11-27 | 1 | -61/+61 |
| | | | | | Also reintroduce data property axioms in LUBM | ||||
| * | Add LUBM ontology to the examples | Federico Igne | 2020-11-26 | 2 | -0/+1468 |
| Both the original ontology and the modified ontology are included. | |||||
 |
index : RSAComb | |
| Re-implementation of the combined approach for CQ answering over RSA ontologies | Federico Igne |
| aboutsummaryrefslogtreecommitdiff |