A valid inference takes one or more true sentences (an RDF graph)
and produces other true sentences
RDFS Example:
sebastian rdf:type Thoroughbred
Thoroughbred rdfs:subClassOf Horse
----------
sebastian rdf:type Horse
RDF Example:
sebastian rdf:type Thoroughbred
----------
_:x rdf:type Thoroughbred