Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas
Aus International Center for Computational Logic
Towards an Efficient Algorithm to Reason over Description Logics Extended with Nominal Schemas
David CarralDavid Carral, Cong WangCong Wang, Pascal HitzlerPascal Hitzler
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
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
@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}
}