[...] > 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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT