On the Semantic Relationship between Datalog and Description Logics

Markus KrötzschMarkus Krötzsch, Sebastian RudolphSebastian Rudolph, Peter H. SchmittPeter H. Schmitt

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 (RR 2010), volume 6333 of LNCS, 88-102, September 2010. Springer

Details
Bibtex

KurzfassungAbstract
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.
Bemerkung: Note: An extended version of this work is the journal article A Closer Look at the Semantic Relationship between Datalog and Description Logics.
Forschungsgruppe:Research Group: Computational LogicComputational Logic, Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-15918-3_8.

@inproceedings{KRS2010,
  author    = {Markus Kr{\"{o}}tzsch and Sebastian Rudolph and Peter H. Schmitt},
  title     = {On the Semantic Relationship between Datalog and Description
               Logics},
  editor    = {Pascal Hitzler and Thomas Lukasiewicz},
  booktitle = {Proceedings of the 4th International Conference on Web Reasoning
               and Rule Systems (RR 2010)},
  series    = {LNCS},
  volume    = {6333},
  publisher = {Springer},
  year      = {2010},
  month     = {September},
  pages     = {88-102},
  doi       = {10.1007/978-3-642-15918-3_8}
}