Journal article icon

Journal article

The complexity of answering conjunctive and navigational queries over OWL 2 EL knowledge bases

Abstract:

OWL 2 EL is a popular ontology language that supports role inclusions---that is, axioms that capture compositional properties of roles. Role inclusions closely correspond to context-free grammars, which was used to show that answering conjunctive queries (CQs) over OWL 2 EL knowledge bases with unrestricted role inclusions is undecidable. However, OWL 2 EL inherits from OWL 2 DL the syntactic regularity restriction on role inclusions, which ensures that role chains implying a particular ro...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed
Version:
Publisher's version

Actions


Access Document


Files:
Publisher copy:
doi:10.1613/jair.4457

Authors


More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning
Oxford college:
St Catherine's College
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
More by this author
Institution:
University of Oxford
Research group:
Knowledge Representation and Reasoning
Oxford college:
Somerville College
Department:
Mathematical, Physical & Life Sciences Division - Department of Computer Science
More from this funder
Funding agency for:
Giorgio Stefanoni
More from this funder
Funding agency for:
Boris Motik
Alcatel-Lucent More from this funder
Publisher:
Association for the Advancement of Artificial Intelligence Publisher's website
Journal:
Journal of Artificial Intelligence Research Journal website
Volume:
51
Pages:
645-705
Publication date:
2014-12-05
DOI:
ISSN:
1076 - 9757
URN:
uuid:6bb8cd4a-edd0-422c-988f-87f45cfbad65
Local pid:
ora:9610

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