What is Inference


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