missing type in OWL-R-Full rule?

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


-- 

Ivan Herman, W3C Semantic Web Activity Lead
Home: http://www.w3.org/People/Ivan/
PGP Key: http://www.ivan-herman.net/pgpkey.html
FOAF: http://www.ivan-herman.net/foaf.rdf