Data, schema, ontology and logic integration

Logic Journal of the IGPL

Volumn 13, Issue 6, 2005, Pages 685-715

  Goguen, Joseph A ^a  

^a UNIVERSITY OF CALIFORNIA   (United States)

Author keywords

Data translation; Institutions; Integration; Schema

Indexed keywords

COMPUTER CIRCUITS; DATA INTEGRATION;

DATA TRANSLATIONS; DATABASE CONSTRAINTS; GENERAL THEORY; LOGIC INTEGRATION; META MODEL; METAMODELING; ONTOLOGY'S; ONTOLOGY: INTEGRATION; SCHEMA; SCHEMA INTEGRATION;

ONTOLOGY;

EID: 33750095410     PISSN: 13670751     EISSN: 13689894     Source Type: Journal    
DOI: 10.1093/jigpal/jzi050     Document Type: Conference Paper

References (42)

1. Suad Alagic and Philip Bernstein. A model theory for generic schema management. In Giorgio Ghelli and Gosta Grahne, editors, Proc. Database Programming Languages 2001, pages 228-246. Springer, 2002. Lecture Notes in Computer Science, volume 2397.
2. Jon Barwise and Jerry Seligman. Information Flow; Logic of Distributed Systems. Cambridge, 1997. Tracts in Theoretical Computer Science, vol. 44.
3. Trevor Bench-Capon and Grant Malcolm. Formalising ontologies and their relations. In Proceedings of the 16th International Conference on Database and Expert Systems Applications (DEXA '99), pages 250-259. Springer, 1999. Lecture Notes in Computer Science, volume 1677.
4. Tim Berners-Lee, James Hendler, and Ora Lassila. The semantic web. Scientific American, 284(5):34-43, May 2001.
5. Philip Bernstein. Applying model management to classical metadata problems. In Proc. Conf. on Innovative Database Research, pages 209-220, 2003.
6. Philip Bernstein. Model management webpage, 2003. At http://research.microsoft.com/db/ModelMgt/.
7. Philip Bernstein and Erhard Rahm. Data warehouse scenarios for model management. In Entity-Relation Conference (ER 2000), volume 1920 of Lecture Notes in Computer Science, pages 1-15. Springer, 2000.
8. Shawn Bowers and Bertram Ludäscher. An ontology-driven framework for data transformation in scientific workflows. In Proc. Data Integration in the Life Sciences 2004, pages 1-16. Springer, 2004.
9. Rod Burstall and Joseph Goguen. Putting theories together to make specifications. In Raj Reddy, editor, Proceedings, Fifth International Joint Conference on Artificial Intelligence, pages 1045-1058. Department of Computer Science, Carnegie-Mellon University, 1977.
10. Rǎzvan Diaconescu. Grothendieck institutions. Applied Categorical Structures, 10:383-402, 2002.
11. Rǎzvan Diaconescu. Interpolation in Grothendieck institutions. Theoretical Computer Science, 311:439-461, 2004.
12. Paul Dourish. What we talk about when we talk about context. Personal and Ubiquitous Computing, 8(1):19-30, December 2003. Online edition.
13. Mary Fernandez, Jérôme Siméon, and Philip Wadler. A semi-monad for semi-structured data. In Proc. ICDT'01, pages 263-300, 2001.
14. Joseph Goguen. Principles of parameterized programming. In Ted Biggerstaff and Alan Perlis, editors, Software Reusability, Volume I: Concepts and Models, pages 159-225. Addison Wesley, 1989.
15. Joseph Goguen. Higher-order functions considered unnecessary for higher-order programming. In David Turner, editor, Research Topics in Functional Programming, pages 309-352. Addison Wesley, 1990. University of Texas at Austin Year of Programming Series; preliminary version in SRI Technical Report SRI-CSL-88-1, January 1988.
16. Joseph Goguen. Types as theories. In George Michael Reed, Andrew William Roscoe, and Ralph Wachter, editors, Topology and Category Theory in Computer Science, pages 357-390. Oxford, 1991.
17. Joseph Goguen. Ontology, society, and ontotheology. In Achille Varzi and Laure Vieu, editors, Formal Ontology in Information Systems, pages 95-103. IOS Press, 2004. Proceedings of FOIS'04, Torino, Italy.
18. Joseph Goguen. What is a concept? In Frithjof Dau and Marie-Laure Mungier, editors, Proceedings, 13th Conference on Conceptual Structures, volume 3596 of Lecture Notes in Artificial Intelligence, pages 52-77. Springer, 2005. Kassel, Germany.
19. Joseph Goguen. Information integration in instutions. In Lawrence Moss, editor, Memorial volume for Jon Barwise. Indiana, to appear.
20. Joseph Goguen and Rod Burstall. Institutions: Abstract model theory for specification and programming. Journal of the Association for Computing Machinery, 39(1):95-146, January 1992.
21. Joseph Goguen and Rǎzvan Diaconescu. Towards an algebraic semantics for the object paradigm. In Hartmut Ehrig and Fernando Orejas, editors, Proceedings, Tenth Workshop on Abstract Data Types, pages 1-29. Springer, 1994. Lecture Notes in Computer Science, Volume 785.
22. Joseph Goguen and Grant Malcolm. Algebraic Semantics of Imperative Programs. MIT, 1996.
23. Joseph Goguen and José Meseguer. Order-sorted algebra I: Equational deduction for multiple inheritance, overloading, exceptions and partial operations. Theoretical Computer Science, 105(2):217-273, 1992. Drafts exist from as early as 1985.
24. Joseph Goguen and Grigore Roşu. Institution morphisms. Formal Aspects of Computing, 13:274-307, 2002.
25. Joseph Goguen and Grigore Roşu. Composing hidden information modules over inclusive institutions. In Olaf Owe, Soren Krogdahl, and Tom Lyche, editors, From Object-Orientation to Formal Methods: Essays in Honor of Johan-Ole Dahl, pages 96-123. Springer, 2004. Lecture Notes in Computer Science, Volume 2635.
26. Joseph Goguen, James Thatcher, and Eric Wagner. An initial algebra approach to the specification, correctness and implementation of abstract data types. In Raymond Yeh, editor, Current Trends in Programming Methodology, IV, pages 80-149. Prentice-Hall, 1978.
27. Joseph Goguen, James Thatcher, Eric Wagner, and Jesse Wright. Initial algebra semantics and continuous algebras. Journal of the Association for Computing Machinery, 24(1):68-95, January 1977.
28. Joseph Goguen and William Tracz. An implementation-oriented semantics for module composition. In Gary Leavens and Murali Sitaraman, editors, Foundations of Component-based Systems, pages 231-263. Cambridge, 2000.
29. Joseph Goguen, Timothy Winkler, José Meseguer, Kokichi Futatsugi, and Jean-Pierre Jouannaud. Introducing OBJ. In Joseph Goguen and Grant Malcolm, editors, Software Engineering with OBJ: Algebraic Specification in Action, pages 3-167. Kluwer, 2000.
30. Georg Gottlob. Computing cores for data exchange: New algorithms and practical solutions. In Georg Gottlob, editor, Proc. Principles of Database Systems (PODS) 2005, pages 148-159. ACM, 2005.
31. John Gray. Sheaves with values in a category. Topology, 3(1):1-18, 1965.
32. Richard Hull and Masatoshi Yoshikawa. ILOG: Declarative creation and manipulation of object identifiers. In Dennis McLeod, Ron Sacks-Davis, and Hans-Joörg Schek, editors, Proc. 16th Conference on Very Large Databases (VLDB'90), pages 455-468. Morgan Kaufman, 1990.
33. Yannis Kalfoglou and Marco Schorlemmer. Information-flow-based ontology mapping. In Robert Meersman and Zahir Tari, editors, Proc. Intl. Conf. on Ontologies, DataBases, and Applications of Semantics for Large Scale Information Systems, volume 2519 of Lecture Notes in Computer Science, pages 1132-1151. Springer, 2002.
34. Saunders Mac Lane. Categories for the Working Mathematician. Springer, 1998. Second Edition.
35. Till Mossakowski, Joseph Goguen, Razvan Diaconescu, and Andrzej Tarlecki. What is a logic? In Jean-Yves Beziau, editor, Logica Universalis, pages 113-133. Birkhauser, 2005. Proceedings, First World Conference on Universal Logic.
36. Young-Kwang Nam, Joseph Goguen, and Guilian Wang. A metadata integration assistant generator for heterogeneous distributed databases. In Robert Meersman and Zahir Tari, editors, Proc. Intl. Conf. on Ontologies, DataBases, arid Applications of Semantics for Large Scale Information Systems, volume 2519 of Lecture Notes in Computer Science, pages 1332-1344. Springer, 2002.
37. Benjamin C. Pierce. Basic Category Theory for Computer Scientists. MIT, 1991.
38. Lucian Popa, Yannis Velegrakis, Renee Miller, and Mauricio Hernandez. Translating web data. In Proc. Conference on Very Large Databases (VLDB'02), pages 598-609. VLDB, 2002.
39. Erhard Rahm and Philip Bernstein. A survey of approaches to automatic schema matching. VLDB Journal, 10(4):334-350, 2001.
40. Jérôme Siméon and Philip Wadler. The essence of XML. In Proc. Principles of Programming Languages, pages 1-13. ACM, 2003.
41. Andrzej Tarlecki, Rod Burstall, and Joseph Goguen. Some fundamental algebraic tools for the semantics of computation, part 3: Indexed categories. Theoretical Computer Science, 91:239-264, 1991.
42. Guilian Wang, Joseph Goguen, Young-Kwang Nam, and Kai Lin. Critical points for interactive schema matching. In Jeffrey Xu Yu, Xuemin Lin, Hongjun Lu, and YanChun Zhang, editors, Advanced Web Technologies and Applications, pages 654-664. Springer, 2004.