{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T09:23:05Z","timestamp":1725700985098},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642329241"},{"type":"electronic","value":"9783642329258"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32925-8_5","type":"book-chapter","created":{"date-parts":[[2012,8,25]],"date-time":"2012-08-25T05:25:15Z","timestamp":1345872315000},"page":"31-43","source":"Crossref","is-referenced-by-count":4,"title":["Magic-Sets for Datalog with Existential Quantifiers"],"prefix":"10.1007","author":[{"given":"Mario","family":"Alviano","sequence":"first","affiliation":[]},{"given":"Nicola","family":"Leone","sequence":"additional","affiliation":[]},{"given":"Marco","family":"Manna","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Terracina","sequence":"additional","affiliation":[]},{"given":"Pierfrancesco","family":"Veltri","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"5_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases: The Logical Level. Addison-Wesley Longman Publishing Co., Inc. (1995)"},{"key":"5_CR2","first-page":"187","volume":"188","author":"M. Alviano","year":"2012","unstructured":"Alviano, M., Faber, W., Greco, G., Leone, N.: Magic sets for disjunctive datalog programs. Artificial Intelligence 187\u2013188, 156\u2013192 (2012)","journal-title":"Artificial Intelligence"},{"issue":"4\u20136","key":"5_CR3","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1017\/S1471068410000244","volume":"10","author":"M. Alviano","year":"2010","unstructured":"Alviano, M., Faber, W., Leone, N.: Disjunctive ASP with functions: Decidable queries and effective computation. Theory and Practice of Logic Programming\u00a010(4\u20136), 497\u2013512 (2010)","journal-title":"Theory and Practice of Logic Programming"},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Alviano, M., Leone, N., Manna, M., Terracina, G., Veltri, P.: Magic-Sets for Datalog with Existential Quantifiers (Extended Version). Technical report, Department of Mathematics, University of Calabria, Italy (June 2012), http:\/\/www.mat.unical.it\/datalog-exists\/pub\/12dl2.pdf","DOI":"10.1007\/978-3-642-32925-8_5"},{"key":"5_CR5","doi-asserted-by":"crossref","unstructured":"Bancilhon, F., Maier, D., Sagiv, Y., Ullman, J.D.: Magic Sets and Other Strange Ways to Implement Logic Programs. In: Proc. Int. Symposium on Principles of Database Systems, pp. 1\u201316 (1986)","DOI":"10.1145\/6012.15399"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"Beeri, C., Ramakrishnan, R.: On the power of magic 10(1-4), 255\u2013259 (1991)","DOI":"10.1016\/0743-1066(91)90038-Q"},{"key":"5_CR7","doi-asserted-by":"publisher","first-page":"33","DOI":"10.5121\/ijwest.2011.2403","volume":"2","author":"B. Bishop","year":"2011","unstructured":"Bishop, B., Kiryakov, A., Ognyanoff, D., Peikov, I., Tashev, Z., Velkov, R.: OWLIM: A family of scalable semantic repositories. Semant. Web\u00a02, 33\u201342 (2011)","journal-title":"Semant. Web"},{"key":"5_CR8","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the Infinite Chase: Query Answering under Expressive Relational Constraints. In: Proc. of the 11th KR Int. Conf., pp. 70\u201380 (2008), http:\/\/dbai.tuwien.ac.at\/staff\/gottlob\/CGK.pdf"},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: A general datalog-based framework for tractable query answering over ontologies. In: Proc. of the 28th PODS Symp., pp. 77\u201386 (2009)","DOI":"10.1145\/1559795.1559809"},{"issue":"1","key":"5_CR10","first-page":"554","volume":"3","author":"A. Cal\u00ec","year":"2010","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Advanced Processing for Ontological Queries. PVLDB\u00a03(1), 554\u2013565 (2010)","journal-title":"PVLDB"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: New Expressive Languages for Ontological Query Answering. In: Proc. of the 25th AAAI Conf. on AI, pp. 1541\u20131546 (2011)","DOI":"10.1609\/aaai.v25i1.7957"},{"key":"5_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"71","DOI":"10.1007\/978-3-642-04238-6_9","volume-title":"Logic Programming and Nonmonotonic Reasoning","author":"F. Calimeri","year":"2009","unstructured":"Calimeri, F., Cozza, S., Ianni, G., Leone, N.: Magic Sets for the Bottom-Up Evaluation of Finitely Recursive Programs. In: Erdem, E., Lin, F., Schaub, T. (eds.) LPNMR 2009. LNCS, vol.\u00a05753, pp. 71\u201386. Springer, Heidelberg (2009)"},{"key":"5_CR13","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable Reasoning and Efficient Query Answering in Description Logics: The DL-Lite Family. J. Autom. Reason.\u00a039, 385\u2013429 (2007)","journal-title":"J. Autom. Reason."},{"issue":"4","key":"5_CR14","doi-asserted-by":"publisher","first-page":"584","DOI":"10.1016\/j.jcss.2006.10.012","volume":"73","author":"W. Faber","year":"2007","unstructured":"Faber, W., Greco, G., Leone, N.: Magic Sets and their Application to Data Integration. Journal of Computer and System Sciences\u00a073(4), 584\u2013609 (2007)","journal-title":"Journal of Computer and System Sciences"},{"issue":"1","key":"5_CR15","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. TCS\u00a0336(1), 89\u2013124 (2005)","journal-title":"TCS"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Greco, S.: Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries 15(2), 368\u2013385 (2003)","DOI":"10.1109\/TKDE.2003.1185840"},{"key":"5_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1007\/978-3-642-21034-1_26","volume-title":"The Semantic Web: Research and Applications","author":"I. Kollia","year":"2011","unstructured":"Kollia, I., Glimm, B., Horrocks, I.: SPARQL Query Answering over OWL Ontologies. In: Antoniou, G., Grobelnik, M., Simperl, E., Parsia, B., Plexousakis, D., De Leenheer, P., Pan, J. (eds.) ESWC 2011, Part I. LNCS, vol.\u00a06643, pp. 382\u2013396. Springer, Heidelberg (2011)"},{"key":"5_CR18","unstructured":"Leone, N., Manna, M., Terracina, G., Veltri, P.: Efficiently Computable Datalog\u2009\u2203\u2009 Programs. In: Proc. of the 13th KR Int. Conf. (page forthcoming, 2012)"},{"issue":"2","key":"5_CR19","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/j.websem.2007.03.004","volume":"5","author":"E. Sirin","year":"2007","unstructured":"Sirin, E., Parsia, B., Grau, B.C., Kalyanpur, A., Katz, Y.: Pellet: A practical OWL-DL reasoner. Web Semant.\u00a05(2), 51\u201353 (2007)","journal-title":"Web Semant."}],"container-title":["Lecture Notes in Computer Science","Datalog in Academia and Industry"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32925-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,25]],"date-time":"2023-06-25T12:28:06Z","timestamp":1687696086000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32925-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642329241","9783642329258"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32925-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}