On 12/04/2010 4:05 PM, Cory Casanave wrote:
> As previously mentioned - the OMG architecture ecosystem SIG has some
> use cases& requirements defined:
> http://www.omgwiki.org/architecture-ecosystem/doku.php
>
>
Which one are you referring to?
> -----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
>
> 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?
>
> Are we in a position to write the introductory chapter of the user
> documentation?
>
> Do we have a place on the wiki where these ideas can be developed?
>
>
> Ron
>
>
> 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
>
>>
>>
>>
>
>
> _________________________________________________________________
> 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
>
>
>
> _________________________________________________________________
> 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
>
>
> (01)
_________________________________________________________________
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 (02)
|