Inference: Let Us Be Formal…
- The RDF Semantics document has a list of entailment rules:
- “if such and such triplets are in the graph, add this and this triplet”
- do that recursively
- this can be done in polynomial time for a specific graph
- The relevant rule for our example:
If:
uuu rdfs:subClassOf xxx .
vvv rdf:type uuu .
Then add:
vvv rdf:type xxx .
- There are 44 of those…