A Better Uncle For OWL
From korrekt.org
Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler
A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies
Abstract. We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like “variable nominal classes” within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(⊓,×) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.
Published at WWW2011 (Conference paper)
Download PDF (last update: Jan 31 2011)
Citation details
- Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler. A Better Uncle for OWL: Nominal Schemas for Integrating Rules and Ontologies. In Proceedings of the 20th International Conference on the World Wide Web (WWW-11), pp. 645–654. ACMProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2011.
@inproceedings{KMKH11:nomschema,
author = {Markus Kr{\"o}tzsch and Frederick Maier and
Adila A. Krisnadhi and Pascal Hitzler},
title = {A Better Uncle for {OWL}: {N}ominal Schemas for
Integrating Rules and Ontologies},
booktitle= {Proceedings of the 20th International Conference
on World Wide Web (WWW'11)},
year = {2011},
publisher= {ACM},
pages = {645--654}
}
author = {Markus Kr{\"o}tzsch and Frederick Maier and
Adila A. Krisnadhi and Pascal Hitzler},
title = {A Better Uncle for {OWL}: {N}ominal Schemas for
Integrating Rules and Ontologies},
booktitle= {Proceedings of the 20th International Conference
on World Wide Web (WWW'11)},
year = {2011},
publisher= {ACM},
pages = {645--654}
}
