Integrating OWL and rules: A syntax proposal for nominal schemas

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

Integrating OWL and rules: A syntax proposal for nominal schemas

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

Department of Computer Science

Research output: Contribution to journal › Conference article › peer-review

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

Cite this

@article{ead6a46ddcd943278b16cd94c6238c96,

title = "Integrating OWL and rules: A syntax proposal for nominal schemas",

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{\l}o include several examples to clarify the proposal.",

author = "Mart{\'i}nez, {David Carral} and Krisnadhi, {Adila Alfa} and Pascal Hitzler",

year = "2012",

language = "English",

volume = "849",

journal = "CEUR Workshop Proceedings",

issn = "1613-0073",

publisher = "CEUR-WS",

note = "OWL: Experiences and Directions Workshop 2012, OWLED 2012 ; Conference date: 27-05-2012 Through 28-05-2012",

}

TY - JOUR

T1 - Integrating OWL and rules

T2 - OWL: Experiences and Directions Workshop 2012, OWLED 2012

AU - Martínez, David Carral

AU - Krisnadhi, Adila Alfa

AU - Hitzler, Pascal

PY - 2012

Y1 - 2012

N2 - 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.

AB - 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.

UR - http://www.scopus.com/inward/record.url?scp=84892596838&partnerID=8YFLogxK

M3 - Conference article

AN - SCOPUS:84892596838

SN - 1613-0073

VL - 849

JO - CEUR Workshop Proceedings

JF - CEUR Workshop Proceedings

Y2 - 27 May 2012 through 28 May 2012

ER -

Integrating OWL and rules: A syntax proposal for nominal schemas

Abstract

Other files and links

Fingerprint

Cite this