Provability-based semantic interoperability via translation graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4802 LNCS, Issue , 2007, Pages 180-189

  Taylor, Joshua ^a   Shilliday, Andrew ^a   Bringsjord, Selmer ^a  

^a RENSSELAER POLYTECHNIC INSTITUTE   (United States)

Author keywords

Provability based semantic interoperability; Translation graphs

Indexed keywords

COMPUTER GRAPHICS; INFORMATION DISSEMINATION; KNOWLEDGE REPRESENTATION; PROBLEM SOLVING; SEMANTICS;

PROVABILITY-BASED SEMANTIC INTEROPERABILITY; TRANSLATION GRAPHS;

ONTOLOGY;

EID: 38349120814     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-76292-8_21     Document Type: Conference Paper

References (31)

1. Choi, N., Song, I.Y., Han, H.: A survey on ontology mapping. SIGMOD Rec. 35(3), 34-41 (2006)
2. 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)
3. Bringsjord, S., Ferrucci, D.: Logic and artificial intelligence: Divorced, still married, separated..? Minds and Machines 8, 273-308 (1998)
4. 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)
5. Bringsjord, S.: Declarative/logic-based computational cognitive modeling. In: Sun, R. (ed.) The Handbook of Computational Cognitive Modeling, Cambridge University Press, Cambridge (forthcoming)
6. 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)
7. 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)
8. 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)
9. Hendler, J.: Agents and the Semantic Web. IEEE Intelligent Systems, 30-37 (2001)
10. DARPA Agent Markup Program: DARPA Agent Markup Language Homepage (2003), http://www.daml.org/
11. Genesereth, M.R., Fikes, R.E.: Knowledge Interchange Format Version 3 Reference Manual (1997)
12. Common Logic Working Group: Common Logic Standard (2007), http://cl.tamu.edu/
13. MITRE: IKRIS (2007), workshop site http://nrrc.mitre.org/NRRC/ikris.htm
14. 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)
15. Goguen, J.A.: Information integration in institutions. In: Moss, L. (ed.) Paper for Jon Barwise memorial volume Moss (2004)
16. Goguen, J.A.: Data, Schema, Ontology and Logic Integration. Logic Journal IGPL 13(6), 685-715 (2005)
17. Manzano, M.: Extensions of First Order Logic. Cambridge University Press, Cambridge (1996)
18. Arkoudas, K.: Athena (2005), http://www.cag.csau.mit.edu/~kostas/dpls/ athena
19. 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)
20. Chappell, A., Bringsjord, S., Shilliday, A., Taylor, J., Wright, W.: Integration Experiment with GeoTime, Slate, and VIKRS. ARIVA Principle Investigator Meeting Handout (2007)
21. 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)
22. Fuchs, N.E., Kaljurand, K.: Attempto Controlled English: Language, tools and applications. Lecture / Presentation (2006)
23. 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)
24. Bringsjord, S., Shilliday, A., Taylor, J.: Slate (2007), http://www.cogsci.rpi.edu/slate/
25. Bringsjord, S., Clark, M., Shilliday, A., Taylor, J.: Solomon (2007), http://www.cogsci.rpi.edu/solomon/
26. Barker-Plummer, D., Greaves, M.: Architectures for Heterogeneous Reasoning on Interlinguae (1998)
27. Menzel, C.: Common Logic Standard. In: Santa Fe, Metatdata Forum Symposium on Ontologies (2003) Presentation of the case for Common Logic
28. Genesereth, M.R., Nilsson, N.J.: Logical foundations of artificial intelligence. Morgan Kaufmann Publishers Inc., San Francisco, CA, USA (1987)
29. Rich, C., Waters, R.C.: Automatic programming: Myths and prospects. Computer 21(8), 40-51 (1988)
30. Antoniou, G., Franconi, E., van Harmelen, F.: Introduction to semantic web ontology languages. In: Eisinger, N., Maluszyński, J. (eds.) Reasoning Web. LNCS, vol. 3564, Springer, Heidelberg (2005)
31. Smith, B.: The basic tools of formal ontology. In: Guarino, N. (ed.) Formal Ontology in Information Systems, pp. 19-28. IOS Press, Amsterdam (1998)