Nominal Schemas for Integrating Rules and Description Logics

Authors

Markus Krotzsch
Frederick Maier
Adila Alfa Krishnadhi
Pascal HitzlerFollow

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.

Repository Citation

Krotzsch, M., Maier, F., Krishnadhi, A. A., & Hitzler, P. (2011). Nominal Schemas for Integrating Rules and Description Logics. Proceedings of the 2011 International Workshop on Description Logics (DL2011), 745, 39.
https://corescholar.libraries.wright.edu/cse/149