Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas

David CarralDavid Carral, Adila KrisnadhiAdila Krisnadhi, Pascal HitzlerPascal Hitzler

Download

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

Details
Bibtex

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{DBLP:conf/owled/MartinezKH12,
  author    = {David Carral Mart{\'{\i}}nez and
               Adila Alfa Krisnadhi and
               Pascal Hitzler},
  title     = {Integrating {OWL} and Rules: {A} Syntax Proposal for Nominal Schemas},
  booktitle = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
               Crete, Greece, May 27-28, 2012},
  year      = {2012},
  crossref  = {DBLP:conf/owled/2012},
  url       = {http://ceur-ws.org/Vol-849/paper_6.pdf},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/owled/MartinezKH12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/owled/2012,
  editor    = {Pavel Klinov and
               Matthew Horridge},
  title     = {Proceedings of {OWL:} Experiences and Directions Workshop 2012, Heraklion,
               Crete, Greece, May 27-28, 2012},
  series    = {{CEUR} Workshop Proceedings},
  volume    = {849},
  publisher = {CEUR-WS.org},
  year      = {2012},
  url       = {http://ceur-ws.org/Vol-849},
  urn       = {urn:nbn:de:0074-849-5},
  timestamp = {Mon, 30 May 2016 16:43:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/owled/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}