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