An integrated environment for reasoning over ontologies via logic programming

Authors:
Barbara Nardi;Kristian Reale;Francesco Ricca;Giorgio Terracina
Affiliations:
Department of Mathematics, University of Calabria, Italy;Department of Mathematics, University of Calabria, Italy;Department of Mathematics, University of Calabria, Italy;Department of Mathematics, University of Calabria, Italy
Venue:
RR'13 Proceedings of the 7th international conference on Web Reasoning and Rule Systems
Year:
2013

Citing 11
Cited 0

Knowledge Representation, Reasoning, and Declarative Problem Solving

Knowledge Representation, Reasoning, and Declarative Problem Solving
The DLV system for knowledge representation and reasoning

ACM Transactions on Computational Logic (TOCL)
From SPARQL to rules (and back)

Proceedings of the 16th international conference on World Wide Web
Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family

Journal of Automated Reasoning
A general datalog-based framework for tractable query answering over ontologies

Proceedings of the twenty-eighth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems
A Rule System for Querying Persistent RDFS Data

ESWC 2009 Heraklion Proceedings of the 6th European Semantic Web Conference on The Semantic Web: Research and Applications
QUONTO: querying ontologies

AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 4
Tractable Reasoning with DL-Programs over Datalog-rewritable Description Logics

Proceedings of the 2010 conference on ECAI 2010: 19th European Conference on Artificial Intelligence
ASPIDE: integrated development environment for answer set programming

LPNMR'11 Proceedings of the 11th international conference on Logic programming and nonmonotonic reasoning
Optimized query rewriting for OWL 2 QL

CADE'11 Proceedings of the 23rd international conference on Automated deduction
Data complexity of query answering in description logics

Artificial Intelligence

Quantified Score

Hi-index	0.00

Visualization

Abstract

Ontology-based reasoning is considered a crucial task in the area of knowledge management. In this context, the interest in approaches that resort to Datalog (and its extensions) for implementing various reasoning tasks over ontologies is growing. Nonetheless, looking from the developer point of view, one can notice that the editing environments for ontologies on the one hand and Datalog-like logic programs on the other hand are often developed independently and miss a common perspective. In this paper we face with this issue proposing the integration of two major development environments for Datalog programs and Ontologies, respectively: ASPIDE and protégé. We extended both systems with specific plugins that enable a synergic interaction between the two development environments. The developer can then handle both ontologies and logic-based reasoning over them by exploiting specific tools integrated to work together.