OntoDLV
From MaRDI portal
Software:42129
No author found.
Related Items (7)
The Intelligent Grounder of DLV ⋮ Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Towards a Type Discipline for Answer Set Programming ⋮ Answer Set Programming: A Primer
This page was built for software: OntoDLV