Re: revised version of semantics document

[...]

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