Formal support for representing and automating semantic interoperability

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

Volumn 3053, Issue , 2004, Pages 45-60

  Kalfoglou, Yannis ^a   Schorlemmer, Marco ^b  

^a UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

^b UNIVERSITAT INTERNACIONAL DE CATALUNYA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

INTEROPERABILITY;

FORMALISATION; INFORMATION FLOWS; ONTOLOGY MAPPING; SEMANTIC HETEROGENEITY; SEMANTIC INTEROPERABILITY; THEORETICAL FRAMEWORK;

SEMANTIC WEB;

EID: 35048855536     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-25956-5_4     Document Type: Article

References (26)

1. F. Baader, D. Calvanese, D. McGuinness, D. Nardi, and P. Pater-Schneider. The Description Logic Handbook. Cambridge University Press, 2003.
2. M. Barr. The Chu construction. Theory and Applications of Categories, 2(2):17-35, 1996.
3. J. Barwise and J. Seligman. Information Flow. Cambridge University Press, 1997.
4. T. Bench-Capon and G. Malcolm. Formalising ontologies and their relations. Database and Expert Systems Applications, Proc. 10th Int. Conf., LNCS 1677, pp. 250-259, Springer, 1999.
5. T. Berners-Lee, J. Hendler, and O. Lassila. The Semantic Web. Scientific American, May 2001.
6. M. Ciocoiu and D. Nau. Ontology-based semantics. Proc. 7th International Conference on the Principles of Knowledge Representation and Reasoning, pp. 539-548, 2000.
7. F. Corrêa da Silva, W. Vasconcelos, D. Robertson, V. Brilhante, A. de Melo, M. Finger, and J. Agustí. On the insufficiency of ontologies: Problems in knowledge sharing and alternative solutions. Knowledge Based Systems, 15(3):147-167, 2002.
8. K. Devlin. Logic and Information. Cambridge University Press, 1991.
9. F. Dretske. Knowledge and the Flow of Information. MIT Press, 1981.
10. A. Finkelstein, D. Gabbay, A. Hunter, J. Kramer, and B. Nuseibeh. Inconsistency handling in multi-perspective specifications. IEEE Trans. on Software Engineering, 20(8):569-578, 1994.
11. B. Ganter and R. Wile. Formal Concept Analysis. Springer, 1999.
12. V. Gupta. Chu Spaces: A Model of Concurrency. PhD thesis, Stanford University, 1994.
13. R. Kent. A KIF formalization of the IFF category theory ontology. Proc. IJCAI'01 Workshop on the IEEE Standard Upper Ontology, 2001.
14. R. Kent. The IFF foundation for ontological knowledge organization. Knowledge Organization and Classification in International Information Retrieval, Cataloging and Classification Quarterly, The Haworth Press Inc., 2003.
15. Y. Kalfoglou and M. Schorlemmer. IF-Map: an ontology-mapping method based on information-flow theory. Journal on Data Semantics I, LNCS 2800, pp. 98-127, Springer, 2003
16. J. Madhavan, P. Bernstein, P. Domingos, and A. Halevy. Representing and reasoning about mappings between domain models. Proc. 18th Nat. Conf. on AI, 2002.
17. D. McGuinness and F. van Harmelen, eds. OWL Web Ontology Language. W3C Recommendation, 10 February 2004. http://www.w3.org/TR/2004/REC-owl-reatures-20040210/
18. S. McLane. Categories for the Working Mathematician. Springer, 2nd edition, 1998.
19. C. Menzel. Ontology theory. Ontologies and Semantic Interoperability, Proc. ECAI-02 Workshop, CEUR-WS 64, 2002.
20. P. Mitra and G. Wiederhold. Resolving terminological heterogeneity in ontologies. Ontologies and Semantic Interoperability, Proc. ECAI-02 Workshop, CEUR-WS 64, 2002.
21. J. Pollock. The Web Services Scandal: How data semantics have been overlooked in integration solutions. eAI Journal, pp. 20-23, August 2002.
22. A. Sheth and J. Larson. Federated database systems for managing distributed, heterogeneous, and autonomous databases. ACM Computing Surveys, 22(3):183-230, 1990.
23. J. Sowa. Knowledge Representation. Brooks/Cole, 2000.
24. G. Stumme and A. Maedche. FCA-Merge: Bottom-up merging of ontologies. Proc. 17th International Joint Conference on Artificial Intelligence, pp. 225-230, 2001.
25. R. Turner. Properties, propositions and semantic theory. Computational linguistics and formal semantics, chapter 5. Cambridge University Press, 1992.
26. M. Uschold. Creating semantically integrated communities on the World Wide Web. WWW'02 Semantic Web Workshop, 2002.