{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:15:48Z","timestamp":1725531348070},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006746"},{"type":"electronic","value":"9783642006753"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-00675-3_8","type":"book-chapter","created":{"date-parts":[[2009,4,20]],"date-time":"2009-04-20T07:02:24Z","timestamp":1240210944000},"page":"117-135","source":"Crossref","is-referenced-by-count":3,"title":["Integrating XQuery and Logic Programming"],"prefix":"10.1007","author":[{"given":"Jes\u00fas M.","family":"Almendros-Jim\u00e9nez","sequence":"first","affiliation":[]},{"given":"Antonio","family":"Becerra-Ter\u00f3n","sequence":"additional","affiliation":[]},{"given":"Francisco J.","family":"Enciso-Ba\u00f1os","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"11","key":"8_CR1","first-page":"1651","volume":"12","author":"J.M. Almendros-Jim\u00e9nez","year":"2006","unstructured":"Almendros-Jim\u00e9nez, J.M., Becerra-Ter\u00f3n, A., Enciso-Ba\u00f1os, F.J.: Magic sets for the XPath language. Journal of Universal Computer Science\u00a012(11), 1651\u20131678 (2006)","journal-title":"Journal of Universal Computer Science"},{"issue":"3","key":"8_CR2","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1017\/S1471068407003183","volume":"8","author":"J.M. Almendros-Jim\u00e9nez","year":"2008","unstructured":"Almendros-Jim\u00e9nez, J.M., Becerra-Ter\u00f3n, A., Enciso-Ba\u00f1os, F.J.: Querying XML documents in logic programming. Theory and Practice of Logic Programming\u00a08(3), 323\u2013361 (2008)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-540-24836-1_6","volume-title":"Practical Aspects of Declarative Languages","author":"F. Atanassow","year":"2004","unstructured":"Atanassow, F., Clarke, D., Jeuring, J.: UUXML: A Type-Preserving XML Schema Haskell Data Binding. In: Jayaraman, B. (ed.) PADL 2004. LNCS, vol.\u00a03057, pp. 71\u201385. Springer, Heidelberg (2004)"},{"key":"8_CR4","doi-asserted-by":"crossref","unstructured":"Almendros-Jim\u00e9nez, J.M.: An RDF Query Language based on Logic Programming. In: Proceedings of the 3rd Int\u2019l. Workshop on Automated Specification and Verification of Web Systems. Electronic Notes on Theoretical Computer Science, vol.\u00a0200, pp. 67\u201385 (2008)","DOI":"10.1016\/j.entcs.2008.04.093"},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11526988_3","volume-title":"Reasoning Web","author":"J. Bailey","year":"2005","unstructured":"Bailey, J., Bry, F., Furche, T., Schaffert, S.: Web and Semantic Web Query Languages: A Survey. In: Eisinger, N., Ma\u0142uszy\u0144ski, J. (eds.) Reasoning Web. LNCS, vol.\u00a03564, pp. 35\u2013133. Springer, Heidelberg (2005)"},{"key":"8_CR6","first-page":"51","volume-title":"Proc. of the ACM SIGPLAN International Conference on Functional Programming","author":"V. Benzaken","year":"2005","unstructured":"Benzaken, V., Castagna, G., Frish, A.: CDuce: an XML-centric general-purpose language. In: Proc. of the ACM SIGPLAN International Conference on Functional Programming, pp. 51\u201363. ACM Press, New York (2005)"},{"key":"8_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-540-30557-6_18","volume-title":"Practical Aspects of Declarative Languages","author":"V. Benzaken","year":"2005","unstructured":"Benzaken, V., Castagna, G., Miachon, C.: A full pattern-based paradigm for XML query processing. In: Hermenegildo, M.V., Cabeza, D. (eds.) PADL 2004. LNCS, vol.\u00a03350, pp. 235\u2013252. Springer, Heidelberg (2005)"},{"key":"8_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"548","DOI":"10.1007\/3-540-45653-8_38","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"R. Baumgartner","year":"2001","unstructured":"Baumgartner, R., Flesca, S., Gottlob, G.: The elog web extraction language. In: Nieuwenhuis, R., Voronkov, A. (eds.) LPAR 2001. LNCS, vol.\u00a02250, pp. 548\u2013560. Springer, Heidelberg (2001)"},{"key":"8_CR9","first-page":"1322","volume-title":"Proc. of the International Conference on Very Large Databases","author":"P.A. Boncz","year":"2005","unstructured":"Boncz, P.A., Grust, T., van Keulen, M., Manegold, S., Rittinger, J., Teubner, J.: Pathfinder: XQuery - The Relational Way. In: Proc. of the International Conference on Very Large Databases, pp. 1322\u20131325. ACM Press, New York (2005)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendler, J., Lassila, O.: The Semantic Web \u2013 A new form of Web content that is meaningful to computers will unleash a revolution of new possibilities. In: Scientific American, 36 pages (May 2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"8_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/3-540-45408-X_21","volume-title":"Advances in Artificial Intelligence. PRICAI 2000 Workshop Reader","author":"H. Boley","year":"2001","unstructured":"Boley, H.: Relationships Between Logic Programming and RDF. In: Kowalczyk, R., et al. (eds.) PRICAI-WS 2000. LNCS, vol.\u00a02112, pp. 201\u2013218. Springer, Heidelberg (2001)"},{"key":"8_CR12","unstructured":"Boley, H.: Relationships between logic programming and XML. In: Proc. of the Workshop on Logic Programming, pp. 19\u201334, W\u00fcrzburg, Germany (2000) (GMD Report 90)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1007\/3-540-36524-9_2","volume-title":"Web Knowledge Management and Decision Support","author":"H. Boley","year":"2003","unstructured":"Boley, H.: The rule markup language: RDF-XML data model, XML schema hierarchy, and XSL transformations. In: Bartenstein, O., Geske, U., Hannebauer, M., Yoshie, O. (eds.) INAP 2001. LNCS, vol.\u00a02543, pp. 124\u2013139. Springer, Heidelberg (2003)"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"295","DOI":"10.1007\/3-540-36560-5_22","volume-title":"Web, Web-Services, and Database Systems","author":"F. Bry","year":"2003","unstructured":"Bry, F., Schaffert, S.: The XML Query Language Xcerpt: Design Principles, Examples, and Semantics. In: Chaudhri, A.B., et al. (eds.) NODe-WS 2002. LNCS, vol.\u00a02593, pp. 295\u2013310. Springer, Heidelberg (2003)"},{"key":"8_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/3-540-45619-8_18","volume-title":"Logic Programming","author":"F. Bry","year":"2002","unstructured":"Bry, F., Schaffert, S.: Towards a Declarative Query and Transformation Language for XML and Semistructured Data: Simulation Unification. In: Stuckey, P.J. (ed.) ICLP 2002. LNCS, vol.\u00a02401, pp. 255\u2013270. Springer, Heidelberg (2002)"},{"key":"8_CR16","volume-title":"XQuery from the Experts","author":"D. Chamberlin","year":"2004","unstructured":"Chamberlin, D., Draper, D., Fern\u00e1ndez, M., Kay, M., Robie, J., Rys, M., Simeon, J., Tivy, J., Wadler, P.: XQuery from the Experts. Addison-Wesley, Reading (2004)"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/3-540-36388-2_19","volume-title":"Practical Aspects of Declarative Languages","author":"J. Coelho","year":"2002","unstructured":"Coelho, J., Florido, M.: Type-based XML Processing in Logic Programming. In: Dahl, V., Wadler, P. (eds.) PADL 2003. LNCS, vol.\u00a02562, pp. 273\u2013285. Springer, Heidelberg (2002)"},{"key":"8_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1098","DOI":"10.1007\/978-3-540-30469-2_17","volume-title":"On the Move to Meaningful Internet Systems 2004: CoopIS, DOA, and ODBASE","author":"J. Coelho","year":"2004","unstructured":"Coelho, J., Florido, M.: CLP(Flex): Constraint logic programming applied to XML processing. In: Meersman, R., Tari, Z. (eds.) OTM 2004. LNCS, vol.\u00a03291, pp. 1098\u20131112. Springer, Heidelberg (2004)"},{"key":"8_CR19","first-page":"1","volume-title":"WIDM 2007: Proceedings of the 9th annual ACM international workshop on Web information and data management","author":"J. Coelho","year":"2007","unstructured":"Coelho, J., Florido, M.: XCentric: logic programming for XML processing. In: WIDM 2007: Proceedings of the 9th annual ACM international workshop on Web information and data management, pp. 1\u20138. ACM Press, New York (2007)"},{"issue":"3","key":"8_CR20","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1017\/S147106840100117X","volume":"1","author":"D. Cabeza","year":"2001","unstructured":"Cabeza, D., Hermenegildo, M.: Distributed WWW Programming using (Ciao-)Prolog and the PiLLoW Library. Theory and Practice of Logic Programming\u00a01(3), 251\u2013282 (2001)","journal-title":"Theory and Practice of Logic Programming"},{"issue":"4","key":"8_CR21","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1147\/sj.414.0597","volume":"41","author":"D. Chamberlin","year":"2002","unstructured":"Chamberlin, D.: XQuery: An XML Query Language. IBM Systems Journal\u00a041(4), 597\u2013615 (2002)","journal-title":"IBM Systems Journal"},{"issue":"2","key":"8_CR22","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1145\/767193.767195","volume":"3","author":"H. Hosoya","year":"2003","unstructured":"Hosoya, H., Pierce, B.C.: XDuce: A Statically Typed XML Processing Language. ACM Transactions on Internet Technology\u00a03(2), 117\u2013148 (2003)","journal-title":"ACM Transactions on Internet Technology"},{"issue":"3","key":"8_CR23","doi-asserted-by":"publisher","first-page":"239","DOI":"10.1017\/S147106840300187X","volume":"4","author":"W. May","year":"2004","unstructured":"May, W.: XPath-Logic and XPathLog: A Logic-Programming Style XML Data Manipulation Language. Theory and Practice of Logic Programming\u00a04(3), 239\u2013287 (2004)","journal-title":"Theory and Practice of Logic Programming"},{"key":"8_CR24","first-page":"213","volume-title":"Proc. of International Conference on Very Large Databases","author":"A. Marian","year":"2003","unstructured":"Marian, A., Simeon, J.: Projecting XML Documents. In: Proc. of International Conference on Very Large Databases, Burlington, USA, pp. 213\u2013224. Morgan Kaufmann, San Francisco (2003)"},{"key":"8_CR25","first-page":"903","volume-title":"Proc. of the ACM SIGMOD Conference","author":"P. O\u2019Neil","year":"2004","unstructured":"O\u2019Neil, P., O\u2019Neil, E., Pal, S., Cseri, I., Schaller, G., Westbury, N.: OrdPaths: Insert-friendly XML Node Labels. In: Proc. of the ACM SIGMOD Conference, pp. 903\u2013908. ACM Press, New York (2004)"},{"key":"8_CR26","unstructured":"Schaffert, S., Bry, F.: A Gentle Introduction to Xcerpt, a Rule-based Query and Transformation Language for XML. In: Proc. of International Workshop on Rule Markup Languages for Business Rules on the Semantic Web, Aachen, Germany, CEUR Workshop Proceedings 60, 22 pages (2002)"},{"key":"8_CR27","unstructured":"Seipel, D.: Processing XML-Documents in Prolog. In: Procs. of the Workshop on Logic Programming, 15 pages, Dresden, Germany, Technische Universit\u00e4t Dresden (2002)"},{"issue":"4&5","key":"8_CR28","doi-asserted-by":"crossref","first-page":"435","DOI":"10.1017\/S0956796802004392","volume":"12","author":"P. Thiemann","year":"2002","unstructured":"Thiemann, P.: A typed representation for HTML and XML documents in Haskell. Journal of Functional Programming\u00a012(4&5), 435\u2013468 (2002)","journal-title":"Journal of Functional Programming"},{"key":"8_CR29","first-page":"204","volume-title":"Proc. of the ACM SIGMOD Conference","author":"I. Tatarinov","year":"2002","unstructured":"Tatarinov, I., Viglas, S.D., Beyer, K., Shanmugasundaram, J., Shekita, E., Zhang, C.: Storing and Querying Ordered XML using a Relational Database System. In: Proc. of the ACM SIGMOD Conference, pp. 204\u2013215. ACM Press, New York (2002)"},{"key":"8_CR30","unstructured":"W3C. XML Path Language (XPath) 2.0. Technical report (2007), http:\/\/www.w3.org\/TR\/xpath"},{"key":"8_CR31","unstructured":"W3C. XML Query Working Group and XSL Working Group, XQuery 1.0: An XML Query Language. Technical report (2007), http:\/\/www.w3.org"},{"key":"8_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"188","DOI":"10.1007\/978-3-540-44833-4_7","volume-title":"Advanced Functional Programming","author":"P. Wadler","year":"2003","unstructured":"Wadler, P.: XQuery: A Typed Functional Language for Querying XML. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol.\u00a02638, pp. 188\u2013212. Springer, Heidelberg (2003)"},{"key":"8_CR33","unstructured":"Wielemaker, J.: SWI-Prolog SGML\/XML Parser, Version 2.0.5. Technical report, Human Computer-Studies (HCS), University of Amsterdam (March 2005)"},{"key":"8_CR34","unstructured":"Wolz, R.: Web Ontology Reasoning with Logic Databases. PhD thesis, Universit\u00e4t Fridericiana zu Karlsruhe (2004)"},{"key":"8_CR35","first-page":"148","volume-title":"Proceedings of the International Conference on Functional Programming","author":"M. Wallace","year":"1999","unstructured":"Wallace, M., Runciman, C.: Haskell and XML: Generic combinators or type-based translation? In: Proceedings of the International Conference on Functional Programming, pp. 148\u2013159. ACM Press, New York (1999)"},{"key":"8_CR36","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"644","DOI":"10.1007\/978-3-540-39718-2_41","volume-title":"The Semantic Web - ISWC 2003","author":"J. Wielemaker","year":"2003","unstructured":"Wielemaker, J., Schreiber, G., Wielinga, B.J.: Prolog-Based Infrastructure for RDF: Scalability and Performance. In: Fensel, D., Sycara, K.P., Mylopoulos, J. (eds.) ISWC 2003. LNCS, vol.\u00a02870, pp. 644\u2013658. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Applications of Declarative Programming and Knowledge Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00675-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,19]],"date-time":"2019-05-19T11:43:26Z","timestamp":1558266206000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00675-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006746","9783642006753"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00675-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}