Re: issue 5.10: a position statement

> I feel that there are really two different positions on issue 5.10
> (DAML+OIL semantics are too weak).
>
> The first position is that what matters most is getting the entailments
> correct for OWL.  This position would support entailments like
>       John belongs to the intersection of Student and Employee
>       entails
>       John belongs to the intersection of Employee and Student
> and many other natural entailments.

that was also my position before f2f3
since then and after changing
http://www.agfa.com/w3c/euler/owl-rules
I think that w.r.t. the testcases
in http://www.w3.org/2002/03owlt/
we only have

  mapInvP          |=  mapInvC
  mapVocabP        |=  mapVocabC
  oneOfP           |=  oneOfC
  pathTransitiveP  |=  pathTransitiveC
  sameGuyP         |=  sameGuyC
  sameStateP       |=  sameStateC

[...]

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

Received on Friday, 5 July 2002 08:10:03 UTC