Integrating OWL and rules: A syntax proposal for nominal schemas

David Carral Martínez, Adila Alfa Krisnadhi, Pascal Hitzler

Research output: Contribution to journalConference article

Abstract

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 ało include several examples to clarify the proposal.

Original languageEnglish
JournalCEUR Workshop Proceedings
Volume849
Publication statusPublished - 1 Dec 2012
EventOWL: Experiences and Directions Workshop 2012, OWLED 2012 - Heraklion, Crete, Greece
Duration: 27 May 201228 May 2012

Fingerprint Dive into the research topics of 'Integrating OWL and rules: A syntax proposal for nominal schemas'. Together they form a unique fingerprint.

  • Cite this