Re: missing type in OWL-R-Full rule?

Ivan,

You are right.

Zhe

Ivan Herman wrote:
> I have already made a fool of myself earlier today with a remark I had 
> on a rule but, well, here I am again with something else. Maybe this 
> time it _is_ a problem and not only a witness of my own incompetence...
>
> The last two rules in the semantics of classes, regarding max 
> cardinality constraints: isn't it necessary to add the extra triple:
>
> T(?u,rdf:type,?x)
>
> to the left side of both rules?
>
>
> Ivan
>
>