{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T19:55:48Z","timestamp":1725566148571},"publisher-location":"Berlin, Heidelberg","reference-count":24,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642159176"},{"type":"electronic","value":"9783642159183"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-15918-3_1","type":"book-chapter","created":{"date-parts":[[2010,9,15]],"date-time":"2010-09-15T12:39:24Z","timestamp":1284554364000},"page":"1-17","source":"Crossref","is-referenced-by-count":40,"title":["Query Answering under Non-guarded Rules in Datalog+\/-"],"prefix":"10.1007","author":[{"given":"Andrea","family":"Cal\u00ec","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georg","family":"Gottlob","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"1_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley, Reading"},{"key":"1_CR2","unstructured":"Baget, J.-F., Lecl\u00e8re, M., Mugnier, M.-L., Salvat, E.: Extending decidable cases for rules with existential variables. In: Proc.\u00a0of IJCAI, pp. 677\u2013682 (2009)"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Beeri, C., Vardi, M.Y.: The implication problem for data dependencies. In: Proc. of ICALP, pp. 73\u201385 (1981)","DOI":"10.1007\/3-540-10843-2_7"},{"issue":"1","key":"1_CR4","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1006\/inco.1998.2734","volume":"147","author":"L. Cabibbo","year":"1998","unstructured":"Cabibbo, L.: The expressive power of stratified logic programs with value invention. Inf. Comput.\u00a0147(1), 22\u201356 (1998)","journal-title":"Inf. Comput."},{"key":"1_CR5","unstructured":"Cal\u00ec, A., Gottlob, G., Kifer, M.: Taming the infinite chase: Query answering under expressive relational constraints. In: Proc.\u00a0of KR, pp. 70\u201380 (2008)"},{"key":"1_CR6","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Lukasiewicz, T.: Datalog\u00b1 A unified approach to ontologies and integrity constraints. In: Proc.\u00a0of ICDT, pp. 14\u201330 (2009)","DOI":"10.1145\/1514894.1514897"},{"key":"1_CR7","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.\u00a0of PODS, pp. 77\u201386 (2009)","DOI":"10.1145\/1559795.1559809"},{"key":"1_CR8","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries. In: Proc.\u00a0of VLDB (to appear, 2010)"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Advanced processing for ontological queries (2010), http:\/\/benner.dbai.tuwien.ac.at\/staff\/gottlob\/CGP.pdf","DOI":"10.14778\/1920841.1920912"},{"key":"1_CR10","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Ontological reasoning with F-Logic Lite and its extensions. In: Proc.\u00a0of AAAI (to appear, 2010)"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Cal\u00ec, A., Lembo, D., Rosati, R.: On the decidability and complexity of query answering over inconsistent and incomplete databases. In: Proc. of PODS, pp. 260\u2013271 (2003)","DOI":"10.1145\/773153.773179"},{"issue":"3","key":"1_CR12","doi-asserted-by":"publisher","first-page":"385","DOI":"10.1007\/s10817-007-9078-x","volume":"39","author":"D. Calvanese","year":"2007","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Tractable reasoning and efficient query answering in description logics: The DL-lite family. J. Autom. Reasoning\u00a039(3), 385\u2013429 (2007)","journal-title":"J. Autom. Reasoning"},{"issue":"3","key":"1_CR13","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1145\/502807.502810","volume":"33","author":"E. Dantsin","year":"2001","unstructured":"Dantsin, E., Eiter, T., Georg, G., Voronkov, A.: Complexity and expressive power of logic programming. ACM Comput. Surv.\u00a033(3), 374\u2013425 (2001)","journal-title":"ACM Comput. Surv."},{"key":"1_CR14","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Nash, A., Remmel, J.B.: The chase revisisted. In: Proc.\u00a0of PODS, pp. 149\u2013158 (2008)","DOI":"10.1145\/1376916.1376938"},{"key":"1_CR15","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Tannen, V.: Reformulation of XML queries and constraints. In: Proc.\u00a0of ICDT, pp. 225\u2013241 (2003)","DOI":"10.1007\/3-540-36285-1_15"},{"issue":"1","key":"1_CR16","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."},{"issue":"1","key":"1_CR17","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1016\/0022-0000(84)90081-3","volume":"28","author":"D.S. Johnson","year":"1984","unstructured":"Johnson, D.S., Klug, A.C.: Testing containment of conjunctive queries under functional and inclusion dependencies. J. Comput. Syst. Sci.\u00a028(1), 167\u2013189 (1984)","journal-title":"J. Comput. Syst. Sci."},{"key":"1_CR18","unstructured":"Kolaitis, P.G., Panttaja, J.: Personal Communication (2009)"},{"key":"1_CR19","doi-asserted-by":"crossref","unstructured":"Kolaitis, P.G., Panttaja, J., Tan, W.-C.: The complexity of data exchange. In: Proc.\u00a0of PODS, pp. 30\u201339 (2006)","DOI":"10.1145\/1142351.1142357"},{"issue":"4","key":"1_CR20","doi-asserted-by":"publisher","first-page":"455","DOI":"10.1145\/320107.320115","volume":"4","author":"D. Maier","year":"1979","unstructured":"Maier, D., Mendelzon, A.O., Sagiv, Y.: Testing implications of data dependencies. ACM Trans. Database Syst.\u00a04(4), 455\u2013469 (1979)","journal-title":"ACM Trans. Database Syst."},{"issue":"4","key":"1_CR21","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1017\/S0890060498124101","volume":"12","author":"D. Mailharrow","year":"1998","unstructured":"Mailharrow, D.: A classification and constraint-based framework for configuration. Artif. Intell. for Engineering Design, Analysis and Manufacturing\u00a012(4), 383\u2013397 (1998)","journal-title":"Artif. Intell. for Engineering Design, Analysis and Manufacturing"},{"key":"1_CR22","unstructured":"Panttaya, J.: Complexity in databases, games, and logics. PhD thesis, University of California Santa Cruz (2006)"},{"issue":"4","key":"1_CR23","doi-asserted-by":"crossref","first-page":"240","DOI":"10.1016\/j.websem.2007.09.004","volume":"5","author":"P.F. Patel-Schneider","year":"2007","unstructured":"Patel-Schneider, P.F., Horrocks, I.: A comparison of two modelling paradigms in the semantic web. J. Web Semantics\u00a05(4), 240\u2013250 (2007)","journal-title":"J. Web Semantics"},{"key":"1_CR24","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1007\/978-3-540-77688-8_5","volume":"10","author":"A. Poggi","year":"2008","unstructured":"Poggi, A., Lembo, D., Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Linking data to ontologies. J. Data Semantics\u00a010, 133\u2013173 (2008)","journal-title":"J. Data Semantics"}],"container-title":["Lecture Notes in Computer Science","Web Reasoning and Rule Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-15918-3_1.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,24]],"date-time":"2020-11-24T02:42:34Z","timestamp":1606185754000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-15918-3_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642159176","9783642159183"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-15918-3_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}