using owl:restrictions

consider the following:

<rdfs:subClassOf>
   <owl:Restriction>
      <owl:onProperty rdf:resource="#R"/>
      <owl:someValuesFrom rdf:resource="#P"/>
   </owl:Restriction>
   <owl:Class rdf:about="#Q"/>
</rdfs:subClassOf>

I need some clarifications about this term: are these statements true or false?

1) The construct above is legal in OWL DL/Full not OWL Lite -- right?
(This is what the Wonderweb validator seems to indicate, although I
found some of the OWL documents a bit unclear)

2) It is logically equivalent to the this FOL formula (KIFfy style):

(implies
    (and (R x y) (P y))
    (Q x))

3) Assuming that IR is the inverse of R, it is also logically equivalent to:

<rdfs:subClassOf>
   <owl:Class rdf:about="#P"/>
   <owl:Restriction>
      <owl:onProperty rdf:resource="#R"/>
      <owl:allValuesFrom rdf:resource="#Q"/>
   </owl:Restriction>
</rdfs:subClassOf>

Thank you,


--
# Pierluigi Miraglia pierlu.m
# Austin, Tex.