{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T05:24:54Z","timestamp":1725686694660},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642307423"},{"type":"electronic","value":"9783642307430"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"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":[[2012]]},"DOI":"10.1007\/978-3-642-30743-0_9","type":"book-chapter","created":{"date-parts":[[2012,6,2]],"date-time":"2012-06-02T03:49:46Z","timestamp":1338608986000},"page":"117-133","source":"Crossref","is-referenced-by-count":1,"title":["On the Interaction of Existential Rules and Equality Constraints in Ontology Querying"],"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":"Giorgio","family":"Orsi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andreas","family":"Pieris","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","unstructured":"Abiteboul, S., Hull, R., Vianu, V.: Foundations of Databases. Addison-Wesley (1995)"},{"key":"9_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1007\/978-3-540-75563-0_20","volume-title":"Conceptual Modeling - ER 2007","author":"A. Artale","year":"2007","unstructured":"Artale, A., Calvanese, D., Kontchakov, R., Ryzhikov, V., Zakharyaschev, M.: Reasoning over Extended ER Models. In: Parent, C., Schewe, K.-D., Storey, V.C., Thalheim, B. (eds.) ER 2007. LNCS, vol.\u00a04801, pp. 277\u2013292. Springer, Heidelberg (2007)"},{"key":"9_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/3-540-10843-2_7","volume-title":"Automata, Languages and Programming","author":"C. Beeri","year":"1981","unstructured":"Beeri, C., Vardi, M.Y.: The Implication Problem for Data Dependencies. In: Even, S., Kariv, O. (eds.) ICALP 1981. LNCS, vol.\u00a0115, pp. 73\u201385. Springer, Heidelberg (1981)"},{"issue":"1-2","key":"9_CR4","doi-asserted-by":"publisher","first-page":"70","DOI":"10.1016\/j.artint.2005.05.003","volume":"168","author":"D. Berardi","year":"2005","unstructured":"Berardi, D., Calvanese, D., De Giacomo, G.: Reasoning on UML class diagrams. Artif. Intell.\u00a0168(1-2), 70\u2013118 (2005)","journal-title":"Artif. Intell."},{"key":"9_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":"9_CR6","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 PODS, pp. 77\u201386 (2009); To appear in the J. of Web Semantics","DOI":"10.1145\/1559795.1559809"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-28729-9_1","volume-title":"Foundations of Software Science and Computational Structures","author":"A. Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Orsi, G., Pieris, A.: Querying UML Class Diagrams. In: Birkedal, L. (ed.) FOSSACS 2012. LNCS, vol.\u00a07213, pp. 1\u201325. Springer, Heidelberg (2012)"},{"issue":"1","key":"9_CR8","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":"9_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"161","DOI":"10.1007\/978-3-642-24606-7_13","volume-title":"Conceptual Modeling \u2013 ER 2011","author":"A. Cal\u00ec","year":"2011","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Querying Conceptual Schemata with Expressive Equality Constraints. In: Jeusfeld, M., Delcambre, L., Ling, T.-W. (eds.) ER 2011. LNCS, vol.\u00a06998, pp. 161\u2013174. Springer, Heidelberg (2011)"},{"issue":"4","key":"9_CR10","doi-asserted-by":"publisher","first-page":"320","DOI":"10.1016\/j.is.2011.09.006","volume":"37","author":"A. Cal\u00ec","year":"2012","unstructured":"Cal\u00ec, A., Gottlob, G., Pieris, A.: Ontological query answering under expressive Entity-Relationship schemata. Inf. Syst.\u00a037(4), 320\u2013335 (2012)","journal-title":"Inf. Syst."},{"key":"9_CR11","unstructured":"Cal\u00ec, A., Kifer, M.: Containment of conjunctive object meta-queries. In: Proc. of VLDB, pp. 942\u2013952 (2006)"},{"key":"9_CR12","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":"9_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., 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"},{"key":"9_CR14","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M.: Identification constraints and functional dependencies in description logics. In: Proc. of IJCAI, pp. 155\u2013160 (2001)"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Chandra, A.K., Merlin, P.M.: Optimal implementation of conjunctive queries in relational data bases. In: Proc. of STOCS, pp. 77\u201390 (1977)","DOI":"10.1145\/800105.803397"},{"key":"9_CR16","doi-asserted-by":"publisher","first-page":"671","DOI":"10.1137\/0214049","volume":"14","author":"A.K. Chandra","year":"1985","unstructured":"Chandra, A.K., Vardi, M.Y.: The implication problem for functional and inclusion dependencies. SIAM J. of Comput.\u00a014, 671\u2013677 (1985)","journal-title":"SIAM J. of Comput."},{"issue":"1","key":"9_CR17","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/320434.320440","volume":"1","author":"P.P. Chen","year":"1976","unstructured":"Chen, P.P.: The Entity-Relationship model: Towards a unified view of data. ACM Trans. Database Syst.\u00a01(1), 124\u2013131 (1976)","journal-title":"ACM Trans. Database Syst."},{"issue":"1","key":"9_CR18","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":"2","key":"9_CR19","first-page":"1522","volume":"1","author":"W. Fan","year":"2008","unstructured":"Fan, W., Geerts, F., Jia, X.: A revival of integrity constraints for data cleaning. PVLDB\u00a01(2), 1522\u20131523 (2008)","journal-title":"PVLDB"},{"issue":"1","key":"9_CR20","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."},{"issue":"4","key":"9_CR21","doi-asserted-by":"publisher","first-page":"741","DOI":"10.1145\/210332.210335","volume":"42","author":"M. Kifer","year":"1995","unstructured":"Kifer, M., Lausen, G., Wu, J.: Logical foundations of object-oriented and frame-based languages. J. ACM\u00a042(4), 741\u2013843 (1995)","journal-title":"J. ACM"},{"key":"9_CR22","unstructured":"Kr\u00f6tzsch, M., Rudolph, S.: Extending decidable existential rules by joining acyclicity and guardedness. In: Proc. of IJCAI, pp. 963\u2013968 (2011)"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of PODS, pp. 233\u2013246 (2002)","DOI":"10.1145\/543643.543644"},{"key":"9_CR24","doi-asserted-by":"crossref","unstructured":"Lloyd, J.W.: Foundations of logic programming. Springer (1987)","DOI":"10.1007\/978-3-642-83189-8"},{"issue":"4","key":"9_CR25","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."},{"key":"9_CR26","first-page":"133","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"},{"key":"9_CR27","unstructured":"Sowa, J.F.: Knowledge representation: Logical, philosophical and computational foundations. Brooks\/Cole Publishing Co. (2000)"}],"container-title":["Lecture Notes in Computer Science","Correct Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-30743-0_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,2]],"date-time":"2019-05-02T22:28:17Z","timestamp":1556836097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-30743-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642307423","9783642307430"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-30743-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}