Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas

TitleIntegrating OWL and Rules: A Syntax Proposal for Nominal Schemas
Publication TypeConference Papers
Year of Publication2012
AuthorsCarral, D, Krisnadhi, A, Hitzler, P
EditorKlinov, P, Horridge, M
Conference NameProceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012
Date Published05/2012

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.

Refereed DesignationRefereed