|Title||Pushing the Boundaries of Tractable Ontology Reasoning|
|Publication Type||Conference Papers|
|Year of Publication||2014|
|Authors||Carral, D, Feier, C, Grau, BCuenca, Hitzler, P, Horrocks, I|
|Conference Name||The Semantic Web - ISWC 2014 - 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, Part II|
|Keywords||description logics, OWL, Tractable Reasoning|
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.