RE: ONT RE: Ontology case study
Dear Adam,
See comments below.
Matthew West
Principal Consultant
Shell Information Technology International Limited
Shell Centre, London SE1 7NA, United Kingdom
Tel: +44 20 7934 4490 Other Tel: +44 7796 336538
Email: matthew.r.west@is.shell.com
Internet: http://www.shell.com
> -----Original Message-----
> From: Adam Pease [mailto:apease@ks.teknowledge.com]
> Sent: 30 May 2002 23:10
> To: Bill Andersen; Chris Menzel; Chris Partridge
> Cc: SUO Ontology
> Subject: Re: ONT RE: Ontology case study
>
>
>
> Bill,
> You could check out
> <http://ontology.teknowledge.com:8080/rsigma/SKB.jsp?req=SC&na
me=holdsDuring&skb=SUMO>
> for the full semantics, but informally it means that a
> proposition is true
> over a particular time period. Temporal reasoning is a hard
> area so we'd
> welcome any specific advice for additional axioms needed or
> changes to
> existing axioms.
MW: This is one of the primary reasons for adopting a 4D ontology.
Temporal reasoning becomes quite straight forward.
>
> Adam
>
>
> At 04:50 PM 5/30/2002 -0500, Bill Andersen wrote:
> >On 5/30/02 15:20, "Adam Pease" <apease@ks.teknowledge.com> wrote:
> >
> > >
> > > Chris and Chris,
> > >
> > > At 06:36 AM 5/30/2002 -0500, Chris Menzel wrote:
> > >
> > > [snip]
> > >
> > >
> > >
> > >>> CP> For example, as far as I can see (probably not very
> far) SUMO does
> > >>> not have a straightforward distinction between
> properties that are
> > >>> time-bound and properties that are not.
> > >>
> > >> That may be, though I suspect Ian would argue otherwise.
> > >
> > > No, there is no such distinction in the SUMO. If a
> knowledge engineer
> > > wants to state that the attribution of a property to an
> object holds only
> > > for a limited time, he can wrap the attribution in a
> 'holdsDuring' formula.
> >
> >Hey, Adam..
> >
> >What are the semantics of 'holdsDuring'? What about an
> unqualified atom:
> >
> > (person bill)
> >
> >?
>
> Adam Pease
> Teknowledge
> (650) 424-0500 x571
>