Decidable Description Logics of Context with Rigid Roles

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Toggle side column

Decidable Description Logics of Context with Rigid Roles

Stephan BöhmeStephan Böhme,  Marcel LippmannMarcel Lippmann
Stephan Böhme, Marcel Lippmann
Decidable Description Logics of Context with Rigid Roles
In Carsten Lutz, Silvio Ranise, eds., Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15), volume 9322 of Lecture Notes in Artificial Intelligence, 17-32, to appear. Springer
  • KurzfassungAbstract
    To represent and reason about contextualized knowledge often two-dimensional Description Logics (DLs) are employed, where one DL is used to describe contexts (or possible worlds) and the other DL is used to describe the objects, i.e. the relational structure of the specific contexts. Previous approaches for DLs of context that combined pairs of DLs resulted in undecidability in those cases where so-called rigid roles are admitted, i.e. if parts of the relational structure are the same in all contexts. In this paper, we present a novel combination of pairs of DLs and show that reasoning stays decidable even in the presence of rigid roles. We give complexity results for various combinations of DLs including ALC, SHOQ, and EL.
  • Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory
The final publication is available at Springer.
@inproceedings{ BoLi-FroCoS15,
  address = {Wroclaw, Poland},
  author = {Stephan B{\"o}hme and Marcel Lippmann},
  booktitle = {Proceedings of the 10th International Symposium on Frontiers of Combining Systems (FroCoS'15)},
  publisher = {Springer-Verlag},
  series = {Lecture Notes in Artificial Intelligence},
  volume = {9322},
  editor = {Carsten {Lutz} and Silvio {Ranise}},
  pages = {17-32},
  title = {Decidable Description Logics of Context with Rigid Roles},
  year = {2015},
}