On the Semantic Relationship between Datalog and Description Logics

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

Download

Markus Krötzsch, Sebastian Rudolph, Peter H. Schmitt
On the Semantic Relationship between Datalog and Description Logics
In Pascal Hitzler, Thomas Lukasiewicz, eds., Web Reasoning and Rule Systems - Fourth International Conference, 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.
Projekt:Project: ExpresST
Forschungsgruppe:Research Group: Wissensmanagement„Wissensmanagement“ befindet sich nicht in der Liste (Computational Logic, Automatentheorie, Wissensverarbeitung, Knowledge-Based Systems, Knowledge Systems, Wissensbasierte Systeme, Logische Programmierung und Argumentation, Algebra und Diskrete Strukturen, Knowledge-aware Artificial Intelligence, Algebraische und logische Grundlagen der Informatik) zulässiger Werte für das Attribut „Forschungsgruppe“.Wissensmanagement

The final publication is available at Springer.

@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 = {Web Reasoning and Rule Systems - Fourth International Conference},
  series    = {LNCS},
  volume    = {6333},
  publisher = {Springer},
  year      = {2010},
  month     = {September},
  pages     = {88-102}
}