Abstract
Provability-based semantic interoperability (PBSI) is a kind of interoperability that transcends mere syntactic translation to allow for robust, meaningful information exchange across systems employing ontologies for which mappings or matchings may not exist, and which can be evaluated by provability-based (PB) queries. We introduce a system of translation graphs to formalize the relationships between diverse ontologies and knowledge representation and reasoning systems, and to automatically generate the translation axioms governing PB information exchange and inter-system reasoning. We demonstrate the use of translation graphs on a small number of simple systems to achieve interoperability.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Choi, N., Song, I.Y., Han, H.: A survey on ontology mapping. SIGMOD Rec. 35(3), 34–41 (2006)
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–664. Springer, Heidelberg (2004)
Bringsjord, S., Ferrucci, D.: Logic and artificial intelligence: Divorced, still married, separated..? Minds and Machines 8, 273–308 (1998)
Bringsjord, S., Yang, Y.: Representations using formal logics. In: Nadel, L. (ed.) Encyclopedia of Cognitive Science, vol. 3, pp. 940–950. Nature Publishing Group, London, UK (2003)
Bringsjord, S.: Declarative/logic-based computational cognitive modeling. In: Sun, R. (ed.) The Handbook of Computational Cognitive Modeling, Cambridge University Press, Cambridge (forthcoming)
Buvač, 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–347. ACM Press, New York, NY, USA (1995)
Dou, D., McDermott, D., Qi, P.: Ontology Translation by Ontology Merging and Automated Reasoning. In: Ontology Translation by Ontology Merging and Automated Reasoning, Birkhäuser Basel, pp. 73–94 (2005)
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–954. ACM Press, New York, NY, USA (2006)
Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems, 30–37 (2001)
DARPA Agent Markup Program: DARPA Agent Markup Language Homepage (2003), http://www.daml.org/
Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format Version 3 Reference Manual (1997)
Common Logic Working Group: Common Logic Standard (2007), http://cl.tamu.edu/
MITRE: IKRIS (2007), workshop site http://nrrc.mitre.org/NRRC/ikris.htm
Goguen, J.A., Burstall, R.M.: Introducing institutions. In: Clarke, E., Kozen, D. (eds.) Logics of Programs. LNCS, vol. 164, pp. 221–256. Springer, Heidelberg (1984)
Goguen, J.A.: Information integration in institutions. In: Moss, L. (ed.) Paper for Jon Barwise memorial volume Moss (2004)
Goguen, J.A.: Data, Schema, Ontology and Logic Integration. Logic Journal IGPL 13(6), 685–715 (2005)
Manzano, M.: Extensions of First Order Logic. Cambridge University Press, Cambridge (1996)
Arkoudas, K.: Athena (2005), http://www.cag.csail.mit.edu/~kostas/dpls/athena
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)
Chappell, A., Bringsjord, S., Shilliday, A., Taylor, J., Wright, W.: Integration Experiment with GeoTime, Slate, and VIKRS. ARIVA Principle Investigator Meeting Handout (2007)
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)
Fuchs, N.E., Kaljurand, K.: Attempto Controlled English: Language, tools and applications. Lecture / Presentation (2006)
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)
Bringsjord, S., Shilliday, A., Taylor, J.: Slate (2007), http://www.cogsci.rpi.edu/slate/
Bringsjord, S., Clark, M., Shilliday, A., Taylor, J.: Solomon (2007), http://www.cogsci.rpi.edu/solomon/
Barker-Plummer, D., Greaves, M.: Architectures for Heterogeneous Reasoning on Interlinguae (1998)
Menzel, C.: Common Logic Standard. In: Santa Fe, Metatdata Forum Symposium on Ontologies (2003), Presentation of the case for Common Logic
Genesereth, M.R., Nilsson, N.J.: Logical foundations of artificial intelligence. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1987)
Rich, C., Waters, R.C.: Automatic programming: Myths and prospects. Computer 21(8), 40–51 (1988)
Antoniou, G., Franconi, E., van Harmelen, F.: Introduction to semantic web ontology languages. In: Eisinger, N., Małuszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, Springer, Heidelberg (2005)
Smith, B.: The basic tools of formal ontology. In: Guarino, N. (ed.) Formal Ontology in Information Systems, pp. 19–28. IOS Press, Amsterdam (1998)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Taylor, J., Shilliday, A., Bringsjord, S. (2007). Provability-Based Semantic Interoperability Via Translation Graphs. In: Hainaut, JL., et al. Advances in Conceptual Modeling – Foundations and Applications. ER 2007. Lecture Notes in Computer Science, vol 4802. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-76292-8_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-76292-8_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-76291-1
Online ISBN: 978-3-540-76292-8
eBook Packages: Computer ScienceComputer Science (R0)