OntoDLV

swMATH30415MaRDI QIDQ42129FDOQ42129

Author name not available (Why is that?)

Described by source

• OntoDLV: An ASP-based System for Enterprise Ontologies

Cited In (7)

• The Intelligent Grounder of DLV
• Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach
• 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}^{++}\)
• Pruning external minimality checking for answer set programs using semantic dependencies

This page was built for software: OntoDLV