Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas

David CarralDavid Carral, Cong WangCong Wang, Pascal HitzlerPascal Hitzler

ISBN: 978-3-642-39665-6
Download
DOI Link

David Carral, Cong Wang, Pascal Hitzler
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas
In Wolfgang Faber, Domenico Lembo, eds., Web Reasoning and Rule Systems - 7th International Conference, {RR} 2013, Mannheim, Germany. Proceedings, volume 7994 of Lecture Notes in Computer Science, 65--79, July 2013. Springer

Details
Bibtex

KurzfassungAbstract
Extending description logics with so-called nominal schemas has been shown to be a major step towards integrating description logics with rules paradigms. However, establishing efficient algorithms for reasoning with nominal schemas has so far been a challenge. In this paper, we present an algorithm to reason with the description logic fragment ELROVn, a fragment that extends EL++ with nominal schemas. We also report on an implementation and experimental evaluation of the algorithm, which shows that our approach is indeed rather efficient.
Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems

The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-39666-3.

@inproceedings{CWH2013,
  author    = {David Carral and Cong Wang and Pascal Hitzler},
  title     = {Towards an Efficient Algorithm to Reason over Description Logics
               Extended with Nominal Schemas},
  editor    = {Wolfgang Faber and Domenico Lembo},
  booktitle = {Web Reasoning and Rule Systems - 7th International Conference,
               {RR} 2013, Mannheim, Germany. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7994},
  publisher = {Springer},
  year      = {2013},
  month     = {July},
  pages     = {65--79},
  doi       = {10.1007/978-3-642-39666-3}
}