A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies

Authors

Markus Krotzsch
Frederick Maier
Adila Krisnadhi
Pascal HitzlerFollow

Document Type

Conference Proceeding

Publication Date

1-1-2011

Find this in a Library

Catalog Record

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 SROELV_3(⊓, X) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.

Comments

This paper was presented at the International World Wide Web Conference in Hyderabad, India, March 28-April 1, 2011.

Repository Citation

Krotzsch, M., Maier, F., Krisnadhi, A., & Hitzler, P. (2011). A Better Uncle For OWL - Nominal Schemas for Integrating Rules and Ontologies. WWW '11 Proceedings of the 20th International Conference on World Wide Web, 645-654.
https://corescholar.libraries.wright.edu/cse/147