OntoDLV

swMATH30415MaRDI QIDQ42129FDOQ42129

Author name not available (Why is that?)

Described by source

• OntoDLV: An ASP-based System for Enterprise Ontologies

Cited In (7)

• Answer Set Programming: A Primer
• Towards a Type Discipline for Answer Set Programming
• Tableau reasoning for description logics and its extension to probabilities
• Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\)
• Probabilistic DL reasoning with pinpointing formulas: a Prolog-based approach
• Pruning external minimality checking for answer set programs using semantic dependencies
• The intelligent grounder of DLV

This page was built for software: OntoDLV