DL+log: Tight Integration of Description Logics and Disjunctive Datalog

Abstract

The integration of Description Logics and Datalog rules presents many semantic and computational problems. In particular, reasoning in a system fully integrating Description Logics knowledge bases (DL-KBs) and Datalog programs is undecidable. Many proposals have overcomed this problem through a “safeness” condition that limits the interaction between the DL-KB and the Datalog rules. Such a safe integration of Description Logics and Datalog provides for systems with decidable reasoning, at the price of a strong limitation in terms of expressive power. In this paper we define DL+log, a general framework for the integration of Description Logics and disjunctive Datalog. From the knowledge representation viewpoint, DL+log extends previous proposals, since it allows for a tighter form of integration between DL-KBs and Datalog rules which overcomes the main representational limits of the approaches based on the safeness condition. From the reasoning viewpoint, we present algorithms for reasoning in DL+log, and prove decidability and complexity of reasoning in DL+log for several Description Logics. To the best of our knowledge, DL+log constitutes the most powerful decidable combination of Description Logics and disjunctive Datalog rules proposed so far.

Extracted Key Phrases

0204060'04'05'06'07'08'09'10'11'12'13'14'15'16'17
Citations per Year

265 Citations

Semantic Scholar estimates that this publication has 265 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Rosati2006DLlogTI, title={DL+log: Tight Integration of Description Logics and Disjunctive Datalog}, author={Riccardo Rosati}, booktitle={KR}, year={2006} }