{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,1]],"date-time":"2026-04-01T15:44:48Z","timestamp":1775058288756,"version":"3.50.1"},"reference-count":26,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[2013,4,2]],"date-time":"2013-04-02T00:00:00Z","timestamp":1364860800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[2015,1]]},"DOI":"10.1007\/s10472-013-9346-x","type":"journal-article","created":{"date-parts":[[2013,4,1]],"date-time":"2013-04-01T08:16:36Z","timestamp":1364804196000},"page":"167-203","source":"Crossref","is-referenced-by-count":14,"title":["The impact of transitive closure on the expressiveness of navigational query languages on unlabeled graphs"],"prefix":"10.1007","volume":"73","author":[{"given":"George H. L.","family":"Fletcher","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marc","family":"Gyssens","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Leinders","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Van den Bussche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dirk","family":"Van Gucht","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stijn","family":"Vansummeren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yuqing","family":"Wu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2013,4,2]]},"reference":[{"key":"9346_CR1","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann (1999)"},{"key":"9346_CR2","volume-title":"Foundations of Databases","author":"S Abiteboul","year":"1995","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison Wesley, Reading, MA (1995)"},{"key":"9346_CR3","doi-asserted-by":"crossref","unstructured":"Aho, A.V., Ullman, J.D.: The universality of data retrieval languages. In: POPL, pp. 110\u2013120. ACM (1979)","DOI":"10.1145\/567752.567763"},{"issue":"1","key":"9346_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1322432.1322433","volume":"40","author":"R Angles","year":"2008","unstructured":"Angles, R., Guti\u00e9rrez, C.: Survey of graph database models. ACM Comput. Surv. 40(1), 1\u201339 (2008)","journal-title":"ACM Comput. Surv."},{"key":"9346_CR5","unstructured":"Baader, F., Calvanese, D., McGuiness, D., Nardi, D., Patel-Schneider, P. (eds.): The Description Logic Handbook. Cambridge University Press (2003)"},{"key":"9346_CR6","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Fan, W., Kuper, G.M.: Structural properties of XPath fragments. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT. Lecture Notes in Computer Science, vol. 2572, pp. 79\u201395. Springer (2003)","DOI":"10.1007\/3-540-36285-1_6"},{"issue":"3","key":"9346_CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/jswis.2009081901","volume":"5","author":"C Bizer","year":"2009","unstructured":"Bizer, C., Heath, T., Berners-Lee, T.: Linked data\u2014the story so far. Int. J. Semantic Web Inf. Syst. 5(3), 1\u201322 (2009)","journal-title":"Int. J. Semantic Web Inf. Syst."},{"key":"9346_CR8","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"issue":"2","key":"9346_CR9","doi-asserted-by":"crossref","first-page":"19","DOI":"10.1145\/1328854.1328858","volume":"36","author":"B Cate ten","year":"2007","unstructured":"ten Cate, B., Marx, M.: Navigational XPath: calculus and algebra. SIGMOD Rec. 36(2), 19\u201326 (2007)","journal-title":"SIGMOD Rec."},{"key":"9346_CR10","doi-asserted-by":"crossref","unstructured":"Fletcher, G.H.L., Gyssens, M., Leinders, D., Van den Bussche, J., Van Gucht, D., Vansummeren, S., Wu, Y.: The impact of transitive closure on the boolean expressiveness of navigational query languages on graphs. In: Lukasiewicz, T., Sali, A. (eds.) FoIKS. Lecture Notes in Computer Science, vol. 7153, pp. 124\u2013143. Springer (2012)","DOI":"10.1007\/978-3-642-28472-4_8"},{"key":"9346_CR11","doi-asserted-by":"crossref","unstructured":"Fletcher, G.H.L., Gyssens, M., Leinders, D., Van den Bussche, J., Van Gucht, D., Vansummeren, S., Wu, Y.: Relative expressive power of navigational querying on graphs. In: Milo, T. (ed.) ICDT, pp. 197\u2013207. ACM (2011)","DOI":"10.1145\/1938551.1938578"},{"issue":"3","key":"9346_CR12","doi-asserted-by":"crossref","first-page":"59","DOI":"10.1145\/290593.290605","volume":"27","author":"D Florescu","year":"1998","unstructured":"Florescu, D., Levy, A., Mendelzon, A.: Database techniques for the World-Wide Web: a survey. SIGMOD Rec. 27(3), 59\u201374 (1998)","journal-title":"SIGMOD Rec."},{"issue":"4","key":"9346_CR13","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1145\/1107499.1107502","volume":"34","author":"MJ Franklin","year":"2005","unstructured":"Franklin, M.J., Halevy, A.Y., Maier, D.: From databases to dataspaces: a new abstraction for information management. SIGMOD Rec. 34(4), 27\u201333 (2005)","journal-title":"SIGMOD Rec."},{"key":"9346_CR14","doi-asserted-by":"crossref","unstructured":"Gyssens, M., Paredaens, J., Van Gucht, D., Fletcher, G.H.L.: Structural characterizations of the semantics of XPath as navigation tool on a document. In: Vansummeren, S. (ed.) PODS, pp. 318\u2013327. ACM (2006)","DOI":"10.1145\/1142351.1142397"},{"key":"9346_CR15","doi-asserted-by":"crossref","unstructured":"Harel, D., Kozen, D., Tiuryn, J.: Dynamic Logic. MIT Press (2000)","DOI":"10.7551\/mitpress\/2516.001.0001"},{"key":"9346_CR16","doi-asserted-by":"crossref","unstructured":"Heath, T., Bizer, C.: Linked data: evolving the web into a global data space. In: Synthesis Lectures on the Semantic Web: Theory and Technology, vol.\u00a01, 1st edn. Morgan & Claypool Publishers (2011)","DOI":"10.2200\/S00334ED1V01Y201102WBE001"},{"key":"9346_CR17","unstructured":"Maddux, R.D.: Relation Algebras. Elsevier, Amsterdam (2006)"},{"key":"9346_CR18","doi-asserted-by":"crossref","unstructured":"Mamoulis, N.: Efficient processing of joins on set-valued attributes. In: Halevy, A.Y., Ives, Z.G., Doan, A. (eds.) SIGMOD Conference, pp. 157\u2013168. ACM (2003)","DOI":"10.1145\/872773.872778"},{"issue":"4","key":"9346_CR19","doi-asserted-by":"crossref","first-page":"929","DOI":"10.1145\/1114244.1114247","volume":"30","author":"M Marx","year":"2005","unstructured":"Marx, M.: Conditional XPath. ACM Trans. Database Syst. 30(4), 929\u2013959 (2005)","journal-title":"ACM Trans. Database Syst."},{"issue":"2","key":"9346_CR20","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1145\/1083784.1083792","volume":"34","author":"M Marx","year":"2005","unstructured":"Marx, M., de\u00a0Rijke, M.: Semantic characterizations of navigational XPath. SIGMOD Rec. 34(2), 41\u201346 (2005)","journal-title":"SIGMOD Rec."},{"key":"9346_CR21","doi-asserted-by":"crossref","unstructured":"Marx, M., Venema, Y.: Multi-Dimensional Modal Logic. Springer (1997)","DOI":"10.1007\/978-94-011-5694-3"},{"key":"9346_CR22","doi-asserted-by":"crossref","unstructured":"Pratt, V.R.: Origins of the calculus of binary relations. In: LICS, pp. 248\u2013254. IEEE Computer Society (1992)","DOI":"10.1109\/LICS.1992.185537"},{"key":"9346_CR23","unstructured":"RDF primer (2004). http:\/\/www.w3.org\/TR\/rdf-primer"},{"issue":"3","key":"9346_CR24","doi-asserted-by":"crossref","first-page":"73","DOI":"10.2307\/2268577","volume":"6","author":"A Tarski","year":"1941","unstructured":"Tarski, A.: On the calculus of relations. J. Symb. Log. 6(3), 73\u201389 (1941)","journal-title":"J. Symb. Log."},{"key":"9346_CR25","doi-asserted-by":"crossref","unstructured":"Tarski, A., Givant, S.: Formalization of Set Theory without Variables. American Mathematical Society (1987)","DOI":"10.1090\/coll\/041"},{"issue":"7","key":"9346_CR26","doi-asserted-by":"crossref","first-page":"1091","DOI":"10.1093\/comjnl\/bxq055","volume":"54","author":"Y Wu","year":"2011","unstructured":"Wu, Y., Van Gucht, D., Gyssens, M., Paredaens, J.: A study of a positive fragment of Path queries: Expressiveness, normal form and minimization. Comput. J. 54(7), 1091\u20131118 (2011)","journal-title":"Comput. J."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9346-x.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10472-013-9346-x\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10472-013-9346-x","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T02:44:46Z","timestamp":1745981086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10472-013-9346-x"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013,4,2]]},"references-count":26,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[2015,1]]}},"alternative-id":["9346"],"URL":"https:\/\/doi.org\/10.1007\/s10472-013-9346-x","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013,4,2]]}}}