A Closer Look at the Semantic Relationship between Datalog and Description Logics
Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
A Closer Look at 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 Semantic Web Journal (Journal paper)
(last update: 13 Dec 2014)
Citation details
- Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt. A Closer Look at the Semantic Relationship between Datalog and Description Logics. In Semantic Web Journal, volume 6:1, pp. 63–79. IOS PressProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2015.
author = {Markus Kr\"{o}tzsch and Sebastian Rudolph
and Peter H. Schmitt},
title = {A Closer Look at the Semantic Relationship
between Datalog and Description Logics},
journal = {Semantic Web Journal},
publisher = {IOS Press},
volume = {6},
issue = {1},
year = {2015}
}
Remarks
This is a revised version of the conference paper On the Semantic Relationship between Datalog and Description Logics.
