DMCA
Description logics and disjunctive datalog -- the story so far (2005)
Cached
Download Links
| Venue: | PROC. INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS |
| Citations: | 7 - 0 self |
BibTeX
@INPROCEEDINGS{Hustadt05descriptionlogics,
author = {Ullrich Hustadt and Boris Motik},
title = {Description logics and disjunctive datalog -- the story so far},
booktitle = {PROC. INTERNATIONAL WORKSHOP ON DESCRIPTION LOGICS},
year = {2005},
publisher = {}
}
Share
 |
 |
 |
 |
||
OpenURL
Abstract
In this paper we present an overview of our recent work on the relationship between description logics and disjunctive datalog. In particular, we reduce satisfiability and instance checking in SHIQ to corresponding problems in disjunctive datalog. This allows us to apply practically successful deductive database optimization techniques, such as magic sets. Interestingly, the reduction also allows us to obtain novel theoretical results on description logics. In particular, we show that the data complexity of reasoning in SHIQ is in NP, and we define a fragment called Horn-SHIQ for which the data complexity is in P. Finally, the reduction provides a basis for query answering in an extension of SHIQ with so-called DL-safe rules.
