Integrating ontologies and rules: semantic and computational issues

Riccardo Rosati.
In Reasoning Web 2006, Lecture Notes in Computer Science, volume 4126, pages 128-151, Springer, 2006. ISBN 3-540-38409-X.



We present some recent results on the definition of logic-based systems integrating ontologies and rules. In particular, we take into account ontologies expressed in Description Logics and rules expressed in Datalog (and its nonmonotonic extensions). We first introduce the main issues that arise in the integration of ontologies and rules. In particular, we focus on the following aspects: (i) from the semantic viewpoint, ontologies are based on open-world semantics, while rules are typically interpreted under closed-world semantics. This semantic discrepancy constitutes an important obstacle for the definition of a meaningful combination of ontologies and rules; (ii) from the reasoning viewpoint, the interaction between an ontology and a rule component is very hard to handle, and does not preserve decidability and computational properties: e.g., starting from an ontology in which reasoning is decidable and a rule base in which reasoning is decidable, reasoning in the formal system obtained by integrating the two components may not be a decidable problem. Then, we briefly survey the main approaches for the integration of ontologies and rules, with special emphasis on how they deal with the above mentioned issues, and present in detail one of such approaches, i.e., DL+log. Finally, we illustrate the main open problems in this research area, pointing out what still prevents us from the development of both effective and expressive systems able to integrate ontologies and rules.

Bibtex entry:

@String{ReasoningWeb-06 = "Reasoning Web 2006"}

@String{LNCS = "Lecture Notes in Computer Science"}

@String{SV = "Springer"}

author = "Riccardo Rosati",
title = "Integrating ontologies and rules: semantic and computational issues",
booktitle = ReasoningWeb-06,
pages = "128--151",
publisher = SV,
series = LNCS,
volume = 4126,
year = 2006,
isbn = "3-540-38409-X",

Link to electronic version of published paper