HeTS

HeTS: the Heterogeneous Tool Set    (2E1Q)

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

Ref. also ...    (2E1S)

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