RE: Over the next few months...
Dear Adam,
> A good first step on merging these existing ontologies would be to
> express them in KIF so we're at least working in a common language.
KIF is not a "common language" (to me at least). The only likely "common"
language I know (to those of us here developing this ontology) is English.
In practice it is going to be desirable to express this ontology in the
widest possible range of languages, of which I am sure KIF is one.
Regards
Matthew
============================================
Matthew West
Operations & Asset Management
Shell Services International
H3229, Shell Centre, London, SE1 7NA, UK.
Tel: +44 207 934 4490 Fax: 7929
Exchange e-mail: Matthew.R.West@is.shell.com
Compuserve e-mail: Matthew_West@compuserve.com
http://www.shellservices.com/
============================================
> -----Original Message-----
> From: apease [mailto:apease@teknowledge.com]
> Sent: 16 June 2000 18:07
> To: David Whitten; standard-upper-ontology@ieee.org
> Subject: Re: Over the next few months...
>
>
>
> David,
> Thanks for re-emphasizing the purpose of the SUO effort.
> We have a list
> of existing efforts which could be input to the SUO posted at
> http://ltsc.ieee.org/suo/refs.html . I'd be very interested
> in having
> references to other formal, axiomatized ontologies in particular.
> A good first step on merging these existing ontologies would be to
> express them in KIF so we're at least working in a common language.
>
> Adam
>
> At 09:57 AM 6/16/2000 -0700, David Whitten wrote:
>
> >Since this working group has a Standard Upper Ontology as
> our deliverable,
> >I think it would be useful to discuss some of the content we intend
> >for the SUO. I think most of us agree that there will be
> some constants
> >representing concepts, with some relations between them.
> >We also agree that there will be some logical axioms
> defining the constants
> >beyond the simple instance-of hierarchy, and the simple
> generalization-of
> >hierarchy.
> >
> >I think some very dedicated people have put together the PSL-Core,
> >and some of their axioms are suitable for inclusion in the SUO.
> >
> >There is also a great deal of work that has been done by the
> Cycorp team,
> >and they have shown great generosity in sharing their Upper Ontology
> >with the knowledge representation community.
> >
> >John Sowa's work with Conceptual Graphs is well known, as
> well as that
> >community's contribution to Knowledge Representation over the years.
> >
> >I have looked over some of the work by ISO TC184/SC4/WG10 at
> >http://www.pdtsolutions.co.uk/iideas/ and see a great deal
> of hard work
> >has been done by them as well.
> >
> >The work at Stanford KSL has supported work by many diverse groups,
> >and has been an integral part of many practical efforts on
> ontologies.
> >
> > From discussions on this list, I can see that there are
> many people who
> >have been working in this field and making substantial
> progress unbeknownst
> >to each other.
> >
> >Since we have not had the privilege of working in person
> with each other,
> >and since we have about five months left of the initial
> evaluation phase
> >left, I think we should not plan to make decisions off-line,
> but rather we
> >should reach consensus through this mailing list.
> >
> >Does this correspond to everyone else's understanding,
> goals, and plans?
> >
> >David (whitten@netcom.com) (713) 791-1414 ext 6116
>
> -----------------
> Adam Pease
> Teknowledge
> (650) 424-0500 x571
>
>