{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:43:39Z","timestamp":1761896619987,"version":"3.40.3"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319669168"},{"type":"electronic","value":"9783319669175"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-66917-5_23","type":"book-chapter","created":{"date-parts":[[2017,8,24]],"date-time":"2017-08-24T07:14:52Z","timestamp":1503558892000},"page":"343-356","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["SPARQL Query Containment with ShEx Constraints"],"prefix":"10.1007","author":[{"given":"Abdullah","family":"Abbas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Genev\u00e8s","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"C\u00e9cile","family":"Roisin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nabil","family":"Laya\u00efda","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,25]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Arenas, M., P\u00e9rez, J.: Querying semantic web data with SPARQL. In: Proceedings of the Thirtieth ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2011, pp. 305\u2013316. ACM, New York (2011)","DOI":"10.1145\/1989284.1989312"},{"key":"23_CR2","unstructured":"Boneva, I., Gayo, J.E.L., Hym, S., Prud\u2019hommeaux, E.G., Solbrig, H.R., Staworko, S.: Validating RDF with shape expressions. CoRR, abs\/1404.1270 (2014)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proceedings of the Ninth Annual ACM Symposium on Theory of Computing, STOC 1977, pp. 77\u201390. ACM, New York (1977)","DOI":"10.1145\/800105.803397"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Chekol, M.W.: On the containment of SPARQL queries under entailment regimes. In: Proceedings of the Thirtieth AAAI Conference on Artificial Intelligence, AAAI 2016, pp. 936\u2013942. AAAI Press (2016)","DOI":"10.1609\/aaai.v30i1.10093"},{"key":"23_CR5","unstructured":"Chekol, M.W., Euzenat, J., Genev\u00e8s, P., Laya\u00efda, N.: PSPARQL query containment. In: DBPL (2011)"},{"key":"23_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-642-31365-3_13","volume-title":"Automated Reasoning","author":"MW Chekol","year":"2012","unstructured":"Chekol, M.W., Euzenat, J., Genev\u00e8s, P., Laya\u00efda, N.: SPARQL query containment under RDFS entailment regime. In: Gramlich, B., Miller, D., Sattler, U. (eds.) IJCAR 2012. LNCS, vol. 7364, pp. 134\u2013148. Springer, Heidelberg (2012). doi:10.1007\/978-3-642-31365-3_13"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Chekol, M.W., Euzenat, J., Genev\u00e8s, P., Laya\u00efda, N.: SPARQL query containment under SHI axioms. In: Proceedings of the Twenty-Sixth AAAI Conference on Artificial Intelligence, AAAI 2012, pp. 10\u201316. AAAI Press (2012)","DOI":"10.1609\/aaai.v26i1.8108"},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Colazzo, D., Sartiani, C.: Typing regular path query languages for data graphs. In: Proceedings of the 15th Symposium on Database Programming Languages, DBPL 2015, pp. 69\u201378. ACM, New York (2015)","DOI":"10.1145\/2815072.2815082"},{"key":"23_CR9","unstructured":"Gayo, J.E.L., Prud\u2019hommeaux, E., Boneva, I., Staworko, S., Solbrig, H.R., Hym, S.: Towards an RDF validation language based on regular expression derivatives, pp. 197\u2013204 (2015)"},{"issue":"4","key":"23_CR10","doi-asserted-by":"publisher","first-page":"475","DOI":"10.1145\/1185877.1185882","volume":"24","author":"P Genev\u00e8s","year":"2006","unstructured":"Genev\u00e8s, P., Laya\u00efda, N.: A system for the static analysis of XPath. ACM Trans. Inf. Syst. 24(4), 475\u2013502 (2006)","journal-title":"ACM Trans. Inf. Syst."},{"issue":"1","key":"23_CR11","doi-asserted-by":"publisher","first-page":"108","DOI":"10.1016\/j.datak.2006.11.003","volume":"63","author":"P Genev\u00e8s","year":"2007","unstructured":"Genev\u00e8s, P., Laya\u00efda, N.: Deciding XPath containment with MSO. Data Knowl. Eng. 63(1), 108\u2013136 (2007). Data Warehouse and Knowledge Discovery (DAWAK ?05)7th International Congress on Data Warehouse and Knowledge Discovery (DAWAK?05)","journal-title":"Data Knowl. Eng."},{"key":"23_CR12","doi-asserted-by":"crossref","unstructured":"Genev\u00e8s, P., Laya\u00efda, N.: XML reasoning made practical. In: 2010 IEEE 26th International Conference on Data Engineering (ICDE 2010), pp. 1169\u20131172, March 2010","DOI":"10.1109\/ICDE.2010.5447786"},{"issue":"1","key":"23_CR13","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P.G., Vardi, M.Y.: On the decision problem for two-variable first-order logic. Bull. Symbolic Logic 3(1), 53\u201369 (1997)","journal-title":"Bull. Symbolic Logic"},{"key":"23_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-25007-6_1","volume-title":"The Semantic Web - ISWC 2015","author":"EV Kostylev","year":"2015","unstructured":"Kostylev, E.V., Reutter, J.L., Romero, M., Vrgo\u010d, D.: SPARQL with property paths. In: Arenas, M., Corcho, O., Simperl, E., Strohmaier, M., d\u2019Aquin, M., Srinivas, K., Groth, P., Dumontier, M., Heflin, J., Thirunarayan, K., Staab, S. (eds.) ISWC 2015. LNCS, vol. 9366, pp. 3\u201318. Springer, Cham (2015). doi:10.1007\/978-3-319-25007-6_1"},{"key":"23_CR15","unstructured":"Lanthaler, M., Cyganiak, R., Wood, D.: RDF 1.1 concepts and abstract syntax. W3C recommendation, W3C, February 2014. http:\/\/www.w3.org\/TR\/2014\/REC-rdf11-concepts-20140225\/"},{"key":"23_CR16","doi-asserted-by":"crossref","unstructured":"Letelier, A., P\u00e9rez, J., Pichler, R., Skritek, S.: Static analysis and optimization of semantic web queries, pp. 89\u2013100 (2012)","DOI":"10.1145\/2213556.2213572"},{"issue":"3","key":"23_CR17","doi-asserted-by":"publisher","first-page":"16:1","DOI":"10.1145\/1567274.1567278","volume":"34","author":"J P\u00e9rez","year":"2009","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of SPARQL. ACM Trans. Database Syst. 34(3), 16:1\u201316:45 (2009)","journal-title":"ACM Trans. Database Syst."},{"key":"23_CR18","doi-asserted-by":"crossref","unstructured":"Pichler, R., Skritek, S.: Containment and equivalence of well-designed SPARQL. In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART Symposium on Principles of Database Systems, PODS 2014, pp. 39\u201350. ACM, New York (2014)","DOI":"10.1145\/2594538.2594542"},{"key":"23_CR19","unstructured":"Prud\u2019hommeaux, E.: Shape expressions (ShEx) primer. Technical report, W3C and MIT, February 2017. http:\/\/shexspec.github.io\/primer\/"},{"key":"23_CR20","doi-asserted-by":"crossref","unstructured":"Prud\u2019hommeaux, E., Gayo, J.E.L., Solbrig, H.: Shape expressions: an RDF validation and transformation language. In: Proceedings of the 10th International Conference on Semantic Systems, SEM 2014, pp. 32\u201340. ACM, New York (2014)","DOI":"10.1145\/2660517.2660523"},{"key":"23_CR21","unstructured":"Schreiber, G., Raimond, Y.: RDF 1.1 primer. W3C note, W3C, June 2014. http:\/\/www.w3.org\/TR\/2014\/NOTE-rdf11-primer-20140624\/"},{"key":"23_CR22","unstructured":"Seaborne, A., Harris, S.: SPARQL 1.1 query language. W3C recommendation, W3C, March 2013. http:\/\/www.w3.org\/TR\/2013\/REC-sparql11-query-20130321\/"},{"key":"23_CR23","unstructured":"Staworko, S., Boneva, I., Gayo, J.E.L., Hym, S., Prud\u2019hommeaux, E.G., Solbrig, H.: Complexity and expressiveness of ShEx for RDF. In: Arenas, M., Ugarte, M. (eds.) 18th International Conference on Database Theory (ICDT 2015). Leibniz International Proceedings in Informatics (LIPIcs), vol. 31, pp. 195\u2013211. Dagstuhl, Germany (2015). Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik"},{"issue":"1","key":"23_CR24","first-page":"403","volume":"56","author":"X Zhang","year":"2016","unstructured":"Zhang, X., Van Den Bussche, J., Picalausa, F.: On the satisfiability problem for sparql patterns. J. Artif. Int. Res. 56(1), 403\u2013428 (2016)","journal-title":"J. Artif. Int. Res."}],"container-title":["Lecture Notes in Computer Science","Advances in Databases and Information Systems"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-66917-5_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,13]],"date-time":"2024-03-13T16:14:32Z","timestamp":1710346472000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-66917-5_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319669168","9783319669175"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-66917-5_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"25 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}