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

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

Toggle side column

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

David CarralDavid Carral,  Cong WangCong Wang,  Pascal HitzlerPascal Hitzler
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas


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
  • 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}
}