On the containment of SPARQL queries under entailment regimes

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
Publisher:	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 > Practical Computer Science II: Artificial Intelligence (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.