On the Semantic Relationship between Datalog and Description Logics
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
Abstract. Translations to (first-order) datalog have been used in a number of inferencing techniques for description logics (DLs), yet the relationship between the semantic expressivities of function-free Horn logic and DL is understood only poorly. Although Description Logic Programs (DLP) have been described as DLs in the “expressive intersection” of DL and datalog, it is unclear what an intersection of two syntactically incomparable logics is, even if both have a first-order logic semantics. In this work, we offer a characterisation for DL fragments that can be expressed, in a concrete sense, in datalog. We then determine the largest such fragment for the DL ALC, and provide an outlook on the extension of our methods to more expressive DLs.
Published at RR2010 (Conference paper)
Download PDF (last update: September 23 2010)
Citation details
- Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt. On the Semantic Relationship between Datalog and Description Logics. In Pascal Hitzler, Thomas Lukasiewicz, eds.: Proceedings of the 4th International Conference on Web Reasoning and Rule Systems, pp. 88–102. SpringerProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2010.
author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
and Peter H. Schmitt},
title = {On the Semantic Relationship between Datalog
and Description Logics},
booktitle = {Proceedings of the 4th Interational Conference on
Web Reasoning and Rule Systems (RR'10)},
editors = {Pascal Hitzler and Thomas Lukasiewicz},
publisher = {Springer},
series = {LNCS},
volume = {6333},
year = {2010},
pages = {88--102},
}
Remarks
This work gives an abridged account of the technical report The Largest DLP Possible, with some presentational issues improved.
You can also download the slides for the talk given at RR 2010.
