OntoDLV: An ASP-based System for Enterprise Ontologies
From MaRDI portal
Publication:3395265
DOI10.1093/logcom/exn042zbMath1192.68132OpenAlexW2154996176WikidataQ114632455 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 programmingdisjunctive logic programminganswer set programmingOWLontology languagesenterprise ontologies
Related Items (9)
The Intelligent Grounder of DLV ⋮ Team-building with answer set programming in the Gioia-Tauro seaport ⋮ Upward refinement operators for conceptual blending in the description logic \(\mathcal{EL}^{++}\) ⋮ Tableau reasoning for description logics and its extension to probabilities ⋮ Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach ⋮ Pruning external minimality checking for answer set programs using semantic dependencies ⋮ Towards a Type Discipline for Answer Set Programming ⋮ Answer Set Programming: A Primer ⋮ OntoDLV
Uses Software
This page was built for publication: OntoDLV: An ASP-based System for Enterprise Ontologies
