{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T04:11:29Z","timestamp":1742443889741,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":130,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642242052"},{"type":"electronic","value":"9783642242069"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-24206-9_19","type":"book-chapter","created":{"date-parts":[[2012,1,27]],"date-time":"2012-01-27T08:23:02Z","timestamp":1327652582000},"page":"321-350","source":"Crossref","is-referenced-by-count":3,"title":["Datalog Relaunched: Simulation Unification and Value Invention"],"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":"Clemens","family":"Ley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno","family":"Marnette","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benedikt","family":"Linse","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sebastian","family":"Schaffert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","volume-title":"Data on the Web: From Relations to Semistructured Data and XML","author":"S. Abiteboul","year":"1999","unstructured":"Abiteboul, S., Buneman, P., Suciu, D.: Data on the Web: From Relations to Semistructured Data and XML. Morgan Kaufmann, San Francisco (1999)"},{"issue":"1","key":"19_CR2","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/s007990050001","volume":"1","author":"S. Abiteboul","year":"1997","unstructured":"Abiteboul, S., Quass, D., McHugh, J., Widom, J., Wiener, J.L.: The Lorel Query Language for Semistructured Data. Int. J. on Digital Libraries\u00a01(1), 68\u201388 (1997)","journal-title":"Int. J. on Digital Libraries"},{"key":"19_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Vianu, V.: Regular Path Queries with Constraints. In: PODS, pp. 122\u2013133 (1997)","DOI":"10.1145\/263661.263676"},{"issue":"3","key":"19_CR4","first-page":"161","volume":"12","author":"D.E. Appelt","year":"1999","unstructured":"Appelt, D.E.: Introduction to Information Extraction. AI Commun.\u00a012(3), 161\u2013172 (1999)","journal-title":"AI Commun."},{"key":"19_CR5","first-page":"24","volume-title":"ICDE","author":"G.O. Arocena","year":"1998","unstructured":"Arocena, G.O., Mendelzon, A.O.: WebOQL: Restructuring Documents, Databases, and Webs. In: ICDE, pp. 24\u201333. IEEE Computer Society, Los Alamitos (1998)"},{"key":"19_CR6","first-page":"417","volume-title":"Unification","author":"F. Baader","year":"1989","unstructured":"Baader, F.: Unification in Commutative Theories. In: Unification, pp. 417\u2013435. Academic Press, London (1989)"},{"key":"19_CR7","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":"19_CR8","first-page":"1","volume-title":"PODS","author":"F. Bancilhon","year":"1986","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: PODS, pp. 1\u201315. ACM, New York (1986)"},{"key":"19_CR9","series-title":"Lecture Notes in Computer Science","volume-title":"Reasoning Web","year":"2006","unstructured":"Barahona, P., Bry, F., Franconi, E., Henze, N., Sattler, U. (eds.): Reasoning Web 2006. LNCS, vol.\u00a04126. Springer, Heidelberg (2006)"},{"key":"19_CR10","unstructured":"Baru, C., Lud\u00e4scher, B., Papakonstantinou, Y., Velikhov, P., Vianu, V.: Features and Requirements for an XML View Definition Language: Lessons from XML Information Mediation. In: QL 1998, W3C (1998)"},{"key":"19_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-540-30504-0_6","volume-title":"Rules and Rule Markup Languages for the Semantic Web","author":"N. Bassiliades","year":"2004","unstructured":"Bassiliades, N., Vlahavas, I.P.: R-DEVICE: A Deductive RDF Rule Language. In: Antoniou, G., Boley, H. (eds.) RuleML 2004. LNCS, vol.\u00a03323, pp. 65\u201380. Springer, Heidelberg (2004)"},{"key":"19_CR12","series-title":"Lecture Notes in Artificial Intelligence","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 (LNAI), vol.\u00a02250, pp. 548\u2013560. Springer, Heidelberg (2001)"},{"key":"19_CR13","first-page":"119","volume-title":"VLDB","author":"R. Baumgartner","year":"2001","unstructured":"Baumgartner, R., Flesca, S., Gottlob, G.: Visual Web Information Extraction with Lixto. In: Apers, P.M.G., Atzeni, P., Ceri, S., Paraboschi, S., Ramamohanarao, K., Snodgrass, R.T. (eds.) VLDB, pp. 119\u2013128. Morgan Kaufmann, San Francisco (2001)"},{"key":"19_CR14","first-page":"269","volume-title":"PODS","author":"C. Beeri","year":"1987","unstructured":"Beeri, C., Ramakrishnan, R.: On the Power of Magic. In: PODS, pp. 269\u2013284. ACM, New York (1987)"},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Belleghem, K.V., Denecker, M., Schreye, D.D.: A Strong Correspondence between Description Logics and Open Logic Programming. In: ICLP, pp. 346\u2013360 (1997)","DOI":"10.7551\/mitpress\/4299.003.0030"},{"key":"19_CR16","doi-asserted-by":"crossref","unstructured":"Benedikt, M., Koch, C.: Xpath leashed (2007)","DOI":"10.1145\/1456650.1456653"},{"key":"19_CR17","unstructured":"Berglund, A., Boag, S., Chamberlin, D., Fern\u00e0ndez, M.F., Kay, M., Robie, J., Sim\u00e9on, J. (eds.): XML Path Language (XPath) Version 2.0. Recommendation. W3C (2007)"},{"key":"19_CR18","unstructured":"Berlea, A., Seidl, H.: fxt \u2013 A Transformation Language for XML Documents. J. of Computing and Information Technology (CIT), Special Issue on Domain-Specific Languages (2001)"},{"key":"19_CR19","unstructured":"Boag, S., Chamberlin, D., Ferna\u00e0ndez, M.F., Robie, J., Sim\u00e9on, J. (eds.): XQuery 1.0: An XML Query Language. Recommendation. W3C (2007)"},{"key":"19_CR20","unstructured":"Boley, H.: Relationships Between Logic Programming and XML. In: Proc. 14th Workshop Logische Programmierung, W\u00fcrzburg (January 2000)"},{"key":"19_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11853107_1","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"H. Boley","year":"2006","unstructured":"Boley, H.: The RuleML Family of Web Rule Languages. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol.\u00a04187, pp. 1\u201317. Springer, Heidelberg (2006)"},{"key":"19_CR22","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/978-3-540-75975-1_2","volume-title":"Advances in Rule Interchange and Applications","author":"H. Boley","year":"2007","unstructured":"Boley, H.: Are Your Rules Online? Four Web Rule Essentials. In: Paschke, A., Biletskiy, Y. (eds.) RuleML 2007. LNCS, vol.\u00a04824, pp. 7\u201324. Springer, Heidelberg (2007)"},{"key":"19_CR23","unstructured":"Boley, H., Halmark, G., Kifer, M., Paschke, A., Polleres, A., Reynolds, D. (eds.): RIF Core Dialect. W3C Recommendation. World Wide Web Consortium, W3C (2010)"},{"key":"19_CR24","unstructured":"Boley, H., Kifer, M. (eds.): RIF Basic Logic Dialect. W3C Recommendation. World Wide Web Consortium, W3C (2010)"},{"key":"19_CR25","unstructured":"Boley, H., Kifer, M. (eds.): RIF Framework for Logic Dialects. W3C Recommendation. World Wide Web Consortium, W3C (2010)"},{"key":"19_CR26","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-540-74615-7_5","volume-title":"Reasoning Web","author":"H. Boley","year":"2007","unstructured":"Boley, H., Kifer, M., Patranjan, P.-L., Polleres, A.: Rule Interchange on the Web. In: Antoniou, G., A\u00dfmann, U., Baroglio, C., Decker, S., Henze, N., Patranjan, P.-L., Tolksdorf, R. (eds.) Reasoning Web. LNCS, vol.\u00a04636, pp. 269\u2013309. Springer, Heidelberg (2007)"},{"key":"19_CR27","unstructured":"Boley, H., Mei, J., Sintek, M., Wagner, G.: RDF\/RuleML Interoperability. In: Rule Languages for Interoperability (2005)"},{"key":"19_CR28","unstructured":"Boley, H., Tabet, S., Wagner, G.: Design Rationale for RuleML: A Markup Language for Semantic Web Rules. In: Cruz, I.F., Decker, S., Euzenat, J., McGuinness, D.L. (eds.) SWWS, pp. 381\u2013401 (2001)"},{"key":"19_CR29","unstructured":"Bolzer, O., Bry, F., Furche, T., Kraus, S., Schaffert, S.: Development of Use Cases, Part I. Technical Report PMS-FB-2005-23, Institute for Informatics, University of Munich (2005)"},{"key":"19_CR30","unstructured":"Br\u00fcgemann-Klein, A., Wood, D.: Regular Tree Languages over Non-ranked Alphabets (1998) (unpublished manuscript)"},{"key":"19_CR31","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0169-023X(90)90017-8","volume":"5","author":"F. Bry","year":"1990","unstructured":"Bry, F.: Query Evaluation in Deductive Databases: Bottom-Up and Top-Down Reconciled. Data Knowledge Engineering\u00a05, 289\u2013312 (1990)","journal-title":"Data Knowledge Engineering"},{"key":"19_CR32","unstructured":"Bry, F., Furche, T., Ley, C., Linse, B., Marnette, B.: RDFLog: It\u2019s like Datalog for RDF. Technical Report PMS-FB-2008-1, Institute for Informatics, University of Munich (2005)"},{"key":"19_CR33","unstructured":"Bry, F., Furche, T., Ley, C., Linse, B., Marnette, B.: RDFLog: It\u2019s like Datalog for RDF. In: Workshop on (Constraint) Logic Programming, WLP 2008 (2008)"},{"key":"19_CR34","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"227","DOI":"10.1007\/978-3-642-05082-4_16","volume-title":"Web Reasoning and Rule Systems","author":"F. Bry","year":"2009","unstructured":"Bry, F., Furche, T., Linse, B.: The perfect match: Rpl and rdf rule languages. In: Polleres, A., Swift, T. (eds.) RR 2009. LNCS, vol.\u00a05837, pp. 227\u2013241. Springer, Heidelberg (2009)"},{"key":"19_CR35","doi-asserted-by":"crossref","unstructured":"Buneman, P.: Tutorial Semistructured Data. In: PODS, pp. 117\u2013121 (1997)","DOI":"10.1145\/263661.263675"},{"issue":"1","key":"19_CR36","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/s007780050084","volume":"9","author":"P. Buneman","year":"2000","unstructured":"Buneman, P., Fernandez, M.F., Suciu, D.: Unql: A query language and algebra for semistructured data based on structural recursion. VLDB J.\u00a09(1), 76\u2013110 (2000)","journal-title":"VLDB J."},{"key":"19_CR37","doi-asserted-by":"publisher","DOI":"10.1137\/1.9780898717754","volume-title":"Assignment Problems","author":"R. Burkard","year":"2009","unstructured":"Burkard, R., Dell\u2019Amico, M., Martello, S.: Assignment Problems. SIAM, Philadelphia (2009)"},{"key":"19_CR38","first-page":"242","volume-title":"KR","author":"D. Calvanese","year":"2008","unstructured":"Calvanese, D., Giacomo, G.D., Lenzerini, M., Rosati, R.: View-Based Query Answering over Description Logic Ontologies. In: Brewka, G., Lang, J. (eds.) KR, pp. 242\u2013251. AAAI Press, Menlo Park (2008)"},{"key":"19_CR39","unstructured":"Carroll, J.J., Roo, J.D. (eds.): OWL Web Ontology Language Test Cases. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"key":"19_CR40","first-page":"395","volume-title":"VLDB","author":"S. Ceri","year":"1986","unstructured":"Ceri, S., Gottlob, G., Lavazza, L.: Translation and Optimization of Logic Queries: The Algebraic Approach. In: Chu, W.W., Gardarin, G., Ohsuga, S., Kambayashi, Y. (eds.) VLDB, pp. 395\u2013402. Morgan Kaufmann, San Francisco (1986)"},{"issue":"1","key":"19_CR41","doi-asserted-by":"publisher","first-page":"146","DOI":"10.1109\/69.43410","volume":"1","author":"S. Ceri","year":"1989","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: What you Always Wanted to Know About Datalog (And Never Dared to Ask). IEEE Trans. Knowl. Data Eng.\u00a01(1), 146\u2013166 (1989)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"19_CR42","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83952-8","volume-title":"Logic Programming and Databases","author":"S. Ceri","year":"1990","unstructured":"Ceri, S., Gottlob, G., Tanca, L.: Logic Programming and Databases. Springer, Heidelberg (1990)"},{"key":"19_CR43","unstructured":"Chamberlin, D., Fankhauser, P., Marchiori, M., Robie, J. (eds.): XML Query Use Cases. W3C Working Group Note. World Wide Web Consortium, W3C (2007)"},{"issue":"1","key":"19_CR44","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/69.50907","volume":"2","author":"D. Chimenti","year":"1990","unstructured":"Chimenti, D., Gamboa, R., Krishnamurthy, R., Naqvi, S.A., Tsur, S., Zaniolo, C.: The ldl system prototype. IEEE Trans. Knowl. Data Eng.\u00a02(1), 76\u201390 (1990)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"19_CR45","unstructured":"Clark, J. (ed.): XSL Transformations (XSLT) Version 1.0. Recommendation. W3C (1999)"},{"key":"19_CR46","unstructured":"Clark, J., DeRose, S. (eds.): XML Path Language (XPath) Version 1.0. Recommendation. W3C (1999)"},{"key":"19_CR47","unstructured":"de Bruijn, J. (ed.): RIF RDF and OWL Compatibility. W3C Recommendation. World Wide Web Consortium, W3C (2010)"},{"key":"19_CR48","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11811220_1","volume-title":"Knowledge Science, Engineering and Management","author":"J. Bruijn de","year":"2006","unstructured":"de Bruijn, J., Eiter, T., Polleres, A., Tompits, H.: On Representational Issues About Combinations of Classical Theories with Nonmonotonic Rules. In: Lang, J., Lin, F., Wang, J. (eds.) KSEM 2006. LNCS (LNAI), vol.\u00a04092, pp. 1\u201322. Springer, Heidelberg (2006)"},{"key":"19_CR49","unstructured":"de Sainte Marie, C., Halmark, G., Paschke, A. (eds.): RIF Production Rule Dialect. W3C Recommendation. World Wide Web Consortium, W3C (2010)"},{"key":"19_CR50","unstructured":"Dean, M., Schreiber, G. (eds.): OWL Web Ontology Language Reference. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"volume-title":"Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems","year":"2004","key":"19_CR51","unstructured":"Deutsch, A. (ed.): Proceedings of the Twenty-third ACM SIGACT-SIGMOD-SIGART Symposium on Principles of Database Systems. ACM, New York (2004)"},{"key":"19_CR52","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-04581-3_1","volume-title":"Semantic Techniques for the Web","author":"W. Drabent","year":"2009","unstructured":"Drabent, W., Eiter, T., Ianni, G., Krennwallner, T., Lukasiewicz, T., Maluszynski, J.: Hybrid Reasoning with Rules and Ontologies. In: Bry, F., Ma\u0142uszy\u0144ski, J. (eds.) Semantic Techniques for the Web. LNCS, vol.\u00a05500, pp. 1\u201349. Springer, Heidelberg (2009)"},{"key":"19_CR53","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-85658-0_1","volume-title":"Reasoning Web","author":"T. Eiter","year":"2008","unstructured":"Eiter, T., Ianni, G., Krennwallner, T., Polleres, A.: Rules and Ontologies for the Semantic Web. In: Baroglio, C., Bonatti, P.A., Ma\u0142uszy\u0144ski, J., Marchiori, M., Polleres, A., Schaffert, S. (eds.) Reasoning Web. LNCS, vol.\u00a05224, pp. 1\u201353. Springer, Heidelberg (2008)"},{"key":"19_CR54","doi-asserted-by":"crossref","unstructured":"Eiter, T., Ianni, G., Polleres, A., Schindlauer, R., Tompits, H.: Reasoning with Rules and Ontologies. In: Barahona, et al. (eds.) [9], pp. 93\u2013127","DOI":"10.1007\/11837787_4"},{"key":"19_CR55","first-page":"411","volume-title":"Web Intelligence","author":"T. Eiter","year":"2006","unstructured":"Eiter, T., Ianni, G., Schindlauer, R., Tompits, H., Wang, K.: Forgetting in Managing Rules and Ontologies. In: Web Intelligence, pp. 411\u2013419. IEEE Computer Society, Los Alamitos (2006)"},{"key":"19_CR56","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/3-540-36285-1_14","volume-title":"Database Theory - ICDT 2003","author":"R. Fagin","year":"2002","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data Exchange: Semantics and Query Answering. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 207\u2013224. Springer, Heidelberg (2002)"},{"issue":"1","key":"19_CR57","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1016\/j.tcs.2004.10.033","volume":"336","author":"R. Fagin","year":"2005","unstructured":"Fagin, R., Kolaitis, P.G., Miller, R.J., Popa, L.: Data Exchange: Semantics and Query Answering. Theor. Comput. Sci.\u00a0336(1), 89\u2013124 (2005)","journal-title":"Theor. Comput. Sci."},{"key":"19_CR58","series-title":"Lecture Notes in Computer Science","volume-title":"The Semantic Web - ISWC 2003","year":"2003","unstructured":"Fensel, D., Sycara, K., Mylopoulos, J. (eds.): ISWC 2003. LNCS, vol.\u00a02870. Springer, Heidelberg (2003)"},{"issue":"1-3","key":"19_CR59","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/S0743-1066(98)10005-5","volume":"37","author":"T. Fr\u00fchwirth","year":"1998","unstructured":"Fr\u00fchwirth, T.: Theory and practice of constraint handling rules. Journal of Logic Programming, Special Issue on Constraint Logic Programming\u00a037(1-3), 95\u2013138 (1998)","journal-title":"Journal of Logic Programming, Special Issue on Constraint Logic Programming"},{"key":"19_CR60","unstructured":"Furche, T.: Implementation of Web Query Language Reconsidered: Beyond Tree and Single-Language Algebras at (Almost) No Cost. Dissertation\/doctoral thesis, Ludwig-Maxmilians University Munich (2008)"},{"key":"19_CR61","doi-asserted-by":"crossref","unstructured":"Furche, T., Linse, B., Bry, F., Plexousakis, D., Gottlob, G.: Rdf querying: Language constructs and evaluation methods compared. In: Barahona, et al. (eds.) [9], pp. 1\u201352","DOI":"10.1007\/11837787_1"},{"key":"19_CR62","series-title":"Advances in Data Base Theory","volume-title":"Logic and Data Bases, Symposium on Logic and Data Bases","year":"1978","unstructured":"Gallaire, H., Minker, J. (eds.): Logic and Data Bases, Symposium on Logic and Data Bases. Advances in Data Base Theory. Plenum Press, New York (1978)"},{"issue":"2","key":"19_CR63","doi-asserted-by":"publisher","first-page":"153","DOI":"10.1145\/356924.356929","volume":"16","author":"H. Gallaire","year":"1984","unstructured":"Gallaire, H., Minker, J., Nicolas, J.-M.: Logic and Databases: A Deductive Approach. ACM Comput. Surv.\u00a016(2), 153\u2013185 (1984)","journal-title":"ACM Comput. Surv."},{"key":"19_CR64","series-title":"Based on the Proceedings of the Workshop on Formal Bases for Data Bases","volume-title":"Advances in Data Base Theory","year":"1981","unstructured":"Gallaire, H., Nicolas, J.-M., Minker, J. (eds.): Advances in Data Base Theory, Centre d\u2019\u00c9tudes et de Recherches de l\u2019\u00c9cole Nationale Sup\u00e9rieure de l\u2019A\u00e9ronautique et de l\u2019Espace de Toulouse (CERT), France, December 12-14, 1979. Based on the Proceedings of the Workshop on Formal Bases for Data Bases, vol.\u00a01. Plenum Press, New York (1981)"},{"key":"19_CR65","series-title":"Based on the Proceedings of the Workshop on Logical Data Bases","volume-title":"Advances in Data Base Theory","year":"1984","unstructured":"Gallaire, H., Nicolas, J.-M., Minker, J. (eds.): Advances in Data Base Theory, Centre d\u2019\u00e9tudes et de recherches de Toulouse, France, December 14-17, 1982. Based on the Proceedings of the Workshop on Logical Data Bases, vol.\u00a02. Plenum Press, New York (1984)"},{"key":"19_CR66","first-page":"17","volume-title":"PODS","author":"G. Gottlob","year":"2002","unstructured":"Gottlob, G., Koch, C.: Monadic Datalog and the Expressive Power of Languages for Web Information Extraction. In: Popa, L. (ed.) PODS, pp. 17\u201328. ACM, New York (2002)"},{"issue":"1","key":"19_CR67","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/962446.962450","volume":"51","author":"G. Gottlob","year":"2004","unstructured":"Gottlob, G., Koch, C.: Monadic datalog and the expressive power of languages for Web information extraction. J. ACM\u00a051(1), 74\u2013113 (2004)","journal-title":"J. ACM"},{"key":"19_CR68","doi-asserted-by":"crossref","unstructured":"Gottlob, G., Koch, C., Baumgartner, R., Herzog, M., Flesca, S.: The Lixto Data Extraction Project - Back and Forth between Theory and Practice. In: Deutsch (ed.) [51], pp. 1\u201312","DOI":"10.1145\/1055558.1055560"},{"key":"19_CR69","doi-asserted-by":"crossref","unstructured":"Grahne, G., Lakshmanan, L.V.S.: On the Difference between Navigating Semi-structured Data and Querying It. In: Workshop on Database Programming Languages, pp. 271\u2013296 (1999)","DOI":"10.1007\/3-540-44543-9_17"},{"key":"19_CR70","first-page":"545","volume-title":"The Oxford Handbook of Computational Linguistics","author":"R. Grishman","year":"2003","unstructured":"Grishman, R.: Information Extraction. In: The Oxford Handbook of Computational Linguistics, pp. 545\u2013559. Oxford University Press, Oxford (2003)"},{"key":"19_CR71","doi-asserted-by":"crossref","unstructured":"Grosof, B.N., Horrocks, I., Volz, R., Decker, S.: Description logic programs: combining logic programs with description logic. In: WWW, pp. 48\u201357 (2003)","DOI":"10.2139\/ssrn.460986"},{"key":"19_CR72","doi-asserted-by":"crossref","unstructured":"Guti\u00e9rrez, C., Hurtado, C.A., Mendelzon, A.O.: Foundations of semantic web databases. In: Deutsch (ed.) [51], pp. 95\u2013106","DOI":"10.1145\/1055558.1055573"},{"key":"19_CR73","unstructured":"Hayes, P. (ed.): RDF Semantics. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"key":"19_CR74","unstructured":"Heflin, J. (ed.): OWL Web Ontology Language Use Cases and Requirements. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"key":"19_CR75","unstructured":"Hori, M., Euzenat, J., Patel-Schneider, P.F. (eds.): OWL Web Ontology Language XML Presentation Syntax. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"key":"19_CR76","unstructured":"Horrocks, I.: OWL Rules, OK?. In: Rule Languages for Interoperability (2005)"},{"issue":"5","key":"19_CR77","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MIS.2003.1234775","volume":"18","author":"I. Horrocks","year":"2003","unstructured":"Horrocks, I., Angele, J., Decker, S., Kifer, M., Grosof, B.N., Wagner, G.: Where Are the Rules? IEEE Intelligent Systems\u00a018(5), 76\u201383 (2003)","journal-title":"IEEE Intelligent Systems"},{"key":"19_CR78","doi-asserted-by":"crossref","first-page":"723","DOI":"10.1145\/988672.988771","volume-title":"WWW","author":"I. Horrocks","year":"2004","unstructured":"Horrocks, I., Patel-Schneider, P.F.: A proposal for an Owl rules language. In: Feldman, S.I., Uretsky, M., Najork, M., Wills, C.E. (eds.) WWW, pp. 723\u2013731. ACM, New York (2004)"},{"issue":"1","key":"19_CR79","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.websem.2005.05.003","volume":"3","author":"I. Horrocks","year":"2005","unstructured":"Horrocks, I., Patel-Schneider, P.F., Bechhofer, S., Tsarkov, D.: OWL rules: A proposal and prototype implementation. J. Web Sem.\u00a03(1), 23\u201340 (2005)","journal-title":"J. Web Sem."},{"key":"19_CR80","first-page":"152","volume-title":"KR","author":"U. Hustadt","year":"2004","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reducing SHIQ-Description Logic to Disjunctive Datalog Programs. In: Dubois, D., Welty, C.A., Williams, M.-A. (eds.) KR, pp. 152\u2013162. AAAI Press, Menlo Park (2004)"},{"issue":"3","key":"19_CR81","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/s10817-007-9080-3","volume":"39","author":"U. Hustadt","year":"2007","unstructured":"Hustadt, U., Motik, B., Sattler, U.: Reasoning in Description Logics by a Reduction to Disjunctive Datalog. J. Autom. Reasoning\u00a039(3), 351\u2013384 (2007)","journal-title":"J. Autom. Reasoning"},{"key":"19_CR82","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"857","DOI":"10.1007\/978-3-642-02121-3_70","volume-title":"The Semantic Web: Research and Applications","author":"G. Ianni","year":"2009","unstructured":"Ianni, G., Krennwallner, T., Martello, A., Polleres, A.: A Rule System for Querying Persistent RDFS Data. In: Aroyo, L., Traverso, P., Ciravegna, F., Cimiano, P., Heath, T., Hyv\u00f6nen, E., Mizoguchi, R., Oren, E., Sabou, M., Simperl, E. (eds.) ESWC 2009. LNCS, vol.\u00a05554, pp. 857\u2013862. Springer, Heidelberg (2009)"},{"key":"19_CR83","unstructured":"Kilpel\u00e4inen, P.: Tree Matching Problems with Applications to Structured Text Databases. PhD thesis, University of Helsinki, Faculty of Science, Department of Computer Science (1992)"},{"issue":"2","key":"19_CR84","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1137\/S0097539791218202","volume":"24","author":"P. Kilpelainen","year":"1995","unstructured":"Kilpelainen, P., Mannila, H.: Ordered and Unordered Tree Inclusion. SIAM J. Comput.\u00a024(2), 340\u2013356 (1995)","journal-title":"SIAM J. Comput."},{"key":"19_CR85","unstructured":"Klyne, G.: Representring Facts and Rules in RDF \u2013 Bridging Cconventional predicate representation and RDF (2001), http:\/\/www.ninebynine.org\/RDFNotes\/RDFFactsAndRules.html"},{"key":"19_CR86","doi-asserted-by":"crossref","unstructured":"Kowalski, R.: Computational logic and human life: How to be artificially intelligent. Preprint, Department of Computing, Imperial College London (2010), http:\/\/www.doc.ic.ac.uk\/~rak\/papers\/newbook.pdf to be published by Cambridge University Press","DOI":"10.1017\/CBO9780511984747"},{"issue":"1","key":"19_CR87","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1145\/35043.35046","volume":"31","author":"R.A. Kowalski","year":"1988","unstructured":"Kowalski, R.A.: The Early Years of Logic Programming. Commun. ACM\u00a031(1), 38\u201343 (1988)","journal-title":"Commun. ACM"},{"key":"19_CR88","doi-asserted-by":"crossref","unstructured":"Langville, A.N., Meyer, C.D.: Google\u2019s PageRank and Beyond \u2013 The Science of Search Engine Ranking. Princetoon University Press (2006)","DOI":"10.1515\/9781400830329"},{"key":"19_CR89","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1145\/1514894.1514917","volume-title":"ICDT 2009: Proceedings of the 12th International Conference on Database Theory","author":"C. Ley","year":"2009","unstructured":"Ley, C., Benedikt, M.: How big must complete xml query languages be? In: ICDT 2009: Proceedings of the 12th International Conference on Database Theory, pp. 183\u2013200. ACM, New York (2009)"},{"key":"19_CR90","unstructured":"Linse, B.: Data Integration on the (Semantic) Web with Rules and Rich Unification. PhD thesis, Ludwig-Maximilians-Universit\u00e4t M\u00fcnchen (2010)"},{"key":"19_CR91","unstructured":"Maier, D.: Communication during the Workshop Datalog 2.0 (2010)"},{"issue":"4","key":"19_CR92","doi-asserted-by":"publisher","first-page":"929","DOI":"10.1145\/1114244.1114247","volume":"30","author":"M. Marx","year":"2005","unstructured":"Marx, M.: Conditional xpath. ACM Trans. Database Syst.\u00a030(4), 929\u2013959 (2005)","journal-title":"ACM Trans. Database Syst."},{"key":"19_CR93","unstructured":"McGuinness, D.L., van Harmelen, F. (eds.): OWL Web Ontology Language Overview. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"issue":"3","key":"19_CR94","doi-asserted-by":"publisher","first-page":"397","DOI":"10.1109\/TKDE.2007.190699","volume":"20","author":"G. Meditskos","year":"2008","unstructured":"Meditskos, G., Bassiliades, N.: A Rule-Based Object-Oriented OWL Reasoner. IEEE Trans. Knowl. Data Eng.\u00a020(3), 397\u2013410 (2008)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"19_CR95","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-88564-1_18","volume-title":"The Semantic Web - ISWC 2008","author":"G. Meditskos","year":"2008","unstructured":"Meditskos, G., Bassiliades, N.: Combining a DL Reasoner and a Rule Engine for Improving Entailment-Based OWL Reasoning. In: Sheth, A.P., Staab, S., Dean, M., Paolucci, M., Maynard, D., Finin, T., Thirunarayan, K. (eds.) ISWC 2008. LNCS, vol.\u00a05318, pp. 277\u2013292. Springer, Heidelberg (2008)"},{"key":"19_CR96","doi-asserted-by":"crossref","unstructured":"Mikl\u00f3s, Z., Neumann, G., Zdun, U., Sintek, M.: Querying semantic web resources using triple views. In: Fensel, et al. (eds.) [58], pp. 517\u2013532","DOI":"10.1007\/978-3-540-39718-2_33"},{"key":"19_CR97","unstructured":"Motik, B., Grau, B.C., Horrocks, I., Wu, Z., Fokoue, A., Lutz, C. (eds.): OWL 2 Web Ontology Language Profiles. W3C Recommendation. World Wide Web Consortium, W3C (2009)"},{"key":"19_CR98","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"501","DOI":"10.1007\/11926078_36","volume-title":"The Semantic Web - ISWC 2006","author":"B. Motik","year":"2006","unstructured":"Motik, B., Horrocks, I., Rosati, R., Sattler, U.: Can OWL and Logic Programming Live Together Happily Ever After? In: Cruz, I., Decker, S., Allemang, D., Preist, C., Schwabe, D., Mika, P., Uschold, M., Aroyo, L.M. (eds.) ISWC 2006. LNCS, vol.\u00a04273, pp. 501\u2013514. Springer, Heidelberg (2006)"},{"key":"19_CR99","unstructured":"Motik, B., Volz, R.: Optimizing Query Answering in Description Logics using Disjunctive Deductive Databases. In: Bry, F., Lutz, C., Sattler, U., Schoop, M. (eds.) KRDB. CEUR Workshop Proceedings, vol.\u00a079. CEUR-WS.org (2003)"},{"key":"19_CR100","series-title":"Lecture Notes in Computer Science","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. Mu\u00f1oz","year":"2007","unstructured":"Mu\u00f1oz, S., P\u00e9rez, J., Gutierrez, C.: Minimal Deductive Systems for RDF. In: Franconi, E., Kifer, M., May, W. (eds.) ESWC 2007. LNCS, vol.\u00a04519, pp. 53\u201367. Springer, Heidelberg (2007)"},{"key":"19_CR101","volume-title":"A Logical Language for Data and Knowledge Bases","author":"S.A. Naqvi","year":"1989","unstructured":"Naqvi, S.A., Tsur, S.: A Logical Language for Data and Knowledge Bases. Computer Science Press, Rockville (1989)"},{"issue":"1-2","key":"19_CR102","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1016\/S0304-3975(01)00301-2","volume":"275","author":"F. Neven","year":"2002","unstructured":"Neven, F., Schwentick, T.: Query automata over finite trees. Theoretical Computer Science\u00a0275(1-2), 633\u2013674 (2002)","journal-title":"Theoretical Computer Science"},{"key":"19_CR103","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1007\/3-540-36128-6_7","volume-title":"XML-Based Data Management and Multimedia Engineering - EDBT 2002 Workshops","author":"D. Olteanu","year":"2002","unstructured":"Olteanu, D., Meuss, H., Furche, T., Bry, F.: XPath: Looking Forward. In: Chaudhri, A.B., Unland, R., Djeraba, C., Lindner, W. (eds.) EDBT 2002. LNCS, vol.\u00a02490, pp. 109\u2013127. Springer, Heidelberg (2002)"},{"key":"19_CR104","unstructured":"Patel-Schneider, P.F., Hayes, P., Horrocks, I. (eds.): OWL Web Ontology Language Semantics and Abstract Syntax. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"key":"19_CR105","doi-asserted-by":"publisher","first-page":"787","DOI":"10.1145\/1242572.1242679","volume-title":"WWW","author":"A. Polleres","year":"2007","unstructured":"Polleres, A.: From SPARQL to rules (and back). In: Williamson, C.L., Zurko, M.E., Patel-Schneider, P.F., Shenoy, P.J. (eds.) WWW, pp. 787\u2013796. ACM, New York (2007)"},{"key":"19_CR106","unstructured":"Polleres, A., Boley, H., Kifer, M. (eds.): RIF Datatypes and Built-Ins 1.0. W3C Recommendation. World Wide Web Consortium, W3C (2010)"},{"key":"19_CR107","unstructured":"Polleres, A., Schindlauer, R.: DLVHEX-SPARQL: A SPARQL Compliant Query Engine Based on DLVHEX. In: Polleres, A., Pearce, D., Heymans, S., Ruckhaus, E. (eds.) ALPSWS. CEUR Workshop Proceedings, vol.\u00a0287. CEUR-WS.org (2007)"},{"key":"19_CR108","unstructured":"Prud\u2019hommeaux, E., Seaborne, A. (eds.): SPARQL Query Language for RDF. W3C Recommendation. World Wide Web Consortium, W3C (2008)"},{"key":"19_CR109","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/978-3-642-13486-9_13","volume-title":"The Semantic Web: Research and Applications","author":"J. P\u00fchrer","year":"2010","unstructured":"P\u00fchrer, J., Heymans, S., Eiter, T.: Dealing with Inconsistency When Combining Ontologies and Rules Using DL-Programs. In: Aroyo, L., Antoniou, G., Hyv\u00f6nen, E., ten Teije, A., Stuckenschmidt, H., Cabral, L., Tudorache, T. (eds.) ESWC 2010. LNCS, vol.\u00a06088, pp. 183\u2013197. Springer, Heidelberg (2010)"},{"key":"19_CR110","unstructured":"Ramakrishnan, R.: Magic Templates: A Spellbinding Approach to Logic Programs. In: ICLP\/SLP, pp. 140\u2013159 (1988)"},{"issue":"2","key":"19_CR111","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0743-1066(94)00039-9","volume":"23","author":"R. Ramakrishnan","year":"1995","unstructured":"Ramakrishnan, R., Ullman, J.D.: A survey of deductive database systems. J. Log. Program.\u00a023(2), 125\u2013149 (1995)","journal-title":"J. Log. Program."},{"issue":"3","key":"19_CR112","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/BF03037407","volume":"4","author":"J. Rohmer","year":"1986","unstructured":"Rohmer, J., Lescoeur, R., Kerisit, J.-M.: The Alexander Method - A Technique for The Processing of Recursive Axioms in Deductive Databases. New Generation Comput.\u00a04(3), 273\u2013285 (1986)","journal-title":"New Generation Comput."},{"issue":"1","key":"19_CR113","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1016\/j.websem.2005.05.002","volume":"3","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: On the decidability and complexity of integrating ontologies and rules. J. Web Sem.\u00a03(1), 61\u201373 (2005)","journal-title":"J. Web Sem."},{"key":"19_CR114","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"50","DOI":"10.1007\/11552222_6","volume-title":"Principles and Practice of Semantic Web Reasoning","author":"R. Rosati","year":"2005","unstructured":"Rosati, R.: Semantic and Computational Advantages of the Safe Integration of Ontologies and Rules. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol.\u00a03703, pp. 50\u201364. Springer, Heidelberg (2005)"},{"key":"19_CR115","doi-asserted-by":"crossref","unstructured":"Rosati, R.: Integrating Ontologies and Rules: Semantic and Computational Issues. In: Barahona, et al. (eds.) [9], pp. 128\u2013151","DOI":"10.1007\/11837787_5"},{"key":"19_CR116","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-540-88737-9_3","volume-title":"Web Reasoning and Rule Systems","author":"R. Rosati","year":"2008","unstructured":"Rosati, R.: On Combining Description Logic Ontologies and Nonrecursive Datalog Rules. In: Calvanese, D., Lausen, G. (eds.) RR 2008. LNCS, vol.\u00a05341, pp. 13\u201327. Springer, Heidelberg (2008)"},{"key":"19_CR117","unstructured":"Sacc\u00e0, D., Zaniolo, C.: Implementation of recursive queries for a data language based on pure horn logic. In: ICLP, pp. 104\u2013135 (1987)"},{"key":"19_CR118","unstructured":"Schaffert, S.: Xcerpt: A Rule-Based Query and Transformation Language for the Web. Dissertation. PhD Thesis, Institute for Informatics, University of Munich (2004)"},{"key":"19_CR119","unstructured":"Schaffert, S., Bry, F.: Querying the Web Reconsidered: A Practical Introduction to Xcerpt. Extreme Markup Languages (2004)"},{"key":"19_CR120","doi-asserted-by":"publisher","first-page":"585","DOI":"10.1145\/1367497.1367577","volume-title":"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: Huai, J., Chen, R., Hon, H.-W., Liu, Y., Ma, W.-Y., Tomkins, A., Zhang, X. (eds.) WWW, pp. 585\u2013594. ACM, New York (2008)"},{"key":"19_CR121","unstructured":"Sintek, M., Decker, S.: Triple - an rdf query, inference, and transformation language. In: INAP, pp. 47\u201356 (2001)"},{"key":"19_CR122","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"364","DOI":"10.1007\/3-540-48005-6_28","volume-title":"The Semantic Web - ISWC 2002","author":"M. Sintek","year":"2002","unstructured":"Sintek, M., Decker, S.: Triple - a query, inference, and transformation language for the semantic web. In: Horrocks, I., Hendler, J. (eds.) ISWC 2002. LNCS, vol.\u00a02342, pp. 364\u2013378. Springer, Heidelberg (2002)"},{"key":"19_CR123","unstructured":"Smith, M.K., Welty, C., McGuinness, D.L. (eds.): OWL Web Ontology Language Guide. W3C Recommendation. World Wide Web Consortium, W3C (2004)"},{"key":"19_CR124","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/978-3-540-24609-1_24","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"T. Swift","year":"2003","unstructured":"Swift, T.: Deduction in ontologies via asp. In: Lifschitz, V., Niemel\u00e4, I. (eds.) LPNMR 2004. LNCS (LNAI), vol.\u00a02923, pp. 275\u2013288. Springer, Heidelberg (2003)"},{"key":"19_CR125","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"668","DOI":"10.1007\/11574620_48","volume-title":"The Semantic Web \u2013 ISWC 2005","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Combining RDF and Part of OWL with Rules: Semantics, Decidability, Complexity. In: Gil, Y., Motta, E., Benjamins, V.R., Musen, M.A. (eds.) ISWC 2005. LNCS, vol.\u00a03729, pp. 668\u2013684. Springer, Heidelberg (2005)"},{"issue":"2-3","key":"19_CR126","doi-asserted-by":"publisher","first-page":"79","DOI":"10.1016\/j.websem.2005.06.001","volume":"3","author":"H.J. Horst ter","year":"2005","unstructured":"ter Horst, H.J.: Completeness, decidability and complexity of entailment for rdf schema and a semantic extension involving the owl vocabulary. J. Web Sem.\u00a03(2-3), 79\u2013115 (2005)","journal-title":"J. Web Sem."},{"key":"19_CR127","volume-title":"Principles of Database and Knowledge-Base Systems","author":"J.D. Ullman","year":"1988","unstructured":"Ullman, J.D.: Principles of Database and Knowledge-Base Systems, vol.\u00a0I. Computer Science Press, Rockville (1988)"},{"issue":"3-4","key":"19_CR128","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1561\/1800000002","volume":"1","author":"Y. Wilks","year":"2009","unstructured":"Wilks, Y., Brewster, C.: Natural Language Processing as a Foundation of the Semantic Web. Foundations and Trends in Web Science\u00a01(3-4), 199\u2013327 (2009)","journal-title":"Foundations and Trends in Web Science"},{"key":"19_CR129","doi-asserted-by":"crossref","unstructured":"Wilks, Y., Brewster, C.: Natural Language Processing as a Foundation of the Semantic Web. Now Publishers Inc. (2009)","DOI":"10.1561\/1800000002"},{"key":"19_CR130","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1007\/978-3-540-39733-5_4","volume":"1","author":"G. Yang","year":"2003","unstructured":"Yang, G., Kifer, M.: Reasoning about anonymous resources and meta statements on the semantic web. J. Data Semantics\u00a01, 69\u201397 (2003)","journal-title":"J. Data Semantics"}],"container-title":["Lecture Notes in Computer Science","Datalog Reloaded"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-24206-9_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T09:34:00Z","timestamp":1742376840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24206-9_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642242052","9783642242069"],"references-count":130,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24206-9_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}