{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T09:51:51Z","timestamp":1773481911300,"version":"3.50.1"},"reference-count":51,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2018,5,22]],"date-time":"2018-05-22T00:00:00Z","timestamp":1526947200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J Data Semant"],"published-print":{"date-parts":[[2018,9]]},"DOI":"10.1007\/s13740-018-0087-1","type":"journal-article","created":{"date-parts":[[2018,5,22]],"date-time":"2018-05-22T12:13:34Z","timestamp":1526991214000},"page":"133-154","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":9,"title":["SPARQL Query Containment Under Schema"],"prefix":"10.1007","volume":"7","author":[{"given":"Melisachew Wudage","family":"Chekol","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J\u00e9r\u00f4me","family":"Euzenat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pierre","family":"Genev\u00e8s","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":[[2018,5,22]]},"reference":[{"key":"87_CR1","volume-title":"Foundations of databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul S, Hull R, Vianu V (1995) Foundations of databases, vol 8. Addison-Wesley, Boston"},{"issue":"2","key":"87_CR2","doi-asserted-by":"publisher","first-page":"218","DOI":"10.1137\/0208017","volume":"8","author":"AV Aho","year":"1979","unstructured":"Aho AV, Sagiv Y, Ullman JD (1979) Equivalences among relational expressions. SIAM J Comput 8(2):218\u2013246","journal-title":"SIAM J Comput"},{"issue":"2","key":"87_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/j.websem.2009.02.002","volume":"7","author":"F Alkhateeb","year":"2009","unstructured":"Alkhateeb F, Baget JF, Euzenat J (2009) Extending SPARQL with regular expression patterns (for querying RDF). Web Semant Sci Serv Agents World Wide Web 7(2):57\u201373","journal-title":"Web Semant Sci Serv Agents World Wide Web"},{"key":"87_CR4","doi-asserted-by":"crossref","unstructured":"Angles R, Gutierrez C (2008) The expressive power of SPARQL. In: Proceedings of ISWC. Springer, pp 114\u2013129","DOI":"10.1007\/978-3-540-88564-1_8"},{"key":"87_CR5","doi-asserted-by":"crossref","unstructured":"Baader F, Calvanese D, McGuinness D, Nardi D, Patel-Schneider P (eds) (2007) The description logic handbook: theory, implementation, and applications. Cambridge University Press, Cambridge. ISBN 9780511717383","DOI":"10.1017\/CBO9780511711787"},{"key":"87_CR6","first-page":"82","volume":"2005","author":"JF Baget","year":"2005","unstructured":"Baget JF (2005) RDF entailment as a graph homomorphism. Semant Web-ISWC 2005:82\u201396","journal-title":"Semant Web-ISWC"},{"key":"87_CR7","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1145\/2389241.2389250","volume":"37","author":"P Barcelo","year":"2012","unstructured":"Barcelo P, Libkin L, Lin AW, Wood PT (2012) Expressive languages for path queries over graph-structured data. ACM Trans Database Syst 37:31","journal-title":"ACM Trans Database Syst"},{"key":"87_CR8","unstructured":"Bizer C, Schultz A (2008) Benchmarking the performance of storage systems that expose SPARQL endpoints. In: Proceedings of 4th international workshop on scalable semantic web knowledge base systems (SSWS)"},{"issue":"2","key":"87_CR9","doi-asserted-by":"publisher","first-page":"1","DOI":"10.4018\/jswis.2009040101","volume":"5","author":"C Bizer","year":"2009","unstructured":"Bizer C, Schultz A (2009) The Berlin SPARQL benchmark. Int J Semant Web Inf Syst 5(2):1\u201324","journal-title":"Int J Semant Web Inf Syst"},{"key":"87_CR10","volume-title":"Handbook of modal logic","author":"P Blackburn","year":"2007","unstructured":"Blackburn P, van Benthem JF, Wolter F (2007) Handbook of modal logic, vol 3. Elsevier, New York"},{"key":"87_CR11","unstructured":"Calvanese D, De\u00a0Giacomo G, Lenzerini M, Vardi MY (2000) Containment of conjunctive regular path queries with inverse. In: Proceedings of 7th international conference on the principles of knowledge representation and reasoning (KR 2000), pp 176\u2013185"},{"issue":"4","key":"87_CR12","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/959060.959076","volume":"32","author":"D Calvanese","year":"2003","unstructured":"Calvanese D, De Giacomo G, Lenzerini M, Vardi MY (2003) Reasoning on regular path queries. SIGMOD Rec 32(4):83\u201392","journal-title":"SIGMOD Rec"},{"issue":"3","key":"87_CR13","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1352582.1352590","volume":"9","author":"D Calvanese","year":"2008","unstructured":"Calvanese D, Giacomo GD, Lenzerini M (2008) Conjunctive query containment and answering under description logic constraints. ACM Trans Comput Log 9(3):22","journal-title":"ACM Trans Comput Log"},{"key":"87_CR14","unstructured":"Calvanese D, Ortiz M, Simkus M (2011) Containment of regular path queries under description logic constraints. In: IJCAI proceedings-international joint conference on artificial intelligence, vol 22, p 805"},{"key":"87_CR15","unstructured":"Calvanese D, Rosati R (2003) Answering recursive queries under keys and foreign keys is undecidable. In: Proceedings of 10th international workshop on knowledge representation meets databases (KRDB 2003), vol 79, pp 3\u201314"},{"key":"87_CR16","unstructured":"Chandra AK, Merlin PM (1977) Optimal implementation of conjunctive queries in relational data bases. In: Proceedings of the ninth annual ACM symposium on theory of computing. ACM, pp 77\u201390"},{"key":"87_CR17","unstructured":"Chebotko A, Lu S, Jamil HM, Fotouhi F (2006) Semantics preserving SPARQL-to-SQL query translation for optional graph patterns. Technical report"},{"key":"87_CR18","unstructured":"Chekol MW (2012) Static analysis of semantic web queries. Ph.D. thesis, Universit\u00e9 de Grenoble. Thesis"},{"key":"87_CR19","doi-asserted-by":"crossref","unstructured":"Chekol MW (2016) On the containment of SPARQL queries under entailment regimes. In: Proceedings of the thirtieth AAAI conference on artificial intelligence, February 12\u201317, 2016, Phoenix, Arizona, USA, pp 936\u2013942","DOI":"10.1609\/aaai.v30i1.10093"},{"key":"87_CR20","unstructured":"Chekol MW, Euzenat J, Genev\u00e8s P, Laya\u00efda N (2011) PSPARQL query containment. In: Proceedings of DBPL"},{"key":"87_CR21","doi-asserted-by":"crossref","unstructured":"Chekol MW, Euzenat J, Genev\u00e8s P, Laya\u00efda N (2012) SPARQL query containment under RDFS entailment regime. In: Proceedings of IJCAR, pp 134\u2013148","DOI":"10.1007\/978-3-642-31365-3_13"},{"key":"87_CR22","unstructured":"Chekol MW, Euzenat J, Genev\u00e8s P, Laya\u00efda N (2012) SPARQL query containment under SHI axioms. In: Proceedings of AAAI, pp 10\u201316"},{"key":"87_CR23","first-page":"408","volume":"2","author":"MW Chekol","year":"2013","unstructured":"Chekol MW, Euzenat J, Genev\u00e8s P, Laya\u00efda N (2013) Evaluating and benchmarking SPARQL query containment solvers. Int Semant Web Conf 2:408\u2013423","journal-title":"Int Semant Web Conf"},{"key":"87_CR24","unstructured":"Cyganiak R (2005) A relational algebra for SPARQL. Digital Media Systems Laboratory HP Laboratories Bristol. HPL-2005-170, p 35"},{"key":"87_CR25","doi-asserted-by":"crossref","unstructured":"Florescu D, Levy A, Suciu D (1998) Query containment for conjunctive queries with regular expressions. In: Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on principles of database systems. ACM, pp 139\u2013148","DOI":"10.1145\/275487.275503"},{"issue":"4","key":"87_CR26","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 (2006) A system for the static analysis of XPath. ACM Trans Inf Syst 24(4):475\u2013502","journal-title":"ACM Trans Inf Syst"},{"key":"87_CR27","doi-asserted-by":"crossref","unstructured":"Genev\u00e8s P, Laya\u00efda N, Schmitt A (2007) Efficient static analysis of XML paths and types. In: Proceedings of PLDI. ACM, pp 342\u2013351","DOI":"10.1145\/1250734.1250773"},{"key":"87_CR28","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/978-3-642-23032-5_3","volume-title":"Reasoning web. Semantic technologies for the web of data","author":"B Glimm","year":"2011","unstructured":"Glimm B (2011) Using SPARQL with RDFS and OWL entailment. In: Polleres A et al (eds) Reasoning web. Semantic technologies for the web of data. Springer, Berlin, pp 137\u2013201"},{"key":"87_CR29","doi-asserted-by":"crossref","unstructured":"Groppe J, Groppe S, Kolbaum J (2009) Optimization of SPARQL by using coreSPARQL. In: Proceedings of ICEIS, pp 107\u2013112","DOI":"10.5220\/0001983501070112"},{"key":"87_CR30","doi-asserted-by":"crossref","unstructured":"Gutierrez C, Hurtado C, Mendelzon AO (2004) Foundations of semantic web databases. In: Proceedings of the twenty-third ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems. ACM, pp 95\u2013106","DOI":"10.1145\/1055558.1055573"},{"key":"87_CR31","unstructured":"Hayes P (2004) RDF semantics. W3C Recommendation"},{"key":"87_CR32","unstructured":"Hitzler P, Kr\u00f6tzsch M, Parsia B, Patel-Schneider PF, Rudolph S (2009) OWL 2 web ontology language primer. W3C Recommendation 27(1)"},{"issue":"3","key":"87_CR33","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1145\/211414.211419","volume":"20","author":"YE Ioannidis","year":"1995","unstructured":"Ioannidis YE, Ramakrishnan R (1995) Containment of conjunctive queries: beyond relations as sets. ACM Trans Database Syst 20(3):288\u2013324","journal-title":"ACM Trans Database Syst"},{"issue":"1","key":"87_CR34","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"DS Johnson","year":"1984","unstructured":"Johnson DS, Klug A (1984) Testing containment of conjunctive queries under functional and inclusion dependencies. J Comput Syst Sci 28(1):167\u2013189","journal-title":"J Comput Syst Sci"},{"key":"87_CR35","doi-asserted-by":"crossref","unstructured":"Kostylev EV, Cuenca\u00a0Grau B (2014) On the semantics of SPARQL queries with optional matching under entailment regimes. In: The semantic web ISWC 2014. Lecture notes in computer science, vol 8797. Springer, pp 374\u2013389","DOI":"10.1007\/978-3-319-11915-1_24"},{"key":"87_CR36","doi-asserted-by":"crossref","unstructured":"Kostylev EV, Reutter JL, Romero M, Vrgo\u010d D (2015) SPARQL with property paths. In: International semantic web conference. Springer, pp 3\u201318","DOI":"10.1007\/978-3-319-25007-6_1"},{"issue":"3","key":"87_CR37","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1016\/0304-3975(82)90125-6","volume":"27","author":"D Kozen","year":"1983","unstructured":"Kozen D (1983) Results on the propositional $$\\mu $$ \u03bc -calculus. Theor Comput Sci 27(3):333\u2013354","journal-title":"Theor Comput Sci"},{"key":"87_CR38","doi-asserted-by":"crossref","unstructured":"Letelier A, P\u00e9rez J, Pichler R, Skritek S (2012) Static analysis and optimization of semantic web queries. In: Proceedings of PODS. ACM, pp. 89\u2013100","DOI":"10.1145\/2213556.2213572"},{"key":"87_CR39","unstructured":"Manola F, Miller E (2004) Resource description framework primer. W3C recommendation"},{"key":"87_CR40","unstructured":"Mateescu R, Meriot S, Rampacek S (2009) Extending SPARQL with temporal logic. INRIA Research Report, RR-7056. http:\/\/hal.archives-ouvertes.fr\/inria-00404761\/en\/"},{"key":"87_CR41","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/978-3-540-72667-8_6","volume-title":"The semantic web: research and applications","author":"S Munoz","year":"2007","unstructured":"Munoz S, P\u00e9rez J, Gutierrez C (2007) Minimal deductive systems for RDF. In: Franconi E, Kifer M, May W (eds) The semantic web: research and applications, vol 4519. Springer, Berlin, pp 53\u201367"},{"issue":"3","key":"87_CR42","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1145\/1567274.1567278","volume":"34","author":"J P\u00e9rez","year":"2009","unstructured":"P\u00e9rez J, Arenas M, Gutierrez C (2009) Semantics and complexity of SPARQL. ACM Trans Database Syst 34(3):16","journal-title":"ACM Trans Database Syst"},{"key":"87_CR43","doi-asserted-by":"crossref","unstructured":"Pichler R, Skritek S (2014) Containment and equivalence of well-designed SPARQL. In: Proceedings of the 33rd ACM SIGMOD-SIGACT-SIGART symposium on principles of database systems, ACM, pp 39\u201350","DOI":"10.1145\/2594538.2594542"},{"key":"87_CR44","doi-asserted-by":"crossref","unstructured":"Polleres A (2007) From SPARQL to rules (and back). In: Proceedings of the 16th international conference on World Wide Web. ACM, pp 787\u2013796","DOI":"10.1145\/1242572.1242679"},{"key":"87_CR45","unstructured":"PrudHommeaux E, Seaborne A (2008) SPARQL query language for RDF. W3C recommendation 15"},{"key":"87_CR46","unstructured":"Schmidt M, Hornung T, Lausen G, Pinkel C (2009) SP $$^2$$ 2 Bench: a SPARQL performance benchmark. In: Proceedings of ICDE, pp 222\u2013233"},{"key":"87_CR47","doi-asserted-by":"crossref","unstructured":"Schmidt M, Meier M, Lausen G (2010) Foundations of SPARQL query optimization. In: Proceedings of ICDT. ACM, pp 4\u201333","DOI":"10.1145\/1804669.1804675"},{"key":"87_CR48","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/11574620_44","volume-title":"The semantic web\u2013ISWC 2005. LNCS","author":"G Serfiotis","year":"2005","unstructured":"Serfiotis G, Koffina I, Christophides V, Tannen V (2005) Containment and minimization of RDF\/S query patterns. In: Gil Y, Motta E, Benjamins VR, Musen MA (eds) The semantic web\u2013ISWC 2005. LNCS, vol 3729. Springer, Berlin, pp 607\u2013623"},{"key":"87_CR49","doi-asserted-by":"crossref","unstructured":"Stocker M, Seaborne A, Bernstein A, Kiefer C, Reynolds D (2008) SPARQL basic graph pattern optimization using selectivity estimation. In: Proceedings of WWW conference, pp 595\u2013604","DOI":"10.1145\/1367497.1367578"},{"key":"87_CR50","first-page":"341","volume":"7","author":"Y Tanabe","year":"2008","unstructured":"Tanabe Y, Takahashi K, Hagiya M (2008) A decision procedure for alternation-free modal $$\\mu $$ \u03bc -calculi. Adv Modal Logic 7:341\u2013362","journal-title":"Adv Modal Logic"},{"key":"87_CR51","unstructured":"Tanabe Y, Takahashi K, Yamamoto M, Tozawa A, Hagiya M (2005) A decision procedure for the alternation-free two-way modal $$\\mu $$ \u03bc -calculus. In: TABLEAUX, pp 277\u2013291"}],"container-title":["Journal on Data Semantics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s13740-018-0087-1\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-018-0087-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s13740-018-0087-1.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,8,24]],"date-time":"2022-08-24T00:21:34Z","timestamp":1661300494000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s13740-018-0087-1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,22]]},"references-count":51,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2018,9]]}},"alternative-id":["87"],"URL":"https:\/\/doi.org\/10.1007\/s13740-018-0087-1","relation":{},"ISSN":["1861-2032","1861-2040"],"issn-type":[{"value":"1861-2032","type":"print"},{"value":"1861-2040","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,22]]},"assertion":[{"value":"22 February 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 May 2018","order":2,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 May 2018","order":3,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}