Book section icon

Book section

Pushing the boundaries of tractable ontology reasoning

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.

Publication status:
Published
Peer review status:
Peer reviewed
Version:
Accepted Manuscript

Actions


Access Document


Files:
Publisher copy:
10.1007/978-3-319-11915-1_10

Authors


David Carral More by this author
More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning Research Group
Department:
Oxford, MPLS, Computer Science
More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning Research Group
Oxford college:
Oriel College
Department:
Oxford, MPLS, Computer Science
Pascal Hitzler More by this author
More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning Research Group
Oxford college:
Oriel College
Department:
Oxford, MPLS, Computer Science
Publisher:
Springer International Publishing Publisher's website
Volume:
8797
Pages:
148-163
Host title:
The semantic web – ISWC 2014 13th International Semantic Web Conference, Riva del Garda, Italy, October 19-23, 2014. Proceedings, part II
Publication date:
2014
DOI:
ISSN:
0302-9743
URN:
uuid:21f8c6a3-c6ce-4002-ae05-f8414ff07f7e
Local pid:
ora:9369
ISBN:
978-3-319-11914-4

Terms of use


Metrics



If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP