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
Volume745
Date Published07/2011
PublisherCEUR-WS.org
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.
URLhttp://ceur-ws.org/Vol-745/paper_39.pdf
Refereed DesignationRefereed

Projects: 

TROn - Tractable Reasoning with Ontologies