@conference {133,
	title = {All But Not Nothing: Left-Hand Side Universals for Tractable {OWL} Profiles},
	booktitle = {Proceedings of the 11th International Workshop on OWL: Experiences and Directions (OWLED 2014) co-located with 13th International Semantic Web Conference on (ISWC 2014), Riva del Garda, Italy, October 17-18, 2014.},
	volume = {1265},
	year = {2014},
	month = {10/2014},
	pages = {97-108},
	publisher = {CEUR-WS.org},
	organization = {CEUR-WS.org},
	abstract = {We show that occurrences of the universal quantifier in the left-hand side of general concept inclusions can be rewritten into EL++ axioms under certain circumstances. I.e., this intuitive modeling feature is available for OWL EL while retaining tractability. Furthermore, this rewriting makes it possible to reason over corresponding extensions of EL++ and Horn-SROIQ using standard reasoners.},
	keywords = {description logics, Horn Logics, OWL},
	url = {http://ceur-ws.org/Vol-1265/owled2014_submission_13.pdf},
	author = {David Carral and Adila Krisnadhi and Sebastian Rudolph and Pascal Hitzler},
	editor = {C. Maria Keet and Valentina A. M. Tamma}
}
