Re: [sio-dev] Fwd: [ontolog-forum] Sharing and Integrating Ontologies

[Cameron Ross <cross@xxxxxxxxxxxx>]

I'm also very interested in understanding how online ontology repositories will be used.  The OOR use-cases I've seen have been limited to repository management.  What are the application specific use cases?  I mean, why would an ontologist, software developer and/or software agent use an online ontology repository?

Cameron.

On Tue, Apr 6, 2010 at 8:45 AM, Ron Wheeler <rwheeler@xxxxxxxxxxxxxxxxxxxxx> wrote:

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

--
Kojeware Corporation

_________________________________________________________________ 
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)