>
> Cameron.
>
>
> Kojeware Corporation
>
> On Apr 6, 2010, at 12:07 PM, Todd J Schneider <
todd.schneider@xxxxxxxxxxxx
> > wrote:
>
>> Ron, Cameron,
>>
>> The OOR team does have high-level use cases addressing different
>> roles of OOR users. Among them are Developer and [general] User.
>>
>> See
>>
http://ontolog.cim3.net/cgi-bin/wiki.pl?
>> OpenOntologyRepository_UseCases
>>
>> Feel free to extend or add to the existing use cases.
>>
>> Todd
>>
>>
>>
>> From:
>> Ron Wheeler <
rwheeler@xxxxxxxxxxxxxxxxxxxxx>
>> To:
>> "[sio-dev] discussion" <
sio-dev@xxxxxxxxxxxxxxxx>
>> Date:
>> 04/06/2010 10:54 AM
>> Subject:
>> Re: [sio-dev] Fwd: [ontolog-forum] Sharing and Integrating
>> Ontologies
>> Sent by:
>>
sio-dev-bounces@xxxxxxxxxxxxxxxx
>>
>>
>>
>> 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
>>
>
> _________________________________________________________________
> 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