First page
Back
Continue
Last page
Graphics
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: