> [RonW] Do we have a place on the wiki where these ideas can be developed? (01)
[ppy] soon ... I'll let everyone know when the site is ready for entries.
It will be some page(s) that will index off the (developing) SIO
Project Homepage
at: http://ontolog.cim3.net/cgi-bin/wiki.pl?SharingIntegratingOntologies (02)
We'll probably structure the site in a way similar to our other
projects and initiatives, like:
http://ontolog.cim3.net/cgi-bin/wiki.pl?OpenOntologyRepository ... or,
http://ontolog.cim3.net/cgi-bin/wiki.pl?UoM_Ontology_Standard (03)
Regards. =ppy (04)
p.s. Ron, may I suggest you create a username like "RonWheeler" for
wiki edits so that work will be properly attributed.
(ref. our membership policy -
http://ontolog.cim3.net/cgi-bin/wiki.pl?WikiHomePage#nid1J ) ...
thanks in advance. =ppy
-- (05)
On Tue, Apr 6, 2010 at 5: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
> (06)
_________________________________________________________________
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 (07)
|