52 (155)

Inference: Let Us Be Formal…

    If:
      uuu rdfs:subClassOf xxx .
      vvv rdf:type uuu .
    Then add:
      vvv rdf:type xxx .

RDF Schemas