> On Thu, Apr 1, 2010 at 7:32 AM, John F. Sowa <sowa@xxxxxxxxxxx
> <mailto:sowa@xxxxxxxxxxx>> wrote: (01)
> > John Bateman and his group at Bremen put together a variety of free
> > and open source tools and integrated them with their methodology.
> > One of the most important is HeTS (Heterogeneous Tool System),
> > which can translate from one logic to another while preserving
> > the semantics: (02)
I spent most of last Winter investigating HETs, CASL, Haskell and
Isabelle. At this point I have a modest capacity to engage in modeling
and coding with this tool suite. (03)
I look forward to the discussion ! (04)
-- (05)
Rick (06)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/sio-dev/
Join Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J
Subscribe/Config: http://ontolog.cim3.net/mailman/listinfo/sio-dev/
Unsubscribe: mailto:sio-dev-leave@xxxxxxxxxxxxxxxx
Community Shared Files: http://ontolog.cim3.net/file/work/SIO/
Community Wiki:
http://ontolog.cim3.net/cgi-bin/wiki.pl?SharingIntegratingOntologies (07)
|