OntoDLV: An ASP-based System for Enterprise Ontologies

DOI10.1093/LOGCOM/EXN042zbMATH Open1192.68132OpenAlexW2154996176WikidataQ114632455 ScholiaQ114632455MaRDI QIDQ3395265FDOQ3395265

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

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

zbMATH Keywords

answer set programminglogic programmingdisjunctive logic programmingOWLontology languagesenterprise ontologies

Mathematics Subject Classification ID

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

Cited In (11)

• Answer Set Programming: A Primer
• Towards a Type Discipline for Answer Set Programming
• Evolution of ontologies using ASP
• Team-building with answer set programming in the Gioia-Tauro seaport
• 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
• OntoDLV
• Logic Programming and Nonmonotonic Reasoning
• The intelligent grounder of DLV

Uses Software

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

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)