OntoDLV: An ASP-based System for Enterprise Ontologies
From MaRDI portal
Publication:3395265
DOI10.1093/logcom/exn042zbMath1192.68132WikidataQ114632455 ScholiaQ114632455MaRDI QIDQ3395265
Tina Dell'Armi, Lorenzo Gallucci, Nicola Leone, Francesco Ricca, Giovanni Grasso, Roman Schindlauer
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
logic programming; disjunctive logic programming; answer set programming; OWL; ontology languages; enterprise ontologies
Related Items
Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach, OntoDLV, Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\), Tableau reasoning for description logics and its extension to probabilities, Pruning external minimality checking for answer set programs using semantic dependencies, The Intelligent Grounder of DLV, Team-building with answer set programming in the Gioia-Tauro seaport, Towards a Type Discipline for Answer Set Programming, Answer Set Programming: A Primer
Uses Software