Ron, Cameron, (01)
The OOR team does have high-level use cases addressing different
roles of OOR users. Among them are Developer and [general] User. (02)
See
http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository_UseCases (03)
Feel free to extend or add to the existing use cases. (04)
Todd (05)
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 (06)
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? (07)
Are we in a position to write the introductory chapter of the user
documentation? (08)
Do we have a place on the wiki where these ideas can be developed? (09)
Ron (010)
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
>
>
> (011)
_________________________________________________________________
Msg Archives: http://ontolog.cim3.net/forum/sio-dev/
Join Community: http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J (012)
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 (013)
_________________________________________________________________
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 (014)
|