Conference item icon

Conference item : Abstract

Computing CQ lower-bounds over OWL 2 through approximation to RSA: extended abstract

Abstract:

Conjunctive query (CQ) answering over knowledge bases is an important reasoning task. However, with expressive ontology languages such as OWL, query answering is computationally very expensive. The PAGOdA system addresses this issue by using a tractable reasoner to compute lower and upper-bound approximations, falling back to a fully fledged OWL reasoner only when these bounds don’t coincide. The effectiveness of this approach critically depends on the quality of the approximations, and in th...

Expand abstract
Publication status:
Published
Peer review status:
Peer reviewed

Actions


Access Document


Files:
Publication website:
http://ceur-ws.org/Vol-2980/

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Linacre College
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0001-6993-0618
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
ORCID:
0000-0002-2685-7462
Publisher:
CEUR Workshop Proceedings Publisher's website
Article number:
323
Series:
CEUR Workshop Proceedings
Series number:
2980
Host title:
Proceedings of the ISWC 2021 Posters, Demos and Industry Tracks: From Novel Ideas to Industrial Practice co-located with 20th International Semantic Web Conference (ISWC 2021)
Publication date:
2021-10-14
Acceptance date:
2021-07-28
Event title:
20th International Semantic Web Conference (ISWC 2021)
Event location:
Virtual event
Event website:
https://iswc2021.semanticweb.org/
Event start date:
2021-10-24T00:00:00Z
Event end date:
2021-10-28T00:00:00Z
ISSN:
1613-0073
Language:
English
Keywords:
Subtype:
Abstract
Pubs id:
1193178
Local pid:
pubs:1193178
Deposit date:
2021-08-29

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