Commit message (Collapse) | Author | Age | Files | Lines | |
---|---|---|---|---|---|
* | 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 | 1 | -0/+997 |
Both the original ontology and the modified ontology are included. |