Inference: let us be formal…

• The RDF Semantics document has a list of (44) entailment rules :

• • “if such and such triples are in the graph, add this and this triple”
  • do that recursively until the graph does not change

• The relevant rule for our example: