Re: summary of current position with respect to semantics proposals (was Re: WOWG: agenda Aug 15 telecon)

[...]

> Folks should keep in mind that while entailment 1 doesn't work,

indeed

> this analog does:
>
>       John in the intersection of Student and Employee
>       C is the intersection of Employee and Student
>       entails
>       John is in C.

OK, we have tested that
  http://www.w3.org/2002/03owlt/intersectionOfP
OWL-entails
  http://www.w3.org/2002/03owlt/intersectionOfC

> and this analog is what you acutally need to deal with the
> case where one ontology gives the intersection in one
> order and the other does it the other way.

true

-- ,
Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/

Received on Wednesday, 14 August 2002 19:23:40 UTC