Sciweavers

Share
DLOG
2011

Nominal Schemas for Integrating Rules and Description Logics

8 years 10 months ago
Nominal Schemas for Integrating Rules and Description Logics
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.
Markus Krötzsch, Frederick Maier, Adila Alfa
Added 27 Aug 2011
Updated 27 Aug 2011
Type Journal
Year 2011
Where DLOG
Authors Markus Krötzsch, Frederick Maier, Adila Alfa Krisnadhi, Pascal Hitzler
Comments (0)
books