@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}
}
@conference {143,
	title = {Local Closed World Semantics: Keep it simple, stupid!},
	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 = {A combination of open and closed-world reasoning (usually called local closed world reasoning) is a desirable capability of knowledge representation formalisms for Semantic Web applications. However, none of the proposals made to date for extending description logics with local closed world capabilities has had any significant impact on applications. We believe that one of the key reasons for this is that current proposals fail to provide approaches which are intuitively accessible for application developers and at the same time are applicable, as extensions, to expressive description logics such as SROIQ, which underlies the Web Ontology Language OWL. In this paper we propose a new approach which overcomes key limitations of other major proposals made to date. It is based on an adaptation of circumscriptive description logics which, in contrast to previously reported circumscription proposals, is applicable to SROIQ without rendering reasoning over the resulting language undecidable.},
	keywords = {circumscription, closed world, decidability, Description Logic},
	url = {http://ceur-ws.org/Vol-745/paper_12.pdf},
	author = {Adila Krisnadhi and Kunal Sengupta and Pascal Hitzler},
	editor = {Riccardo Rosati and Sebastian Rudolph and Michael Zakharyaschev}
}
