@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}
}
@conference {129,
	title = {An Ontology Design Pattern for Cartographic Map Scaling},
	booktitle = {The Semantic Web: Semantics and Big Data, 10th International Conference, ESWC 2013, Montpellier, France, May 26-30, 2013. Proceedings},
	volume = {7882},
	year = {2013},
	pages = {76{\textendash}93},
	publisher = {Springer},
	organization = {Springer},
	abstract = {<p>The concepts of scale is at the core of cartographic abstraction and mapping. It defines which geographic phenomena should be displayed, which type of geometry and map symbol to use, which measures can be taken, as well as the degree to which features need to be exaggerated or spatially displaced. In this work, we present an ontology design pattern for map scaling using the Web Ontology Language (OWL) within a particular extension of the OWL RL profile. We explain how it can be used to describe scaling applications, to reason over scale levels, and geometric representations. We propose an axiomatization that allows us to impose meaningful constraints on the pattern, and, thus, to go beyond simple surface semantics. Interestingly, this includes several functional constraints currently not expressible in any of the OWL profiles. We show that for this specific scenario, the addition of such constraints does not increase the reasoning complexity which remains tractable.</p>
},
	keywords = {Map Scaling, Ontology Design Patterns, OWL},
	doi = {10.1007/978-3-642-38288-8_6},
	url = {http://dx.doi.org/10.1007/978-3-642-38288-8_6},
	author = {David Carral and Simon Scheider and Krzysztof Janowicz and Charles Vardeman and Adila Krisnadhi and Pascal Hitzler},
	editor = {Philipp Cimiano and {\'O}scar Corcho and Valentina Presutti and Laura Hollink and Sebastian Rudolph}
}
