Pushing the Boundaries of Tractable Ontology Reasoning

Authors

David Carral
Cristina Feier
Bernardo Cuenca Grau
Pascal HitzlerFollow
Ian Horrocks

Document Type

Conference Proceeding

Publication Date

10-2014

Abstract

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.

Comments

To be presented at the 13th International Semantic Web Conference, Trentino, Italy, October 19-23, 2014.

Repository Citation

Carral, D., Feier, C., Grau, B. C., Hitzler, P., & Horrocks, I. (2014). Pushing the Boundaries of Tractable Ontology Reasoning. Proceedings ISWC 2014.
https://corescholar.libraries.wright.edu/cse/168