Cheap Boolean Role Constructors for Description Logics

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

Toggle side column

Cheap Boolean Role Constructors for Description Logics

Sebastian RudolphSebastian Rudolph,  Markus KrötzschMarkus Krötzsch,  Pascal HitzlerPascal Hitzler
Cheap Boolean Role Constructors for Description Logics


Sebastian Rudolph, Markus Krötzsch, Pascal Hitzler
Cheap Boolean Role Constructors for Description Logics
In Steffen Hölldobler and Carsten Lutz and Heinrich Wansing, eds., Proceedings of 11th European Conference on Logics in Artificial Intelligence (JELIA), volume 5293 of LNAI, 362-374, September 2008. Springer
  • KurzfassungAbstract
    We investigate the possibility of incorporating Boolean role constructors on simple roles into some of today's most popular description logics, focussing on cases where those extensions do not increase complexity of reasoning. We show that the expressive DLs SHOIQ and SROIQ, serving as the logical underpinning of OWL and the forthcoming OWL 2, can accommodate arbitrary Boolean expressions. The prominent OWL-fragment SHIQ can be safely extended by safe role expressions, and the tractable fragments EL++ and DLP retain tractability if extended by conjunction on roles, where in the case of DLP the restriction on role simplicity can even be discarded.
  • Weitere Informationen unter:Other info: LinkLink
  • Forschungsgruppe:Research Group: Computational LogicWissensbasierte Systeme
The final publication is available at Springer.
@inproceedings{RKH2008,
  author    = {Sebastian Rudolph and Markus Kr{\"{o}}tzsch and Pascal Hitzler},
  title     = {Cheap Boolean Role Constructors for Description Logics},
  editor    = {Steffen H{\"{o}}lldobler and Carsten Lutz and Heinrich Wansing},
  booktitle = {Proceedings of 11th European Conference on Logics in Artificial
               Intelligence (JELIA)},
  series    = {LNAI},
  volume    = {5293},
  publisher = {Springer},
  year      = {2008},
  month     = {September},
  pages     = {362-374}
}