Home |  DEUTSCH |  Contact |  Imprint |  Login |  KIT

Inproceedings3100

Aus Aifbportal

Wechseln zu: Navigation, Suche

(This page contains COinS metadata)

On the Semantic Relationship between Datalog and Description Logics


Markus KrötzschSebastian Rudolph, Peter H. Schmitt



Published: 2010 September
Herausgeber: Pascal Hitzler, Thomas Lukasiewicz
Buchtitel: Web Reasoning and Rule Systems - Fourth International Conference
Ausgabe: 6333
Reihe: LNCS
Seiten: 88-102
Verlag: Springer
Referierte Veröffentlichung
BibTeX

Kurzfassung
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.

Download: Media:KRS-RR2010-MaxDLP.pdf

Projekt

ExpresST



Forschungsgruppe

Wissensmanagement


Forschungsgebiet
Beschreibungslogik, Logikprogrammierung, Wissensrepräsentation


-->