Re: ONT RE: Ontology case study
Bill,
You could check out
<http://ontology.teknowledge.com:8080/rsigma/SKB.jsp?req=SC&name=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.
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