Title

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

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.

Catalog Record

Share

COinS