Institutionalising ontology-based semantic integration

Applied Ontology

Volumn 3, Issue 3, 2008, Pages 131-150

  Schorlemmer, Marco ^a   Kalfoglou, Yannis ^b  

^a ARTIFICIAL INTELLIGENCE RESEARCH INSTITUTE IIIA CSIC   (Spain)

^b UNIVERSITY OF SOUTHAMPTON   (United Kingdom)

Author keywords

Institutions; Ontological commitment; Ontologies; Semantic integration

Indexed keywords

EID: 85013587350     PISSN: 15705838     EISSN: 18758533     Source Type: Journal    
DOI: 10.3233/AO-2008-0041     Document Type: Article

References (64)

1. Alagić, S. & Bernstein, P. (2002). A model theory for generic schema management. In G. Ghelli & G. Grahne (eds), Database Programming Languages, Lecture Notes in Computer Science (Vol. 2397, pp. 228-246). Springer.
2. Atencia, M. & Schorlemmer, M. (2007). A formal model for situated semantic alignment. In E.H. Durfee & M. Yokoo (eds), Proceedings of the Sixth International Joint Conference on Autonomous Agents and Multiagent Systems, May 14-18, 2007, Honolulu, Hawaii (pp. 1270-1277). International Foundation for Autonomous Agents andMultiagent Systems (IFAAMAS).
3. Barr, M. & Wells, C. (1999). Category Theory for Computing Science (3rd edn). Centre de Recherches Mathématiques, Université de Montreal.
4. Bench-Capon, T. & Malcolm, G. (1999). Formalising ontologies and their relations. In T. Bench-Capon, G. Soda & A.M. Tjoa (eds), Database and Expert Systems Applications, Lecture Notes in Computer Science (Vol. 1677, pp. 250-259). Springer.
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, Lecture Notes in Computer Science (Vol. 2736, pp. 703-712). Springer.
6. Benjamins, R., Euzenat, J., Noy, N., Shvaiko, P., Stuckenschmidt, H. & Uschold, M., eds (2006). In International Workshop on Ontology Matching. Co-located with the 5th International Semantic Web Conference ISWC-2006, November 5, 2006, Athens, GA.
7. Borst, P., Akkermans, H. & Top, J. (1997). Engineering ontologies. International Journal of Human-Computer Studies, 46(2/3), 365-406.
8. Calvanese, D. & De Giacomo, G. (2005). Data integration: A logic-based perspective. AI Magazine, 26(1), 59-70.
9. Ciocoiu, M.&Nau, D. (2000). Ontology-based semantics. In A.G. Cohn, F. Giunchiglia&B. Selman (eds), KR 2000, Principles of Knowledge Representation and Reasoning, Proceedings of the Seventh International Conference, April 11-15, 2000, Breckenridge, Colorado, USA (pp. 539-548). Morgan Kaufmann.
10. Ding, L., Finin, T., Joshi, A., Pan, R., Cost, R.S., Peng, Y., Reddivari, P., Doshi, V. & Sachs, J. (2004). Swoogle: a search metadata engine for the semantic web. In CIKM’04: Proceedings of the Thirteenth ACM International Conference on Information and Knowledge Management (pp. 652-659). ACM Press.
11. Ding, Y. & Foo, S. (2002). Ontology research and development. Part 2 - A review of ontology mapping and evolving. Journal of Information Science, 28(5), 383-396.
12. Doan, A., Halevy, A. & Noy, N.F. (2004a). Semantic Integration Workshop at the 2nd International Semantic Web Conference (ISWC-2003). SIGMOD Record, 33(1), 138-140.
13. Doan, A., Noy, N.F. & Halevy, A. (2004b). Introduction to the special issue on semantic integration. SIGMOD Record, 33(4), 11-13.
14. Enderton, H. (2002). A Mathematical Introduction to Logic (2nd ed.). Academic Press.
15. 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.
16. Ganter, B. & Wille, R. (1999). Formal Concept Analysis. Springer.
17. Giunchiglia, F., Marchese, M. & Zaihrayeu, I. (2006). Encoding classifications into lightweight ontologies. In Y. Sure & J. Domingue (eds), The Semantic Web: Research and Applications. 3rd European Semantic Web Conference, ESWC 2006, June 11-14, 2006, Budva, Montenegro, Lecture Notes in Computer Science (Vol. 4011, pp. 80-94). Springer.
18. Goguen, J. (1991). A categorical manifesto. Mathematical Structures in Computer Science, 1, 49-67.
19. Goguen, J. (2005). Data, schema, ontology and logic integration. Logic Journal of the IGPL, 13(6), 685-715.
20. Goguen, J. & Burstall, R. (1992). Institutions: Abstract model theory for specification and programming. Journal of the ACM, 39(1), 95-146.
21. Goguen, J. & Roşu, G. (2002). Institution morphisms. Formal Aspects of Computing, 13, 204-307.
22. Gruber, T. (1993). A translation approach for portable ontology specifications. Knowledge Engineering, 5(2), 199-220.
23. Grüninger, M. (2005). Model-theoretic approaches to semantic integration. In Y. Kalfoglou et al. (eds), Semantic Interoperability and Integration, IBFI: Dagstuhl.
24. Grüninger, M. & Kopena, J.B. (2005). Semantic integration through invariants. AI Magazine, 26(1), 11-20.
25. Guarino, N. (1995). Formal ontology, conceptual analysis and knowledge representation. International Journal of Human-Computer Studies, 43, 625-640.
26. Guarino, N. (1998a). Formal ontology and information systems. In N. Guarino (ed.), Formal Ontology in Information Systems (pp. 3-15). IOS Press.
27. Guarino, N., ed. (1998b). Formal Ontology in Information Systems, Frontiers in Artificial Intelligence and Applications, Vol. 46. IOS Press.
28. Guarino, N., Carrara, M. & Giaretta, P. (1994). Formalizing ontological commitments. In 12th National Conference on Artificial Intelligence AAAI-94 (pp. 560-567). AAAI Press.
29. Guarino, N. & Giaretta, P. (1995). Ontologies and knowledge bases: Towards a terminological clarification. In N.J.I. Mars (ed.), Towards Large Knowledge Bases: Knowledge Building & Knowledge Sharing 1995 (pp. 25-32). IOS Press.
30. Hitzler, P., Krötzsch, M., Ehrig, M. & Sure, Y. (2005). What is ontology merging? - A category-theoretic perspective using pushouts. In AAAI’05 Workshop on Contexts and Ontologies: Theory, Practice and Applications, July 9, 2005, Pittsburgh, PA, USA.
31. Jannink, J., Pichai, S., Verheijen, D. & Wiederhold, G. (1998). Encapsulation and composition of ontologies. In AAAI’98 Workshop on AI and Information Integration, Madison, WI, USA.
32. Kalfoglou, Y., Alani, H., Schorlemmer, M. & Walton, C. (2004). On the emergent semantic web and overlooked issues. In S.A. McIlraith, D. Plexousakis & F. van Harmelen (eds), The Semantic Web - ISWC 2004. Third International Semantic Web Conference, November 7-11, 2004, Hiroshima, Japan, Lecture Notes in Computer Science (Vol. 3298, pp. 576-590). Springer.
33. 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, Lecture Notes in Computer Science (Vol. 2800, pp. 98-127). Springer.
34. Kalfoglou, Y. & Schorlemmer, M. (2003b). Ontology mapping: The state of the art. The Knowledge Engineering Review, 18(1), 1-31.
35. 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. First European Semantic Web Symposium, ESWS 2004, May 10-12, 2004, Heraklion, Crete, Greece, Lecture Notes in Computer Science (Vol. 3053, pp. 45-60). Springer.
36. Kalfoglou, Y., Schorlemmer, M., Sheth, A., Staab, S. & Uschold, M., eds (2005). Semantic Interoperability and Integration. In Dagstuhl Seminar Proceedings, 04391. IBFI: Schloss Dagstuhl, Germany.
37. Kent, R.E. (2000). The information flow foundation for conceptual knowledge organization. In 6th International Conference of the International Society for Knowledge Organization, Toronto, Canada.
38. Kent, R.E. (2005). Semantic integration in the information flow framework. In Y. Kalfoglou et al. (eds), Semantic Interoperability and Integration. IBFI: Dagstuhl.
39. Lassila, O. & Swick, R. (1999). Resource description framework (RDF) model and syntax specification. Technical report, World Wide Web Consortium (W3C). http://www.w3.org/TR/1999/REC-rdf-syntax-19990222/.
40. Lucanu, D., Li, Y.F. & Dong, J.S. (2006). Semantic web languages - towards an institutional perspective. In K. Futatsugi, J.-P. Jouannaud & J. Meseguer (eds), Algebra, Meaning, and Computation. Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday, Lecture Notes in Computer Science (Vol. 4060, pp. 99-123). Springer.
41. Lüttich, K. & Mossakowski, T. (2004). Specification of ontologies in CASL. In A.C. Varzi & L. Vieu (eds), Formal Ontology in Information Systems, Frontiers in Artificial Intelligence and Applications (Vol. 114, pp. 140-150). IOS Press.
42. Lüttich, K., Mossakowski, T. & Krieg-Brückner, B. (2004). Ontologies for the semantic web in CASL. In J.L. Fiadeiro, P.D. Mosses & F. Orejas (eds), Recent Trends in Algebraic Development Techniques, Lecture Notes in Computer Science (Vol. 3432, pp. 106-125). Springer.
43. Mac Lane, S. (1998). Categories for the Working Mathematician (2nd ed.). Springer.
44. McGuinness, D. & van Harmelen, F. (2004). OWL web ontology language. Technical report, World Wide Web Consortium (W3C). http://www.w3.org/TR/2004/REC-owl-features-20040210/.
45. Menzel, C. (2002). Ontology theory. In J. Euzenat, A. Gómez-Pérez, N. Guarino & H. Stuckenschmidt (eds), Ontologies and Semantic Interoperability, CEUR Workshop Proceedings, Vol. 64.
46. Menzel, C. (2005). Basic semantic integration. In Y. Kalfoglou et al. (eds), Semantic Interoperability and Integration. IBFI: Dagstuhl.
47. Meseguer, J. (1989). General logics. In H.-D. Ebbinghaus, J. Fernández-Prida, M. Garrido, D. Lascar & M. Rodríguez-Artalejo (eds), Logic Colloquium’87, Studies in Logic and the Foundations of Mathematics (Vol. 129, pp. 275-329). Elsevier Science.
48. Mossakowski, T., Maeder, C. & Lüttich, K. (2007). The heterogeneous tool set. In O. Grumberg & M. Huth (eds), Tools and Algorithms for the Construction and Analysis of Systems. 13th International Conference, TACAS 2007, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2007, March 24-April 1, 2007, Braga, Portugal, Lecture Notes in Computer Science (Vol. 4424, pp. 519-522). Springer.
49. Mosses, P.D., ed. (2004). CASL Reference Manual: The Complete Documentation of the Common Algebraic Specification Language, Lecture Notes in Computer Science, Vol. 2960. Springer.
50. Noy, N.F. (2004). Semantic integration: a survey of ontology-based approaches. SIGMOD Record, 33(4), 65-69.
51. Noy, N.F., Doan, A. & Halevy, A.Y. (2005). Semantic integration. AI Magazine, 26(1), 7-9.
52. Pierce, B. (1991). Basic Category Theory for Computer Scientists. MIT Press.
53. Rahm, E. & Bernstein, P.A. (2001). A survey of approaches to automatic schema matching. The VLDB Journal, 10(4), 334-350.
54. Santini, S. (2006). Summa contra ontologiam. In International Conference on Semantics of a Networked World, München, Germany.
55. Schorlemmer, M. & Kalfoglou, Y. (2003). On semantic interoperability and the flow of information. In A. Doan, A. Halevy & N. Noy (eds), Semantic Integration, CEUR Workshop Proceedings, Vol. 82.
56. Schorlemmer, M. & Kalfoglou, Y. (2005). Progressive ontology alignment for meaning coordination: An information-theoretic foundation. In F. Dignum et al. (eds), Proceedings of the Fourth International Joint Conference on Autonomous Agents and Multiagent Systems, July 25-29, 2005, Utrecht, The Netherlands (pp. 737-744). ACM Press.
57. Schorlemmer, M., Kalfoglou, Y. & Atencia, M. (2007). A formal foundation for ontology-alignment interaction models. International Journal on Semantic Web and Information Systems, 3(2), 50-68.
58. 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, Lecture Notes in Computer Science (Vol. 3730, pp. 146-171). Springer.
59. Shvaiko, P. & Euzenat, J. (2007). Special Issue on Ontology Matching. International Journal on Semantic Web and Information Systems, 3(2), i-iii.
60. Smith, B. (2003). Ontology. In L. Floridi (ed.), Blackwell Guide to the Philosophy of Computing and Information (pp. 155-166). Blackwell.
61. Stumme, G. & Maedche, A. (2001). FCA-Merge: Bottom-up merging of ontologies. In 17th International Joint Conference on Artificial Intelligence (IJCAI’01), Seattle, WA, USA.
62. Uschold, M., Healy, M., Williamson, K., Clark, P. & Woods, S. (1998). Ontology reuse and application. In N. Guarino (ed.), Formal Ontology in Information Systems (pp. 179-192). IOS Press.
63. Wache, H., Vögele, T., Visser, U., Stuckenschmidt, H., Schuster, G., Neumann, H. & Hübner, S. (2001). Ontology-based integration of information - a survey of existing approaches. In IJCAI 2001 Workshop on Ontologies and Information Sharing, Seattle, WA, USA.
64. 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), International Conference on Formal Ontology in Information Systems -FOIS 2006, November 9-11, 2006, Baltimore, MD, USA, Frontiers in Artificial Intelligence and Applications (Vol. 150, pp. 277-288). IOS Press.