[...] > well Peter, I don't know what you mean with "natural entailment" > I guess it's the one that you wanted to hold i.e. > :John a :Student . > :John a :Employee . > OWL-entails > :John owl:intersectionOf ( :Student :Employee ) . oops... I meant :John a [ owl:intersectionOf ( :Student :Employee ) ] . -- , Jos De Roo, AGFA http://www.agfa.com/w3c/jdroo/Received on Wednesday, 21 August 2002 21:21:21 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:57:51 GMT