On the containment of SPARQL queries under entailment regimes

Vorschau

PDF
chekol16.pdf - Veröffentlichte Version
Download (719kB)

URL:	https://ub-madoc.bib.uni-mannheim.de/40952
Weitere URL:	https://www.aaai.org/ocs/index.php/AAAI/AAAI16/pap...
URN:	urn:nbn:de:bsz:180-madoc-409522
Dokumenttyp:	Konferenzveröffentlichung
Erscheinungsjahr:	2016
Buchtitel:	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
Band/Volume:	3
Seitenbereich:	936-942
Veranstaltungstitel:	Thirtieth AAAI Conference on Artificial Intelligence (AAAI-16)
Veranstaltungsort:	Phoenix, Arizona
Veranstaltungsdatum:	February 12-17, 2016
Herausgeber:	Schuurmans, Dale
Ort der Veröffentlichung:	Palo Alto, Calif.
Verlag:	AAAI Press
ISBN:	978-1-57735-763-6 , 978-1-57735-760-5
ISSN:	2159-5399 , 2374-3468
Sprache der Veröffentlichung:	Englisch
Einrichtung:	Fakultät für Wirtschaftsinformatik und Wirtschaftsmathematik > Practical Computer Science II: Artificial Intelligence (Stuckenschmidt 2009-)
Fachgebiet:	004 Informatik
Freie Schlagwörter (Englisch):	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.