{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,8]],"date-time":"2026-05-08T04:38:22Z","timestamp":1778215102670,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642043284","type":"print"},{"value":"9783642043291","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,12,1]],"date-time":"2009-12-01T00:00:00Z","timestamp":1259625600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-04329-1_15","type":"book-chapter","created":{"date-parts":[[2009,11,30]],"date-time":"2009-11-30T19:06:21Z","timestamp":1259607981000},"page":"341-370","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["SPARQLog: SPARQL with Rules and Quantification"],"prefix":"10.1007","author":[{"given":"Fran\u00e7ois","family":"Bry","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tim","family":"Furche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Marnette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Clemens","family":"Ley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benedikt","family":"Linse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Olga","family":"Poppe","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,12,1]]},"reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-28347-1_2","volume-title":"Semantic Web and Peer-to-Peer","author":"J. Broekstra","year":"2006","unstructured":"Broekstra, J., Kampman, A.: An rdf query and transformation language. In: Semantic Web and Peer-to-Peer, pp. 23\u201339. Springer, Berlin (2006)"},{"key":"15_CR2","unstructured":"Bry, F., Furche, T., Ley, C., Linse, B., Marnette, B.: Rdflog: It\u2019s like datalog for rdf. In: Proc. Workshop on (Constraint) Logic Programming (WLP) (2008)"},{"key":"15_CR3","doi-asserted-by":"crossref","unstructured":"Bry, F., Furche, T., Ley, C., Linse, B., Marnette, B.: Taming existence in rdf querying. In: Proc. Int\u2019l. Conf. on Web Reasoning and Rule Systems (RR) (2008)","DOI":"10.1007\/978-3-540-88737-9_22"},{"key":"15_CR4","first-page":"149","volume-title":"Proc. ACM Symp. on Principles of Database Systems (PODS)","author":"A. Deutsch","year":"2008","unstructured":"Deutsch, A., Nash, A., Remmel, J.: The chase revisited. In: Proc. ACM Symp. on Principles of Database Systems (PODS), pp. 149\u2013158. ACM, New York (2008)"},{"key":"15_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4757-2355-7","volume-title":"Mathematical Logic","author":"H.D. Ebbinghaus","year":"1994","unstructured":"Ebbinghaus, H.D., Flum, J., Thomas, W.: Mathematical Logic. Springer, Berlin (1994)"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data exchange: Semantics and query answering. In: Proc. Int\u2019l. Conf. on Database Theory (ICDT), pp. 207\u2013224 (2003)","DOI":"10.1007\/3-540-36285-1_14"},{"issue":"1","key":"15_CR7","doi-asserted-by":"publisher","first-page":"174","DOI":"10.1145\/1061318.1061323","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L.: Data exchange: Getting to the core. ACM Trans. Database Syst. 30(1), 174\u2013210 (2005)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"15_CR8","doi-asserted-by":"publisher","first-page":"994","DOI":"10.1145\/1114244.1114249","volume":"30","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Popa, L., Tan, W.C.: Composing schema mappings: Second-order dependencies to the rescue. ACM Trans. Database Syst. 30(4), 994\u20131055 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"15_CR9","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Tutorial Lectures Int\u2019l. Summer School \u2018Reasoning Web\u2019","author":"T. Furche","year":"2006","unstructured":"Furche, T., Linse, B., Bry, F., Plexousakis, D., Gottlob, G.: RDF querying: language constructs and evaluation methods compared. In: Tutorial Lectures Int\u2019l. Summer School \u2018Reasoning Web\u2019. Lecture Notes in Computer Science, vol. 4126, pp. 1\u201352. Springer, Berlin (2006). 19 citations [Google Scholar]"},{"key":"15_CR10","first-page":"95","volume-title":"Proc. ACM Symp. on Principles of Database Systems (PODS)","author":"C. Gutierrez","year":"2004","unstructured":"Gutierrez, C., Hurtado, C., Mendelzon, A.O.: Foundations of Semantic Web databases. In: Proc. ACM Symp. on Principles of Database Systems (PODS), pp. 95\u2013106. ACM, New York (2004)"},{"key":"15_CR11","unstructured":"Hayes, P., McBride, B.: Rdf semantics. Recommendation, W3C (2004)"},{"key":"15_CR12","first-page":"592","volume-title":"Proc. Int\u2019l. World Wide Web Conf. (WWW)","author":"G. Karvounarakis","year":"2002","unstructured":"Karvounarakis, G., Alexaki, S., Christophides, V., Plexousakis, D., Scholl, M.: Rql: a\u00a0declarative query language for rdf. In: Proc. Int\u2019l. World Wide Web Conf. (WWW), pp. 592\u2013603. ACM, New York (2002)"},{"key":"15_CR13","volume-title":"Proc. ACM Symp. on Management of Data (SIGMOD)","author":"B. Marnette","year":"2009","unstructured":"Marnette, B.: Generalized schema-mappings: From termination to tractability. In: Proc. ACM Symp. on Management of Data (SIGMOD). ACM, New York (2009)"},{"key":"15_CR14","unstructured":"Meier, M., Schmidt, M., Lausen, G.: Stop the chase. CoRR (2009). arXiv:0901.3984"},{"key":"15_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"53","DOI":"10.1007\/978-3-540-72667-8_6","volume-title":"Proc. European Semantic Web Conf. (ESWC)","author":"S. Mu\u00f1oz","year":"2007","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Gutierrez, C.: Minimal deductive systems for rdf. In: Proc. European Semantic Web Conf. (ESWC). Lecture Notes in Computer Science, vol. 4519, pp. 53\u201367. Springer, Berlin (2007)"},{"key":"15_CR16","unstructured":"Noy, N., Rector, A., Hayes, P., Welty, C.: Defining n-ary relations on the Semantic Web. Working group note, W3C (2006)"},{"key":"15_CR17","unstructured":"Oetsch, J., Tompits, H., Woltran, S.: Facts do not cease to exist because they are ignored: Relativised uniform equivalence with answer-set projection. In: Proc. Nat\u2019l. Conf. on Artificial Intelligence (AAAI), pp. 458\u2013464 (2007)"},{"key":"15_CR18","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1145\/1242572.1242679","volume-title":"Proc. Int\u2019l. World Wide Web Conf. (WWW)","author":"A. Polleres","year":"2007","unstructured":"Polleres, A.: From sparql to rules (and back). In: Proc. Int\u2019l. World Wide Web Conf. (WWW), pp. 787\u2013796. ACM, New York (2007)"},{"key":"15_CR19","unstructured":"Prud\u2019hommeaux, E., Seaborne, A.: SPARQL Query Language for RDF. Proposed Recommendation, W3C (2007)"},{"key":"15_CR20","doi-asserted-by":"crossref","unstructured":"Rosati, R.: The limits and possibilities of combining description logics and datalog. In: Proc. Int. Conf. on Rule Markup Languages (RuleML), pp. 3\u20134 (2006)","DOI":"10.1109\/RULEML.2006.22"},{"key":"15_CR21","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1145\/1367497.1367577","volume-title":"Proc. Int\u2019l. World Wide Web Conf. (WWW)","author":"S. Schenk","year":"2008","unstructured":"Schenk, S., Staab, S.: Networked graphs: a declarative mechanism for sparql rules, sparql views and rdf data integration on the web. In: Proc. Int\u2019l. World Wide Web Conf. (WWW), pp. 585\u2013594. ACM, New York (2008)"},{"key":"15_CR22","unstructured":"Schmidt, M., Meier, M., Lausen, G.: Foundations of sparql query optimization. CoRR (2008). arXiv:0812.3788"},{"key":"15_CR23","doi-asserted-by":"crossref","unstructured":"Sintek, M., Decker, S.: Triple\u2014a\u00a0query, inference, and transformation language for the Semantic Web. In: Proc. Int\u2019l. Semantic Web Conf. (ISWC) (2002)","DOI":"10.1007\/3-540-48005-6_28"},{"key":"15_CR24","doi-asserted-by":"crossref","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. In: Web Semantics: Science, Services and Agents on the World Wide Web3 (2005)","DOI":"10.2139\/ssrn.3199251"},{"key":"15_CR25","first-page":"69","volume":"1","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the Semantic Web. J.\u00a0Data Semant. 1, 69\u201397 (2003)","journal-title":"J.\u00a0Data Semant."}],"container-title":["Semantic Web Information Management"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-04329-1_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T02:43:09Z","timestamp":1676688189000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-04329-1_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,12,1]]},"ISBN":["9783642043284","9783642043291"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04329-1_15","relation":{},"subject":[],"published":{"date-parts":[[2009,12,1]]},"assertion":[{"value":"1 December 2009","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}