Conference item icon

Conference item : Conference-proceeding

Semantics of SPARQL under OWL 2 entailment regimes

Abstract:
We study the semantics of SPARQL queries with optional matching features under entailment regimes. We argue that the normative semantics may lead to answers that are in conict with the intuitive meaning of optional matching, where unbound variables naturally represent unknown information. We propose an extension of the SPARQL algebra that addresses these issues and is compatible with any entailment regime satisfying the minimal requirements given in the normative specification. We then study the complexity of query evaluation and show that our extension comes at no cost for regimes with an entailment relation of reasonable complexity. Finally, we show that our semantics preserves the known properties of optional matching that are commonly exploited for static analysis and optimisation.
Publication status:
Published

Actions


Access Document


Files:

Authors


More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Role:
Author
More by this author
Institution:
University of Oxford
Division:
MPLS
Department:
Computer Science
Oxford college:
Keble College
Role:
Author

Contributors

Role:
Editor
Role:
Editor


Publisher:
CEUR-WS.org
Host title:
Proceedings of the 28th International Workshop on Description Logics
Journal:
Proceedings of the 28th International Workshop on Description Logics More from this journal
Publication date:
2015-01-01
ISSN:
1613-0073


Keywords:
Subtype:
conference-proceeding
Pubs id:
pubs:577293
UUID:
uuid:54d6ff9a-0961-45c8-8507-4774fcf780d9
Local pid:
pubs:577293
Source identifiers:
577293
Deposit date:
2016-12-10

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