A formal foundation for ontology-alignment interaction models

International Journal on Semantic Web and Information Systems

Volumn 3, Issue 2, 2007, Pages 50-68

  Schorlemmer, Marco ^a   Kalfoglou, Yannis ^b   Atencia, Manuel ^a  

^a CSIC   (Spain)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Agent interaction; Information flow theory; Ontologies; Semantic matching

Indexed keywords

ABSTRACTING; FOUNDATIONS; INTEROPERABILITY; SPECIFICATION LANGUAGES;

AGENT INTERACTION; EXECUTABLE SPECIFICATION LANGUAGES; HETEROGENEOUS AGENTS; INFORMATION FLOWS; LEVELS OF AUTOMATION; MATHEMATICAL NOTION; SEMANTIC INTEROPERABILITY; SEMANTIC MATCHING;

ONTOLOGY;

EID: 72549117998     PISSN: 15526283     EISSN: 15526291     Source Type: Journal    
DOI: 10.4018/jswis.2007040103     Document Type: Article

References (38)

1. Alagic, S., & Bernstein, P. (2002). A model theory for generic schema management. In G. Ghelli & G. Grahne (Eds.), Database programming languages (LNCS Vol. 2397, pp. 228-246). Springer.
2. Bailin, S., & Truszkowski, W. (2002). Ontology negotiation between intelligent information agents. The Knowledge Engineering Review, 17(1), 7-19.
3. Barr, M. (1996). The Chu construction. Theory and Applications of Categories, 2(2), 17-35.
4. Barwise, J., & Seligman, J. (1997). Information flow: The logic of distributed systems. Cambridge University Press.
5. Bench-Capon, T., Malcolm, G., & Shave, M. (2003). Semantics for interoperability: Relating ontologies and schemata. In V. Marík, W. Retschitzegger, & O. Stepánková (Eds.), Database and expert systems applications (LNCS Vol. 2736, pp. 703-712). Springer.
6. Bouquet, P., Serafini, L., & Zanobini, S. (2003). Semantic coordination: A new approach and application. In D. Fensel, K. Sycara, & J. Mylopulos (Eds.), The Semantic Web. ISWC 2003 (LNCS Vol. 2870, pp. 130-145). Springer.
7. CiteSeer (2003). Estimated impact of publication venues in computer science. Retrieved April 2, 2007, from http://citeseer.ist.psu.edu/impact.html
8. Corrêa da Silva, F., & Agustí, J. (2003). Knowledge coordination. Wiley.
9. Doan, A., & Halevy, A. Y. (2005). Semantic integration research in the database community: A brief survey. AI Magazine, 26(1), 83-94.
10. Dunn, J. M., & Hardegree, G. M. (2001). Algebraic methods in philosophical logic. Oxford University Press.
11. Enderton, H. (2002). A mathematical introduction to logic (2nd ed.). Academic Press.
12. Farquhar, A., Fikes, R., & Rice, J. (1997). The ontolingua server: A tool for collaborative ontology construction. International Journal of Human-Computer Studies, 46(6), 707-727.
13. Ganter, B., & Wille, R. (1999). Formal concept analysis. Springer.
14. Garfield, E. (1994). The ISI impact factor. Retrieved April 3, 2007, from http://scientific. thomson.com/free/essays/journalcitationreports/impactfactor/
15. Giunchiglia, F., & Shvaiko, P. (2003). Semantic matching. The Knowledge Engineering Review, 18(3), 265-280.
16. Goguen, J. (in press). Information integration in institutions. Retrieved April 3, 2007, from http://www.cs.ucsd.edu/users/goguen/
17. Goguen, J. & Burstall, R. (1992). Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1), 95-146.
18. Journal Citation Reports (2005). Science edition. Thompson Scientific.
19. Kalfoglou, Y., & Schorlemmer, M. (2003a). IF-Map: An ontology-mapping method based on information-flow theory. In S. Spaccapietra, S. March, & K. Aberer (Eds.), Journal on data semantics I (LNCS Vol. 2800, pp. 98-127). Springer.
20. Kalfoglou, Y., & Schorlemmer, M. (2003b). Ontology mapping: The sate of the art. The Knowledge Engineering Review, 18(1), 1-31.
21. Kalfoglou, Y., & Schorlemmer, M. (2004). Formal support for representing and automating semantic interoperability. In C. Bussler, J. Davies, D. Fensel, & R. Studer (Eds.), The Semantic Web: Research and applications (LNCS Vol. 3053, pp. 45-60). Springer.
22. Kent, R. E. (2000). The information flow foundation for conceptual knowledge organization. In C. Beghtol, L. Howarth, & N. J. Williamson (Eds.), Dynamism and stability in knowledge organization: Proceedings of the sixth international ISKO conference. Advances in Knowledge Organization (Vol. 7). Würzburg: Ergon.
23. Kent, R. E. (2005). Semantic integration in the information flow framework. In Y. Kalfoglou, M. Schorlemmer, A. Sheth, S. Staab, & M. Uschold (Eds.), Semantic interoperability and integration, Dagstuhl Seminar Proceedings (Vol. 04391). IBFI: Schloss Dagstuhl, Germany.
24. Lenat, D. (1995). CyC: A large-scale investment in knowledge infrastructure. Communications of the ACM, 38(11).
25. Noy, N. F. (2004). Semantic integration: A survey of ontology-based approaches. SIGMOD Record, 33(4), 65-69.
26. OpenKnowledge (2006). Retrieved April 3, 2007, from http://www.openk.org/
27. Pratt, V. (1995). The stone gamut: A coordinatiztion of mathematics. In Proceedings of the 10th Annual IEEE Symposium on Logic in Computer Science (pp. 444-454). IEEE Computer Society Press.
28. Pratt, V. (2001). Orthocurrence as both interaction and observation. In R. Rodriguez & F. Anger (Eds.), IJCAI-01 Workshop on Spatial and Temporal Reasoning.
29. Rahm, E., & Bernstein, P. A. (2001). A survey of approaches to automatic schema matching. The VLDB Journal, 10(4), 334-350.
30. Robertson, D. (2004). Multi-agent coordination as distributed logic programming. In B. Demoen & V. Lifschitz (Eds.), Logic programming (LNCS Vol. 3132, pp. 416-430). Springer.
31. Schorlemmer, M., & Kalfoglou, Y. (2003). On semantic interoperability and the flow of information. In A. Doan, A. Halevy, & N. Noy (Eds.), Semantic integration, Proceedings of the ISWC 2003 workshop, CEUR workship proceedings (Vol. 82).
32. Schorlemmer, M., & Kalfoglou, Y. (2005). Progressive ontology alignment for meaning coordination: An information-theoretic foundation. In F. Dignum, et al. (Eds.), In Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 737-744). ACM Press.
33. Sheth, A., & Larson, J. (1990). Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 22(3), 183-236.
34. Shvaiko, P., & Euzenat, J. (2005). A survey of schema-based matching approaches. In S. Spaccapietra, S. March, & K. Aberer (Eds.), Journal on data semantics IV (LNCS Vol. 3730, pp. 146-171). Springer.
35. Standard Upper Ontology Working Group (2003, December 18). Retrieved April 3, 2007, from http://suo.ieee.org/
36. van Diggelen, J., Beun, R.-J., Dignum, F., van Eijk, R. M., & Meyer, J.-J. (2006). ANEMONE: An effective minimal ontology negotiation environment. In P. Stone & G. Weiss (Eds.). In Proceedings of the Fifth International Joint Conference on Autonomous Agents and Multiagent Systems (pp. 899-906). ACM Press.
37. Wang, J., & Gasser, L. (2002). Mutual online ontology alignment. In S. Cranefiel, T. Finnin, & S. Willmott (Eds.), OAS'02: Ontologies in agent systems, Proceedings of the AAMAS 2002 workshop, CEUR workshop proceedings (Vol. 66).
38. Zimmermann, A., Krötzsch, M., Euzenat, J., & Hitzler, P. (2006). Formalizing ontology alignment and its operations with category theory. In B. Bennett & C. Fellbaum (Eds.), Formal ontology in information systems, Proceedings of the fourth international conference (FOIS 2006), Frontiers in artificial intelligence and applications (Vol. 150). IOS Press.