Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas

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

Toggle side column

Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas

David CarralDavid Carral,  Adila KrisnadhiAdila Krisnadhi,  Pascal HitzlerPascal Hitzler
David Carral, Adila Krisnadhi, Pascal Hitzler
Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas
In Pavel Klinov, Matthew Horridge, eds., Experiences and Directions Workshop 2012, OWLED 2012, Heraklion, Crete, Greece. Proceedings, volume 849, May 2012. CEUR-WS.org
  • KurzfassungAbstract
    This paper proposes an addition to OWL 2 syntax to incorporate nominal schemas, which is a new description-logic style extension of OWL 2 which was recently proposed, and which makes is possible to express “variable nominal classes” within axioms in an OWL 2 ontology. Nominal schemas make it possible to express DL-safe rules of arbitrary arity within the extended OWL paradigm, hence covering the well-known DL-safe SWRL language. To express this feature, we extend OWL 2 syntax to include necessary and minimal modifications to both Functional and Manchester syntax grammars and mappings from these two syntaxes to Turtle/RDF. We also include several examples to clarify the proposal.
  • Forschungsgruppe:Research Group: Wissensbasierte SystemeKnowledge-Based Systems
@inproceedings{CKH2012,
  author    = {David Carral and Adila Krisnadhi and Pascal Hitzler},
  title     = {Integrating {OWL} and Rules: A Syntax Proposal for Nominal
               Schemas},
  editor    = {Pavel Klinov and Matthew Horridge},
  booktitle = {Experiences and Directions Workshop 2012, {OWLED} 2012,
               Heraklion, Crete, Greece. Proceedings},
  volume    = {849},
  publisher = {CEUR-WS.org},
  year      = {2012},
  month     = {May}
}