All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles

David CarralDavid Carral, Adila KrisnadhiAdila Krisnadhi, Sebastian RudolphSebastian Rudolph, Pascal HitzlerPascal Hitzler

Download

David Carral, Adila Krisnadhi, Sebastian Rudolph, Pascal Hitzler
All But Not Nothing: Left-Hand Side Universals for Tractable OWL Profiles
In Maria Keet, Valentina Tamma, eds., Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on {(ISWC} 2014), Riva del Garda, Italy., volume 1265 of CEUR Workshop Proceedings, 97--108, October 2014. CEUR-WS.org

Details
Bibtex

KurzfassungAbstract
We show that occurrences of the universal quantifier in the left-hand side of general concept inclusions can be rewritten into EL++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of EL++ and Horn-SROIQ using standard reasoners.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

@inproceedings{CKRH2014,
  author    = {David Carral and Adila Krisnadhi and Sebastian Rudolph and Pascal
               Hitzler},
  title     = {All But Not Nothing: Left-Hand Side Universals for Tractable
               {OWL} Profiles},
  editor    = {Maria Keet and Valentina Tamma},
  booktitle = {Proceedings of the 11th International Workshop on {OWL:}
               Experiences and Directions (OWLED 2014) co-located with 13th
               International Semantic Web Conference on {(ISWC} 2014), Riva del
               Garda, Italy.},
  series    = {CEUR Workshop Proceedings},
  volume    = {1265},
  publisher = {CEUR-WS.org},
  year      = {2014},
  month     = {October},
  pages     = {97--108}
}