Does anyone have a written use case for what an ontologist would want us
to produce?
What are the problems he/she should be trying to solve when they
contemplate selecting one of our artifacts?
How will our artifacts interface with the rest of the solutions set? (01)
Are we in a position to write the introductory chapter of the user
documentation? (02)
Do we have a place on the wiki where these ideas can be developed? (03)
Ron (04)
Rick Murphy wrote:
>> On Thu, Apr 1, 2010 at 7:32 AM, John F. Sowa <sowa@xxxxxxxxxxx
>> <mailto:sowa@xxxxxxxxxxx>> wrote:
>>
>
>
>> > 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:
>>
>
> 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.
>
> I look forward to the discussion !
>
> --
>
> Rick
>
>
> _________________________________________________________________
> 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
>
>
> (05)
_________________________________________________________________
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 (06)
|