{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T10:45:46Z","timestamp":1725533146560},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642006845"},{"type":"electronic","value":"9783642006852"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-00685-2_5","type":"book-chapter","created":{"date-parts":[[2009,6,8]],"date-time":"2009-06-08T10:17:56Z","timestamp":1244456276000},"page":"131-152","source":"Crossref","is-referenced-by-count":1,"title":["Intensional First-Order Logic for P2P Database Systems"],"prefix":"10.1007","author":[{"given":"Zoran","family":"Majki\u0107","sequence":"first","affiliation":[]}],"member":"297","reference":[{"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":"5_CR1"},{"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":"5_CR2"},{"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":"5_CR3"},{"key":"5_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"},{"doi-asserted-by":"crossref","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 (1984)","key":"5_CR5","DOI":"10.1007\/978-1-4612-5196-5_8"},{"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":"5_CR6"},{"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)","key":"5_CR7","DOI":"10.1145\/1055558.1055593"},{"unstructured":"Lenzerini, M., Majki\u0107, Z.: General framework for query reformulation. Semantic Webs and Agents in Integrated Economies, D3.1, IST-2001-34825 (February 2003)","key":"5_CR8"},{"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)","key":"5_CR9","DOI":"10.1007\/978-3-540-24629-9_6"},{"key":"5_CR10","doi-asserted-by":"publisher","first-page":"5","DOI":"10.2307\/2940824","volume":"90","author":"G. Bealer","year":"1993","unstructured":"Bealer, G.: Universals. The Journal of Philosophy\u00a090, 5\u201332 (1993)","journal-title":"The Journal of Philosophy"},{"key":"5_CR11","first-page":"17","volume-title":"Philosophical Perspectives","author":"G. Bealer","year":"1993","unstructured":"Bealer, G.: A solution to Frege\u2019s puzzle. In: Tomberlin, J. (ed.) Philosophical Perspectives, vol.\u00a07, pp. 17\u201361. Ridgeview Press, Atascadero (1993)"},{"key":"5_CR12","doi-asserted-by":"publisher","first-page":"187","DOI":"10.1016\/0743-1066(93)90039-J","volume":"15","author":"W. Chen","year":"1993","unstructured":"Chen, W., Kifer, M., Warren, D.S.: HiLog: A foundation for higher-order logic programming. Journal of Logic Programming\u00a015, 187\u2013230 (1993)","journal-title":"Journal of Logic Programming"},{"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)","key":"5_CR13","DOI":"10.1007\/978-3-540-24629-9_7"},{"doi-asserted-by":"crossref","unstructured":"Calvanese, D., De Giacomo, G., Lembo, D., Lenzerini, M., Rosati, R.: Inconsistency tollerance in P2P data integration: an epistemic approach. In: Proc. 10th Int. Workshop on Database Programming Language (2005)","key":"5_CR14","DOI":"10.1007\/11601524_6"},{"doi-asserted-by":"crossref","unstructured":"Majki\u0107, Z.: Intensional semantics for P2P data integration. In: LNCS Journal on Data Semantics VI, Special Issue on \u2018Emergent Semantics\u2019, April 15 (2006)","key":"5_CR15","DOI":"10.1007\/11803034_3"},{"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":"5_CR16"},{"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-September 3 (2004)","key":"5_CR17","DOI":"10.1109\/DEXA.2004.1333528"},{"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":"5_CR18"},{"unstructured":"Majki\u0107, Z.: Non omniscient intensional contextual reasoning for query-agents in P2P systems. In: 3rd Indian International Conference on Artificial Intelligence (IICAI 2007), Pune, India, December 17-19 (2007)","key":"5_CR19"},{"key":"5_CR20","series-title":"STUDFUZZ","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/978-3-540-77465-5_17","volume-title":"Book on Soft Computing Applications in Industry","author":"Z. Majki\u0107","year":"2008","unstructured":"Majki\u0107, Z., Prasad, B.: Soft query-answering computing in P2P systems with epistemically independent peers. In: Book on Soft Computing Applications in Industry. STUDFUZZ, vol.\u00a0226, pp. 331\u2013356. Springer, Berlin (2008)"},{"doi-asserted-by":"crossref","unstructured":"Lenzerini, M.: Data integration: A theoretical perspective, pp. 233\u2013246 (2002)","key":"5_CR21","DOI":"10.1145\/543643.543644"},{"key":"5_CR22","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":"5_CR23","first-page":"1070","volume-title":"Proc. of the Fifth Logic Programming Symposium","author":"M. Gelfond","year":"1988","unstructured":"Gelfond, M., Lifshitz, V.: The stable model semantics for logic programming. In: Proc. of the Fifth Logic Programming Symposium, pp. 1070\u20131080. MIT Press, Cambridge (1988)"},{"unstructured":"Majki\u0107, Z.: Plausible query-answering inference in data integration. In: 18th International Florida Artificial Intelligence Conference (FLAIRS 2005), Clearwater Beach, USA, May 15-17 (2005)","key":"5_CR24"},{"unstructured":"Majki\u0107, Z.: Fixpoint semantics for query answering in data integration systems. In: AGP 2003 - 8.th Joint Conference on Declarative Programming, Reggio Calabria, pp. 135\u2013146 (2003)","key":"5_CR25"},{"unstructured":"Majki\u0107, Z.: Autoepistemic logic programming for reasoning with inconsistency. In: International Symposium on Logic-based Program Synthesis and Transformation (LOPSTR), Imperial College, London, UK, September 7-9 (2005)","key":"5_CR26"},{"key":"5_CR27","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1093\/jigpal\/8.3.339","volume":"8","author":"P. Blackburn","year":"2000","unstructured":"Blackburn, P.: Representation, reasoning, and relational structures: a hybrid logic manifesto. Methods for Modalities 1, Logic Journal of the IGPL\u00a08, 339\u2013365 (2000)","journal-title":"Methods for Modalities 1, Logic Journal of the IGPL"},{"key":"5_CR28","doi-asserted-by":"publisher","first-page":"634","DOI":"10.2307\/2025697","volume":"76","author":"G. Bealer","year":"1979","unstructured":"Bealer, G.: Theories of properties, relations, and propositions. The Journal of Philosophy\u00a076, 634\u2013648 (1979)","journal-title":"The Journal of Philosophy"},{"key":"5_CR29","doi-asserted-by":"publisher","DOI":"10.1093\/acprof:oso\/9780198244288.001.0001","volume-title":"Quality and concept","author":"G. Bealer","year":"1982","unstructured":"Bealer, G.: Quality and concept. Oxford University Press, USA (1982)"},{"key":"5_CR30","volume-title":"On the prularity of worlds","author":"D.K. Lewis","year":"1986","unstructured":"Lewis, D.K.: On the prularity of worlds. Blackwell, Oxford (1986)"},{"key":"5_CR31","volume-title":"Inquiry","author":"R. Stalnaker","year":"1984","unstructured":"Stalnaker, R.: Inquiry. MIT Press, Cambridge (1984)"},{"key":"5_CR32","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":"5_CR33","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1007\/978-94-010-2506-5_10","volume-title":"Approaches to Natural Language","author":"R. Montague","year":"1973","unstructured":"Montague, R.: The proper treatment of quantification in ordinary English. In: Hintikka, J., et al. (eds.) Approaches to Natural Language, pp. 221\u2013242. Reidel, Dordrecht (1973)"},{"key":"5_CR34","first-page":"108","volume-title":"selected papers of Richard Montague","author":"R. Montague","year":"1974","unstructured":"Montague, R.: Formal philosophy. In: Thomason, R. (ed.) selected papers of Richard Montague, pp. 108\u2013221. Yale University Press, New Haven (1974)"},{"unstructured":"Lembo, D., Lenzerini, M., Rosati, R.: Source inconsistency and incompleteness in data integration. CEUR Electronic Workshop Proceedings (2002), http:\/\/ceur-ws.org\/Vol-54\/","key":"5_CR35"},{"key":"5_CR36","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/IDEAS.2005.47","volume-title":"9th International Database Engineering and Application Symposium (IDEAS)","author":"Z. Majki\u0107","year":"2005","unstructured":"Majki\u0107, Z.: Querying with negation in data integration systems. In: 9th International Database Engineering and Application Symposium (IDEAS), Montreal, Canada, July 25-27, pp. 58\u201370. IEEE Computer Society, Los Alamitos (2005)"},{"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)","key":"5_CR37","DOI":"10.1145\/212433.220198"},{"unstructured":"Majki\u0107, Z.: Coalgebraic specification of query computation in intensional P2P database systems. In: Int. Conference on Theoretical and Mathematical Foundations of Computer Science (TMFCS 2008), Orlando FL, USA, July 9-11 (2008)","key":"5_CR38"}],"container-title":["Lecture Notes in Computer Science","Journal on Data Semantics XII"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-00685-2_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,25]],"date-time":"2023-05-25T12:11:22Z","timestamp":1685016682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-00685-2_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642006845","9783642006852"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-00685-2_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}