On the containment of SPARQL queries under entailment regimes


Chekol, Melisachew Wudage


[img]
Preview
PDF
chekol16.pdf - Published

Download (719kB)

URL: https://ub-madoc.bib.uni-mannheim.de/40952
Additional URL: https://www.aaai.org/ocs/index.php/AAAI/AAAI16/pap...
URN: urn:nbn:de:bsz:180-madoc-409522
Document Type: Conference or workshop publication
Year of publication: 2016
Book title: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence and the Twenty-Eighth Innovative Applications of Artificial Intelligence Conference, February 12-17, 2016, Phoenix, Arizona, USA
Volume: 3
Page range: 936-942
Conference title: Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
Location of the conference venue: Phoenix, Arizona
Date of the conference: February 12-17, 2016
Author/Publisher of the book
(only the first ones mentioned)
:
Schuurmans, Dale
Place of publication: Palo Alto, Calif.
Publishing house: AAAI Press
ISBN: 978-1-57735-763-6 , 978-1-57735-760-5
ISSN: 2159-5399 , 2374-3468
Publication language: English
Institution: School of Business Informatics and Mathematics > Praktische Informatik II (Stuckenschmidt 2009-)
Subject: 004 Computer science, internet
Keywords (English): Query containment , SPARQL , entailment regimes
Abstract: Most description logics (DL) query languages allow instance retrieval from an ABox. However, SPARQL is a schema query language allowing access to the TBox (in addition to the ABox). Moreover, its entailment regimes enable to take into account knowledge inferred from knowledge bases in the query answering process. This provides a new perspective for the containment problem. In this paper, we study the containment of SPARQL queries over OWL EL axioms under entailment. OWL EL is the language used by many large scale ontologies and is based on EL++. The main contribution is a novel approach to rewriting queries using SPARQL property paths and the μ-calculus in order to reduce containment test under entailment into validity check in the μ-calculus.

Dieser Eintrag ist Teil der Universitätsbibliographie.

Das Dokument wird vom Publikationsserver der Universitätsbibliothek Mannheim bereitgestellt.




+ Citation Example and Export

Chekol, Melisachew Wudage On the containment of SPARQL queries under entailment regimes. Open Access Schuurmans, Dale 3 936-942 In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence and the Twenty-Eighth Innovative Applications of Artificial Intelligence Conference, February 12-17, 2016, Phoenix, Arizona, USA (2016) Palo Alto, Calif. Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16) (Phoenix, Arizona) [Conference or workshop publication]
[img]
Preview


+ Search Authors in

+ Download Statistics

Downloads per month over past year

View more statistics



You have found an error? Please let us know about your desired correction here: E-Mail


Actions (login required)

Show item Show item