Semantic Integration in the Information Flow Framework

Dagstuhl Seminar Proceedings

Volumn 4391, Issue , 2005, Pages

  Kent, Robert E ^a  

^a NONE   (United States)

Author keywords

descriptive category metatheory; institutions; semantic integration

Indexed keywords

INTEGRATION; SEMANTICS;

DESCRIPTIVE CATEGORY METATHEORY; INFORMATION FLOWS; META LEVELS; META-ONTOLOGY; META-THEORY; MORPHISMS; NAMESPACES; SEMANTIC INTEGRATION; STRUCTURAL ASPECTS; UPPER ONTOLOGY;

ONTOLOGY;

EID: 85174955466     PISSN: 18624405     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (12)

1. Kent, R.E.: The SUO Information Flow Framework (SUO IFF). Technical report, Institute of Electrical and Electronics Engineers (2001) Published as the webpage http://suo.ieee.org/IFF/].
2. Goguen, J.: Information integration in institutions. Draft paper for the Jon Barwise memorial volume edited by Larry Moss (2005)
3. Kent, R.E.: Semantic integration in the IFF. In Doan, A., Halevy, A., Noy, N., eds.: Semantic Integration 2003. Volume 82 of CEUR Workshop Proceedings., Sun SITE Central Europe (CEUR) (2003) Proceedings of the Semantic Integration Workshop at ISWC-03, Sanibel Island, Florida, USA, October 20, 2003.
4. Goguen, J.: Three perspectives on information integration. In Kalfoglou, Y., Schorlemmer, M., Sheth, A., Staab, S., Uschold, M., eds.: Semantic Interoperability and Integration. Number 04391 in Dagstuhl Seminar Proceedings, Dagstuhl Research Online Publication Server (2005)
5. Sowa, J.F.: Knowledge Representation: Logical, Philosophical, and Computational Foundations. Brookes/Coles (2000)
6. Lawvere, F.W., Rosebrugh, R.: Sets for Mathematics. Cambridge University Press (2003)
7. Mossakowski, T., Goguen, J., Diaconescu, R., Tarlecki, A.: What is a logic? In: Proceedings of the First World Conference on Universal Logic. (2005)
8. Lehmann, F., Wille, R.: A triadic approach to formal concept analysis. Lecture Notes in Artificial Intelligence 954 (1995) 32-43
9. Goguen, J., Burstall, R.: Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery 39 (1992) 95-146 Preprint, Report CSLI-85-30, Center for the Study of Language and Information, Stanford University, 1985.
10. Barwise, J., Seligman, J.: Information Flow: The Logic of Distributed Systems. Volume 44 of Cambridge Tracts in Theoretical Computer Science. Cambridge University Press (1997)
11. Kent, R.E.: Distributed conceptual structures. In de Swart, H., ed.: Sixth International Workshop on Relational Methods in Computer Science. Volume 2561 of Lecture Notes in Computer Science., Springer (2002) 104-123
12. Tarlecki, A., Burstall, R., Goguen, J.: Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories. Theoretical Computer Science 91 (1991) 239-264