OntoDLV: An ASP-based System for Enterprise Ontologies

DOI10.1093/LOGCOM/EXN042MaRDI QIDQ3395265zbMATH OpenOpenAlexWikidataFDO

Authors F. Ricca, Lorenzo Gallucci, Roman Schindlauer, Tina Dell'Armi, G. Grasso, N. Leone

Publication date 24 August 2009

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/7b6ab936c10b44f61a2723708c7bed831cbbd7a6

zbMATH Keywords

answer set programminglogic programmingdisjunctive logic programmingOWLontology languagesenterprise ontologies

Mathematics Subject Classification ID

Knowledge representation (68T30) Logic programming (68N17)

Recommendations

• scientific article; zbMATH DE number 1890626
• The ASP system DLV2
• Combining answer set programming with description logics for the semantic web
• The DLV system for knowledge representation and reasoning
• Logic Programming and Nonmonotonic Reasoning

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

Describes a project that uses

Uses Software

• swrl
• FaCT++
• Pellet
• DLV-EX
• DAML+OIL
• HiLog

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)