Nominal schemas for integrating rules and description logics

Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler

Research output: Contribution to journalConference articlepeer-review

2 Citations (Scopus)


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.

Original languageEnglish
Pages (from-to)268-278
Number of pages11
JournalCEUR Workshop Proceedings
Publication statusPublished - 2011
Event24th International Workshop on Description Logics, DL 2011 - Barcelona, Spain
Duration: 13 Jul 201116 Jul 2011


Dive into the research topics of 'Nominal schemas for integrating rules and description logics'. Together they form a unique fingerprint.

Cite this