Nominal Schemas for Integrating Rules and Description Logics

Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler

Nominal Schemas for Integrating Rules and Ontologies

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 SROELV_n that allow for restricted use of nominal schemas.

Published at DL2011 (Workshop paper)

Download PDF (last update: June 25 2011)

Citation details

• Markus Krötzsch, Frederick Maier, Adila A. Krisnadhi, Pascal Hitzler. Nominal Schemas for Integrating Rules and Ontologies. In Riccardo Rosati, Sebastian Rudolph, Michael Zakharyaschev, eds.: Proceedings of the 24th International Workshop on Description Logics (DL-11). CEUR Workshop ProceedingsProperty "Publisher" has a restricted application area and cannot be used as annotation property by a user. 2011.

/* Please cite the WWW 2011 version instead of this abridged */
/* workshop paper. See link below.                           */

Remarks

This is a condensed version of the conference paper A Better Uncle For OWL:Nominal Schemas for Integrating Rules and Ontologies that appeared at WWW 2011.

Topics

Description logics, Rule languages