Title

Nominal Schemas for Integrating Rules and Description Logics

Document Type

Conference Proceeding

Publication Date

7-1-2011

Abstract

We propose an extension of SROIQ with nominal schemas which can be used like "variable nominal concepts" within axioms. This feature allows us to express arbitrary DL-safe rules in description logic syntax. We show that adding nominal schemas to SROIQ does not increase its worst-case reasoning complexity, and we identify a family of tractable DLs SROELVn that allow for restricted use of nominal schemas.

Comments

Presented at the International Workshop on Description Logics, Barcelona, Spain, July 13-16, 2011.