EPSRC Project: Composing and decomposing ontologies: a logic-based approach


Proposal
  • Composing and Decomposing Ontologies: A Logic-based Approach -- A Case for Support
    [pdf]
Principal Investigators Co-Investigators Research Associates Other interested People Relevant Papers on Modularity Relevant Papers on Bisimulation Relevant Papers on Uniform Interpolation Background (Institutions and Information Hiding)
  • Joseph Goguen.
    Information Integration, Databases and Ontologies. [html]
    Theory of Institutions. [html]
     
  • Trevor Bench-Capon, Grant Malcolm, Michael Shave.
    Semantics for Interoperability: Relating Ontologies and Schemata,
    in proceedings of DEXA'03: the 14th International Conference on Database and Expert Systems Applications, Prague, Czech Republic, September 1-5, 2003,
    Lecture Notes in Computer Science, Springer, 2736: 703-712, 2003.
    [ps] [bibtex]
     
  • Trevor Bench-Capon, Grant Malcolm.
    Formalising Ontologies and Their Relations,
    in proceedings of DEXA'99: the 10th International Conference on Database and Expert Systems Applications, pp.250-259, Springer-Verlag, London, UK, 1999.
    [ps] [bibtex]
     
  • Razvan Diaconescu.
    Literature on Institutions. [html]
     
Useful Links

 

maintained by Dirk Walther
last update: 27 April, 2008