David Carral
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| An efficient algorithm for reasoning over OWL EL ontologies with nominal schemas Journal Of Logic And Computation | 2023-02-20 | Paper |
| Preserving constraints with the stable chase | 2020-08-06 | Paper |
| Efficient model construction for Horn logic with VLog (system description) | 2018-10-18 | Paper |
| \(\mathcal{EL}\)-ifying ontologies Automated Reasoning | 2014-09-26 | Paper |
Research outcomes over time
This page was built for person: David Carral
