Nominal Schemas for Integrating Rules and Description Logics

TitleNominal Schemas for Integrating Rules and Description Logics
Publication TypeConference Paper
Year of Publication2011
AuthorsMarkus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
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.

Full Text

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler, 'Nominal Schemas for Integrating Rules and Description Logics,' In: Proceedings of the 2011 International Workshop on Description Logics (DL2011), Barcelona, Spain, July 2011.
year: 2011
hasEditor: Sebastian Rudolph and Riccardo Rosati and Michael Zakharzaschev
hasURL: http://ceur-ws.org/Vol-745/paper_39.pdf
hasBookTitle: Proceedings of the 2011 International Workshop on Description Logics (DL2011)