|Title||Nominal Schemas for Integrating Rules and Description Logics|
|Publication Type||Conference Paper|
|Year of Publication||2011|
|Authors||Markus Krotzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler|
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.