Can individual be inferred?

Consider the proposed rule for OWL..

{
?P rdfs:domain ?C ;
   rdf:type owl:ObjectProperty .
?C rdf:type owl:Class .
?I ?P ?A .
}
=>
{
?I rdf:type owl:Thing .
}
..

I am not sure if OWL has such kind of entailment.


Jeremy