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.
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 1 Dec 2012|
|Event||OWL: Experiences and Directions Workshop 2012, OWLED 2012 - Heraklion, Crete, Greece|
Duration: 27 May 2012 → 28 May 2012