@conference {131,
	title = {Pushing the Boundaries of Tractable Ontology Reasoning},
	booktitle = {The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II},
	year = {2014},
	pages = {148{\textendash}163},
	abstract = {<p>We identify a class of Horn ontologies for which standard reasoning tasks such as instance checking and classification are tractable. The class is general enough to include the OWL 2 EL, QL, and RL profiles. Verifying whether a Horn ontology belongs to the class can be done in polynomial time. We show empirically that the class includes many real-world ontologies that are not included in any OWL 2 profile, and thus that polynomial time reasoning is possible for these ontologies.</p>
},
	keywords = {description logics, OWL, Tractable Reasoning},
	doi = {10.1007/978-3-319-11915-1_10},
	url = {http://dx.doi.org/10.1007/978-3-319-11915-1_10},
	author = {David Carral and Cristina Feier and Cuenca Grau, Bernardo and Pascal Hitzler and Ian Horrocks}
}
