{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T00:00:31Z","timestamp":1725494431996},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540762911"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-76292-8_21","type":"book-chapter","created":{"date-parts":[[2007,11,12]],"date-time":"2007-11-12T13:38:29Z","timestamp":1194874709000},"page":"180-189","source":"Crossref","is-referenced-by-count":0,"title":["Provability-Based Semantic Interoperability Via Translation Graphs"],"prefix":"10.1007","author":[{"given":"Joshua","family":"Taylor","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andrew","family":"Shilliday","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Selmer","family":"Bringsjord","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"21_CR1","doi-asserted-by":"publisher","first-page":"34","DOI":"10.1145\/1168092.1168097","volume":"35","author":"N. Choi","year":"2006","unstructured":"Choi, N., Song, I.Y., Han, H.: A survey on ontology mapping. SIGMOD Rec.\u00a035(3), 34\u201341 (2006)","journal-title":"SIGMOD Rec."},{"key":"21_CR2","doi-asserted-by":"crossref","first-page":"654","DOI":"10.1007\/978-3-540-24655-8_71","volume-title":"Advanced Technologies and Applications: Proceedings of Sitch Asia Pacific Web Conference","author":"G. Wang","year":"2004","unstructured":"Wang, G., Goguen, J.A., Nam, Y.K., Lin, K.: Critical points for interactive schema matching. In: Yu, J.X., Lin, X., Lu, H., Zhang, Y. (eds.) Advanced Technologies and Applications: Proceedings of Sitch Asia Pacific Web Conference, Hangzhou, China, pp. 654\u2013664. Springer, Heidelberg (2004)"},{"key":"21_CR3","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1023\/A:1008250617134","volume":"8","author":"S. Bringsjord","year":"1998","unstructured":"Bringsjord, S., Ferrucci, D.: Logic and artificial intelligence: Divorced, still married, separated..? Minds and Machines\u00a08, 273\u2013308 (1998)","journal-title":"Minds and Machines"},{"key":"21_CR4","first-page":"940","volume-title":"Encyclopedia of Cognitive Science","author":"S. Bringsjord","year":"2003","unstructured":"Bringsjord, S., Yang, Y.: Representations using formal logics. In: Nadel, L. (ed.) Encyclopedia of Cognitive Science, vol.\u00a03, pp. 940\u2013950. Nature Publishing Group, London, UK (2003)"},{"key":"21_CR5","unstructured":"Bringsjord, S.: Declarative\/logic-based computational cognitive modeling. In: Sun, R. (ed.) The Handbook of Computational Cognitive Modeling, Cambridge University Press, Cambridge (forthcoming)"},{"key":"21_CR6","doi-asserted-by":"publisher","first-page":"340","DOI":"10.1145\/221270.221610","volume-title":"CIKM 1995","author":"S. Buva\u010d","year":"1995","unstructured":"Buva\u010d, S., Fikes, R.: Proceedings of the fourth international conference on Information and knowledge management. In: CIKM 1995. Proceedings of the fourth international conference on Information and knowledge management, pp. 340\u2013347. ACM Press, New York, NY, USA (1995)"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Dou, D., McDermott, D., Qi, P.: Ontology Translation by Ontology Merging and Automated Reasoning. In: Ontology Translation by Ontology Merging and Automated Reasoning, Birkh\u00e4user Basel, pp. 73\u201394 (2005)","DOI":"10.1007\/3-7643-7361-X_4"},{"key":"21_CR8","doi-asserted-by":"publisher","first-page":"952","DOI":"10.1145\/1160633.1160803","volume-title":"AAMAS 2006","author":"D. Dou","year":"2006","unstructured":"Dou, D., McDermott, D.: Deriving axioms across ontologies. In: AAMAS 2006. Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, pp. 952\u2013954. ACM Press, New York, NY, USA (2006)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems, 30\u201337 (2001)","DOI":"10.1109\/5254.920597"},{"key":"21_CR10","unstructured":"DARPA Agent Markup Program: DARPA Agent Markup Language Homepage (2003), http:\/\/www.daml.org\/"},{"key":"21_CR11","unstructured":"Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format Version 3 Reference Manual (1997)"},{"key":"21_CR12","unstructured":"Common Logic Working Group: Common Logic Standard (2007), http:\/\/cl.tamu.edu\/"},{"key":"21_CR13","unstructured":"MITRE: IKRIS (2007), workshop site http:\/\/nrrc.mitre.org\/NRRC\/ikris.htm"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"221","DOI":"10.1007\/3-540-12896-4_366","volume-title":"Logics of Programs","author":"J.A. Goguen","year":"1984","unstructured":"Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Clarke, E., Kozen, D. (eds.) Logics of Programs. LNCS, vol.\u00a0164, pp. 221\u2013256. Springer, Heidelberg (1984)"},{"key":"21_CR15","unstructured":"Goguen, J.A.: Information integration in institutions. In: Moss, L. (ed.) Paper for Jon Barwise memorial volume Moss (2004)"},{"issue":"6","key":"21_CR16","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1093\/jigpal\/jzi050","volume":"13","author":"J.A. Goguen","year":"2005","unstructured":"Goguen, J.A.: Data, Schema, Ontology and Logic Integration. Logic Journal IGPL\u00a013(6), 685\u2013715 (2005)","journal-title":"Logic Journal IGPL"},{"key":"21_CR17","volume-title":"Extensions of First Order Logic","author":"M. Manzano","year":"1996","unstructured":"Manzano, M.: Extensions of First Order Logic. Cambridge University Press, Cambridge (1996)"},{"key":"21_CR18","unstructured":"Arkoudas, K.: Athena (2005), http:\/\/www.cag.csail.mit.edu\/~kostas\/dpls\/athena"},{"key":"21_CR19","unstructured":"Kapler, T., Harper, R., Wright, W.: Correlating Events with Tracked Movements in Time and Space: A GeoTime Case Study. In: IA 2005. Proceedings of the 2005 International Conference on Intelligence Analysis, McLean, VA, USA (2005)"},{"key":"21_CR20","unstructured":"Chappell, A., Bringsjord, S., Shilliday, A., Taylor, J., Wright, W.: Integration Experiment with GeoTime, Slate, and VIKRS. ARIVA Principle Investigator Meeting Handout (2007)"},{"key":"21_CR21","unstructured":"Strzalkowski, T., Small, S., Hardy, H., Yamrom, B., Liu, T., Kantor, P., Ng, K.B., Wacholder, N.: HITIQA: A Question Answering Analytical Tool. In: Conference Proceedings of the 2005 International Conference on Intelligence Analysis, McLean, VA, USA, MITRE, Sponsored by the Office of the Assistant Director of Central Intelligence for Analysis and Production (2005)"},{"key":"21_CR22","unstructured":"Fuchs, N.E., Kaljurand, K.: Attempto Controlled English: Language, tools and applications. Lecture \/ Presentation (2006)"},{"key":"21_CR23","unstructured":"Bringsjord, S., Arkoudas, K., Clark, M., Shilliday, A., Taylor, J., Schimanski, B., Yang, Y.: Reporting on some logic-based machine reading research. In: Proceedings of the 2007 AAAI Spring Symposium on Machine Reading (2007)"},{"key":"21_CR24","unstructured":"Bringsjord, S., Shilliday, A., Taylor, J.: Slate (2007), http:\/\/www.cogsci.rpi.edu\/slate\/"},{"key":"21_CR25","unstructured":"Bringsjord, S., Clark, M., Shilliday, A., Taylor, J.: Solomon (2007), http:\/\/www.cogsci.rpi.edu\/solomon\/"},{"key":"21_CR26","unstructured":"Barker-Plummer, D., Greaves, M.: Architectures for Heterogeneous Reasoning on Interlinguae (1998)"},{"key":"21_CR27","unstructured":"Menzel, C.: Common Logic Standard. In: Santa Fe, Metatdata Forum Symposium on Ontologies (2003), Presentation of the case for Common Logic"},{"key":"21_CR28","volume-title":"Logical foundations of artificial intelligence","author":"M.R. Genesereth","year":"1987","unstructured":"Genesereth, M.R., Nilsson, N.J.: Logical foundations of artificial intelligence. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1987)"},{"issue":"8","key":"21_CR29","doi-asserted-by":"publisher","first-page":"40","DOI":"10.1109\/2.75","volume":"21","author":"C. Rich","year":"1988","unstructured":"Rich, C., Waters, R.C.: Automatic programming: Myths and prospects. Computer\u00a021(8), 40\u201351 (1988)","journal-title":"Computer"},{"key":"21_CR30","series-title":"Lecture Notes in Computer Science","volume-title":"Reasoning Web","author":"G. Antoniou","year":"2005","unstructured":"Antoniou, G., Franconi, E., van Harmelen, F.: Introduction to semantic web ontology languages. In: Eisinger, N., Ma\u0142uszy\u0144ski, J. (eds.) Reasoning Web. LNCS, vol.\u00a03564, Springer, Heidelberg (2005)"},{"key":"21_CR31","first-page":"19","volume-title":"Formal Ontology in Information Systems","author":"B. Smith","year":"1998","unstructured":"Smith, B.: The basic tools of formal ontology. In: Guarino, N. (ed.) Formal Ontology in Information Systems, pp. 19\u201328. IOS Press, Amsterdam (1998)"}],"container-title":["Lecture Notes in Computer Science","Advances in Conceptual Modeling \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-76292-8_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T10:45:47Z","timestamp":1619520347000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-76292-8_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540762911"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-76292-8_21","relation":{},"subject":[]}}