- From: Jos De_Roo <jos.deroo.jd@belgium.agfa.com>
- Date: Thu, 15 Aug 2002 01:23:03 +0200
- To: Dan Connolly <connolly@w3.org>
- Cc: "Peter F. "Patel-Schneider <pfps@research.bell-labs.com>, Guus Schreiber <schreiber@swi.psy.uva.nl>, www-webont-wg@w3.org
[...] > 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