OntoDLV: An ASP-based System for Enterprise Ontologies
From MaRDI portal
Publication:3395265
Recommendations
Cited in
(11)- Answer Set Programming: A Primer
- Towards a Type Discipline for Answer Set Programming
- Evolution of ontologies using ASP
- Tableau reasoning for description logics and its extension to probabilities
- Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
- Team-building with answer set programming in the Gioia-Tauro seaport
- OntoDLV
- Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
- Pruning external minimality checking for answer set programs using semantic dependencies
- Logic Programming and Nonmonotonic Reasoning
- The intelligent grounder of DLV
This page was built for publication: OntoDLV: An ASP-based System for Enterprise Ontologies
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3395265)