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