Extending Description Logic Rules

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

Toggle side column

Extending Description Logic Rules

David CarralDavid Carral,  Pascal HitzlerPascal Hitzler
Extending Description Logic Rules


David Carral, Pascal Hitzler
Extending Description Logic Rules
In Elena Simperl and Philipp Cimiano and Axel Polleres and Óscar Corcho and Valentina Presutti, eds., The Semantic Web: Research and Applications - 9th Extended Semantic Web Conference, ESWC 2012, Heraklion, Crete, Greece. Proceedings, volume 7295 of Lecture Notes in Computer Science, 345--359, May 2012. Springer
  • KurzfassungAbstract
    Description Logics – the logics underpinning the Web Ontology Language OWL – and rules are currently the most prominent paradigms used for modeling knowledge for the Semantic Web. While both of these approaches are based on classical logic, the paradigms also differ significantly, so that naive combinations result in undesirable properties such as undecidability. Recent work has shown that many rules can in fact be expressed in OWL. In this paper we extend this work to include some types of rules previously excluded. We formally define a set of first order logic rules, C-Rules, which can be expressed within OWL extended with role conjunction. We also show that the use of nominal schemas results in even broader coverage.
  • Forschungsgruppe:Research Group: Wissensbasierte Systeme
The final publication is available at Springer via http://dx.doi.org/10.1007/978-3-642-30284-8_30.
@inproceedings{CH2012,
  author    = {David Carral and Pascal Hitzler},
  title     = {Extending Description Logic Rules},
  editor    = {Elena Simperl and Philipp Cimiano and Axel Polleres and
               {\'{O}}scar Corcho and Valentina Presutti},
  booktitle = {The Semantic Web: Research and Applications - 9th Extended
               Semantic Web Conference, {ESWC} 2012, Heraklion, Crete, Greece.
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7295},
  publisher = {Springer},
  year      = {2012},
  month     = {May},
  pages     = {345--359},
  doi       = {10.1007/978-3-642-30284-8_30}
}