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

Document Type

Conference Proceeding

Publication Date


Find this in a Library

Catalog Record


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.


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

Catalog Record