@conference {139,
	title = {A Better Uncle for {OWL}: Nominal Schemas for Integrating Rules and Ontologies},
	booktitle = {Proceedings of the 20th International Conference on World Wide Web, WWW 2011, Hyderabad, India, March 28 - April 1, 2011},
	year = {2011},
	month = {03/2011},
	pages = {645-654},
	publisher = {ACM},
	organization = {ACM},
	abstract = {We propose a description-logic style extension of OWL 2 with nominal schemas which can be used like "variable nominal classes" within axioms. This feature allows ontology languages to express arbitrary DL-safe rules (as expressible in SWRL or RIF) in their native syntax. We show that adding nominal schemas to OWL 2 does not increase the worst-case reasoning complexity, and we identify a novel tractable language SROELV3(\cap, x) that is versatile enough to capture the lightweight languages OWL EL and OWL RL.},
	keywords = {datalog, Description Logic, Semantic Web Rule Language, SROIQ, tractability, Web Ontology Language},
	isbn = {978-1-4503-0632-4},
	doi = {10.1145/1963405.1963496},
	url = {http://doi.acm.org/10.1145/1963405.1963496},
	author = {Markus Kr{\"o}tzsch and Frederick Maier and Adila Krisnadhi and Pascal Hitzler},
	editor = {Sadagopan Srinivasan and Krithi Ramamritham and Arun Kumar and M. P. Ravindra and Elisa Bertino and Ravi Kumar}
}
