On the containment of SPARQL queries under 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.
References
[1]
Baader, F.; Brandt, S.; and Lutz, C. 2005. Pushing the EL envelope. In IJCAI, volume 5, 364-369.
[2]
Baader, F.; Brandt, S.; and Lutz, C. 2008. Pushing the EL envelope further. In Proceedings of the OWLED 2008 DC Workshop on OWL: Experiences and Directions.
[3]
Bienvenu, M.; Lutz, C.; and Wolter, F. 2012. Deciding FO-rewritability in EL. Description Logics 70-80.
[4]
Bischof, S.; Krötzsch, M.; Polleres, A.; and Rudolph, S. 2014. Schema-agnostic query rewriting in SPARQL 1.1. In ISWC, 584-600.
[5]
Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Vardi, M. Y. 2000. Containment of Conjunctive Regular Path Queries with Inverse. In Proc. 7th Int. Conf. on the Principles of Knowledge Representation and Reasoning (KR 2000), 176-185.
[6]
Calvanese, D.; De Giacomo, G.; Lenzerini, M.; and Vardi, M. Y. 2003. Reasoning on regular path queries. SIGMOD Record 32(4):83-92.
[7]
Calvanese, D.; Giacomo, G. D.; and Lenzerini, M. 2008. Conjunctive query containment and answering under description logic constraints. ACM Transactions on Computational Logic (TOCL) 9(3):22.
[8]
Chekol, M. W.; Euzenat, J.; Genevès, P.; and Layaïda, N. 2012a. SPARQL query containment under RDFS entailment regime. In Proc. IJCAR, 134-148.
[9]
Chekol, M. W.; Euzenat, J.; Genevès, P.; and Layaïda, N. 2012b. SPARQL query containment under SHI axioms. In Proc. AAAI, 10-16.
[10]
Chekol, M. W.; Euzenat, J.; Genevès, P.; and Layaïda, N. 2013. Evaluating and Benchmarking SPARQL Query Containment Solvers. In International Semantic Web Conference (2), 408-423.
[11]
Chekol, M. W. 2012. Static Analysis of Semantic Web Queries. Ph.D. Dissertation, Université de Grenoble.
[12]
Genevès, P., and Layaïda, N. 2006. A system for the static analysis of XPath. ACM Trans. Inf. Syst. 24(4):475-502.
[13]
Genevès, P., and Schmitt, A. 2015. Expressive logical combinators for free. In IJCAI, 311-317.
[14]
Genevès, P.; Layaïda, N.; and Schmitt, A. 2007. Efficient static analysis of XML paths and types. In Proc. PLDI, 342-351. ACM.
[15]
Glimm, B., and Krötzsch, M. 2010. SPARQL beyond subgraph matching. The Semantic Web–ISWC 2010 241-256.
[16]
Glimm, B. 2011. Using SPARQL with RDFS and OWL entailment. Reasoning Web. Semantic Technologies for the Web of Data 137-201.
[17]
Hansen, P.; Lutz, C.; Seylan, I.; and Wolter, F. 2015. Efficient query rewriting in the description logic EL and beyond. In IJCAI, 3034-3040.
[18]
Ioannidis, Y. E., and Ramakrishnan, R. 1995. Containment of conjunctive queries: Beyond relations as sets. ACM Transactions on Database Systems (TODS) 20(3):288-324.
[19]
Kazakov, Y.; Krötzsch, M.; and Simancik, F. 2014. The incredible ELK - from polynomial procedures to efficient reasoning with EL ontologies. J. Autom. Reasoning 53(1):1-61.
[20]
Kostylev, E. V.; Reutter, J. L.; Romero, M.; ; and Vrgoč, D. 2015. Sparql with property paths. In International Semantic Web Conference.
[21]
Kozen, D. 1983. Results on the propositional µ-calculus. Theoretical computer science 27(3):333-354.
[22]
Krötzsch, M., and Rudolph, S. 2007. Conjunctive queries for EL with composition of roles. In Proceedings of the 2007 International Workshop on Description Logics (DL2007), Brixen-Bressanone, Italy, 8-10 June, 2007.
[23]
Krötzsch, M. 2011. Efficient rule-based inferencing for owl el. In IJCAI, volume 11, 2668-2673.
[24]
Letelier, A.; Pérez, J.; Pichler, R.; and Skritek, S. 2013. Static analysis and optimization of semantic web queries. ACM Transactions on Database Systems (TODS) 38(4):25.
[25]
Pérez, J.; Arenas, M.; and Gutierrez, C. 2009. Semantics and complexity of sparql. ACM Transactions on Database Systems (TODS) 34(3):16.
[26]
Pichler, R., and Skritek, S. 2014. Containment and Equivalence of Well-designed SPARQL. 39-50.
[27]
Rosati, R. 2007. On conjunctive query answering in el. In 20th International Workshop on Description Logics DL07. Citeseer.
Index Terms
- On the containment of SPARQL queries under entailment regimes
Index terms have been assigned to the content through auto-classification.
Recommendations
Using SPARQL with RDFS and OWL entailment
RW'11: Proceedings of the 7th international conference on Reasoning web: semantic technologies for the web of dataThis chapter accompanies the lecture on SPARQL with entailment regimes at the 7th Reasoning Web Summer School in Galway, Ireland, 2011. SPARQL is a query language and protocol for data specified in the Resource Description Format (RDF). The basic ...
On the Semantics of SPARQL Queries with Optional Matching under Entailment Regimes
The Semantic Web – ISWC 2014AbstractWe 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 conflict with the intuitive meaning of optional matching, where unbound ...
Answering SPARQL Queries over Databases under OWL 2 QL Entailment Regime
The Semantic Web – ISWC 2014AbstractWe present an extension of the ontology-based data access platform Ontop that supports answering SPARQL queries under the OWL 2 QL direct semantics entailment regime for data instances stored in relational databases. On the theoretical side, we ...
Comments
Information & Contributors
Information
Published In
February 2016
4406 pages
Sponsors
- Association for the Advancement of Artificial Intelligence
Publisher
AAAI Press
Publication History
Published: 12 February 2016
Qualifiers
- Article
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 0Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 11 Aug 2024