HeTS: the Heterogeneous Tool Set

see: http://www.informatik.uni-bremen.de/agbkb/forschung/formal_methods/CoFI/hets/index_e.htm

Ref. also ...

• the talk given by Professor John Bateman (University of Bremen, Germany) on "Ontological Modularity for Shared and Integrated Ontologies"
  • session page: http://ontolog.cim3.net/cgi-bin/wiki.pl?ConferenceCall_2010_03_25
  • slides: http://ontolog.cim3.net/file/work/SIO/2010-03-25_Getting-SIO-Started/Ontological-Modularity-for-Shared-and-Integrated-Ontologies--JohnBateman_20100325.ppt