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.
|Number of pages||11|
|Journal||CEUR Workshop Proceedings|
|Publication status||Published - 2011|
|Event||24th International Workshop on Description Logics, DL 2011 - Barcelona, Spain|
Duration: 13 Jul 2011 → 16 Jul 2011