As previously mentioned - the OMG architecture ecosystem SIG has some
use cases & requirements defined:
http://www.omgwiki.org/architecture-ecosystem/doku.php (01)
-----Original Message-----
From: sio-dev-bounces@xxxxxxxxxxxxxxxx
[mailto:sio-dev-bounces@xxxxxxxxxxxxxxxx] On Behalf Of Ron Wheeler
Sent: Tuesday, April 06, 2010 8:45 AM
To: [sio-dev] discussion
Subject: Re: [sio-dev] Fwd: [ontolog-forum] Sharing andIntegrating
Ontologies (02)
Does anyone have a written use case for what an ontologist would want us (03)
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? (04)
Are we in a position to write the introductory chapter of the user
documentation? (05)
Do we have a place on the wiki where these ideas can be developed? (06)
Ron (07)
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 (08)
> 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
>
>
> (09)
_________________________________________________________________
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 (010)
_________________________________________________________________
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 (011)
|