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

Actions


Access Document


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

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Knowledge Representation and Reasoning Research Group
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Knowledge Representation and Reasoning Research Group
Oxford college:
Oriel College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Research group:
Knowledge Representation and Reasoning Research Group
Oxford college:
Oriel College
Role:
Author
More from this funder
Funding agency for:
Feier, C
Grant:
EP/J020214/1
More from this funder
Funding agency for:
Horrocks, I
Grant:
EP/J020214/1
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-01-01
DOI:
ISSN:
0302-9743
ISBN:
9783319119144
Language:
English
Keywords:
Subjects:
UUID:
uuid:21f8c6a3-c6ce-4002-ae05-f8414ff07f7e
Local pid:
ora:9369
Deposit date:
2014-11-21

Terms of use


Views and Downloads






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

TO TOP