Nominal Schemas for Integrating Rules and Description Logics

TitleNominal Schemas for Integrating Rules and Description Logics
Publication TypeConference Papers
Year of Publication2011
AuthorsKrötzsch, M, Maier, F, Krisnadhi, A, Hitzler, P
EditorRosati, R, Rudolph, S, Zakharyaschev, M
Conference NameProceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011
Date Published07/2011

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

Refereed DesignationRefereed