@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}
}
