Title | Integrating OWL and Rules: A Syntax Proposal for Nominal Schemas |
Publication Type | Conference Papers |
Year of Publication | 2012 |
Authors | Carral, D, Krisnadhi, A, Hitzler, P |
Editor | Klinov, P, Horridge, M |
Conference Name | Proceedings of OWL: Experiences and Directions Workshop 2012, Heraklion, Crete, Greece, May 27-28, 2012 |
Volume | 849 |
Date Published | 05/2012 |
Publisher | CEUR-WS.org |
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 also include several examples to clarify the proposal. |
URL | http://ceur-ws.org/Vol-849/paper_6.pdf |
Refereed Designation | Refereed |