@conference {142, title = {Nominal Schemas for Integrating Rules and Description Logics}, booktitle = {Proceedings of the 24th International Workshop on Description Logics (DL 2011), Barcelona, Spain, July 13-16, 2011}, volume = {745}, year = {2011}, month = {07/2011}, publisher = {CEUR-WS.org}, organization = {CEUR-WS.org}, abstract = {We propose an extension of SROIQ with nominal schemas which can be used like {\textquotedblleft}variable nominal concepts{\textquotedblright} 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.}, url = {http://ceur-ws.org/Vol-745/paper_39.pdf}, author = {Markus Kr{\"o}tzsch and Frederick Maier and Adila Krisnadhi and Pascal Hitzler}, editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev} }