{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:54:43Z","timestamp":1725468883371},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540367123"},{"type":"electronic","value":"9783540368717"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11803034_3","type":"book-chapter","created":{"date-parts":[[2006,8,25]],"date-time":"2006-08-25T13:44:32Z","timestamp":1156513472000},"page":"47-66","source":"Crossref","is-referenced-by-count":5,"title":["Intensional Semantics for P2P Data Integration"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Majki\u0107","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"3_CR1","unstructured":"Ushold, M.: Where is the semantics in the semantic web. In: Workshop on Ontologies in Agent Systems (OAS) at the 5th International Conference on Autonomous Agents (2001)"},{"key":"3_CR2","unstructured":"Gribble, S., Halevy, A., Ives, Z., Rodrig, M., Suciu, D.: What can databases do for Peer-to-Peer? In: WebDB Workshop on Databases and the Web (2001)"},{"key":"3_CR3","unstructured":"Serafini, L., Giunchiglia, F., Mylopoulos, J., Bernstein, P.A.: The local relational model: Model and proof theory, Technical Report 0112-23, ITC-IRST (2001)"},{"key":"3_CR4","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0004-3702(01)00064-9","volume":"127","author":"C. Ghidini","year":"2001","unstructured":"Ghidini, C., Giunchiglia, F.: Local models semantics or contextual reasoning = locality + compatibility. Artificial Intelligence\u00a0127, 221\u2013259 (2001)","journal-title":"Artificial Intelligence"},{"key":"3_CR5","volume-title":"On Conceptual Modeling: Perspectives from Artificial Intelligence Databases and Programming Languages","author":"R. Reiter","year":"1984","unstructured":"Reiter, R.: Towards a logical reconstruction of relational database theory. In: Brodie, M.L., Mylopoulos, J., Schmidt, J.W. (eds.) On Conceptual Modeling: Perspectives from Artificial Intelligence Databases and Programming Languages. Springer, Heidelberg (1984)"},{"key":"3_CR6","doi-asserted-by":"crossref","unstructured":"Franconi, E., Kuper, G., Lopatenko, A., Serafini, L.: A robust logical and computational characterization of Peer-to-Peer data systems, Technical Report DIT-03-051, University of Trento, Italy (September 2003)","DOI":"10.1007\/978-3-540-24629-9_6"},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lenzerini, M., Rosati, R.: Logical foundations of Peer-to-Peer data integration. In: PODS 2004, Paris, France, June 14-16, 2004, (2004)","DOI":"10.1145\/1055558.1055593"},{"key":"3_CR8","unstructured":"Majki\u0107, Z.: Weakly-coupled ontology integration of P2P database systems. In: 1st Int. Workshop on Peer-to-Peer Knowledge Management (P2PKM), Boston, USA, August 22 (2004)"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective. In: Proc. of the 21st ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 2002), pp. 233\u2013246 (2002)","DOI":"10.1145\/543613.543644"},{"key":"3_CR10","unstructured":"Lenzerini, M., Majki\u0107, Z.: General framework for query reformulation. In: Semantic Webs and Agents in Integrated Economies, D3.1, IST-2001-34825 (February 2003)"},{"key":"3_CR11","doi-asserted-by":"crossref","unstructured":"Calvanese, D., Damaggio, E., De Giacomo, G., Lenzerini, M., Rosati, R.: Semantic data integration in P2P systems. In: Proc. of the Int. Workshop On Databases, Inf. Systems and P2P Computing, Berlin, Germany (September 2003)","DOI":"10.1007\/978-3-540-24629-9_7"},{"key":"3_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"90","DOI":"10.1007\/11601524_6","volume-title":"Database Programming Languages","author":"D. Calvanese","year":"2005","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tollerance in P2P data integration: an epistemic approach. In: Bierman, G., Koch, C. (eds.) DBPL 2005. LNCS, vol.\u00a03774, pp. 90\u2013105. Springer, Heidelberg (2005)"},{"key":"3_CR13","unstructured":"Majki\u0107, Z.: Weakly-coupled P2P system with a network repository. In: 6th Workshop on Distributed Data and Structures (WDAS 2004), Lausanne, Switzerland, July 5-7 (2004)"},{"key":"3_CR14","doi-asserted-by":"crossref","unstructured":"Majki\u0107, Z.: Massive parallelism for query answering in weakly integrated P2P systems. In: Workshop GLOBE 2004, Zaragoza, Spain, August 30\u2013September 3 (2004)","DOI":"10.1109\/DEXA.2004.1333528"},{"issue":"4","key":"3_CR15","doi-asserted-by":"publisher","first-page":"375","DOI":"10.1142\/S0218215793000174","volume":"2","author":"T. Catarci","year":"1993","unstructured":"Catarci, T., Lenzerini, M.: Representing and using interschema knowledge in cooperative information systems. J. of Intelligent and Cooperative Information Systems\u00a02(4), 375\u2013398 (1993)","journal-title":"J. of Intelligent and Cooperative Information Systems"},{"key":"3_CR16","unstructured":"Majki\u0107, Z.: Intensional logic and epistemic independency of intelligent database agents. In: 2nd International Workshop on Philosophy and Informatics (WSPI 2005), Kaiserslautern, Germany, April 10-13 (2005)"},{"key":"3_CR17","doi-asserted-by":"crossref","unstructured":"Arenas, M., Bertossi, L.E., Chomicki, J.: Consistent query answers in inconsistent databases. In: Proc. of the 18th ACM SIGACT SIGMOD SIGART Symp. on Principles of Database Systems (PODS 1999), pp. 68\u201379 (1999)","DOI":"10.1145\/303976.303983"},{"key":"3_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1007\/3-540-45635-X_31","volume-title":"Logic Programming","author":"G. Greco","year":"2001","unstructured":"Greco, G., Greco, S., Zumpano, E.: A logic programming approach to the integration, repairing and querying of inconsistent databases. In: Codognet, P. (ed.) ICLP 2001. LNCS, vol.\u00a02237, pp. 348\u2013364. Springer, Heidelberg (2001)"},{"key":"3_CR19","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Based Program Synthesis and Transformation","author":"Z. Majki\u0107","year":"2006","unstructured":"Majki\u0107, Z.: Autoepistemic logic programming for reasoning with inconsistency. In: Hill, P.M. (ed.) LOPSTR 2005. LNCS, vol.\u00a03901. Springer, Heidelberg (2006)"},{"key":"3_CR20","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1111\/j.1755-2567.1970.tb00434.x","volume":"36","author":"R. Montague","year":"1970","unstructured":"Montague, R.: Universal grammar. Theoria\u00a036, 373\u2013398 (1970)","journal-title":"Theoria"},{"key":"3_CR21","doi-asserted-by":"crossref","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, J., et al. (eds.) Approaches to Natural Language. Reidel, Dordrecht, pp. 221\u2013242 (1973)","DOI":"10.1007\/978-94-010-2506-5_10"},{"key":"3_CR22","unstructured":"Montague, R.: Formal philosophy. Selected papers of Richard Montague. In: Thomason, R. (ed.), pp. 108\u2013221. Yale University Press, New Haven, London (1974)"},{"key":"3_CR23","doi-asserted-by":"crossref","unstructured":"Davidson, D.: Truth and meaning. Philosophical Logic. Reidel, Dodrecht (1969)","DOI":"10.1007\/978-94-010-9614-0_1"},{"key":"3_CR24","doi-asserted-by":"crossref","unstructured":"Berners-Lee, T., Hendlar, J., Lassila, O.: The semantic web. Scientific American\u00a0279 (2001)","DOI":"10.1038\/scientificamerican0501-34"},{"key":"3_CR25","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-662-04396-7","volume-title":"Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce","author":"D. Fensel","year":"2001","unstructured":"Fensel, D.: Ontologies: A Silver Bullet for Knowledge Management and Electronic Commerce. Springer, Heidelberg (2001)"},{"key":"3_CR26","unstructured":"Lenzerini, M., Majki\u0107, Z.: First release of the system prototype for query management. In: Semantic Webs and Agents in Integrated Economies, D3.3 (2003) IST-2001-34825"},{"key":"3_CR27","series-title":"Lecture Notes in Computer Science","first-page":"262","volume-title":"Advanced Information Systems Engineering","author":"M. Lenzerini","year":"2002","unstructured":"Lenzerini, M., Calvanese, D., De Giacomo, G., Cal\u00ec, A.: Data Integration under Integrity Constraints. In: Pidduck, A.B., Mylopoulos, J., Woo, C.C., Ozsu, M.T. (eds.) CAiSE 2002. LNCS, vol.\u00a02348, pp. 262\u2013279. Springer, Heidelberg (2002)"},{"key":"3_CR28","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)"},{"key":"3_CR29","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1016\/0743-1066(92)90049-9","volume":"14","author":"R. Reiter","year":"1990","unstructured":"Reiter, R.: What should a database know? J. of Logic Programming\u00a014, 127\u2013153 (1990)","journal-title":"J. of Logic Programming"},{"issue":"1","key":"3_CR30","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. of Computer and System Sciences\u00a028(1), 167\u2013189 (1984)","journal-title":"J. of Computer and System Sciences"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Levy, A., Mendelzon, A., Sagiv, Y.: Answering queries using views. In: Proc. 14th ACM Symp. on Principles of Database Systems, pp. 95\u2013104 (1995)","DOI":"10.1145\/212433.220198"}],"container-title":["Lecture Notes in Computer Science","Journal on Data Semantics VI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11803034_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T16:23:31Z","timestamp":1683563011000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11803034_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540367123","9783540368717"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11803034_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}