W3C home > Mailing lists > Public > www-webont-wg@w3.org > July 2002

Re: issue 5.10: a position statement

From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
Date: Fri, 5 Jul 2002 14:09:23 +0200
To: "Peter F. Patel-Schneider" <pfps@research.bell-labs.com>
Cc: www-webont-wg@w3.org
Message-ID: <OFE7422E82.800A7D99-ONC1256BED.003A9AF7@agfa.be>

> 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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT