PPT Slide
I satisfies E means I(E)=true
E entails E’ means any I which satisfies E also satisfies E’
1. Any RDF expression has a satisfying interpretation (is consistent). [Herbrand]
2. If I satisfies all the triples in a document, then it satisfies the document.
3. If E and E’ are sets of triples, then E entails E’ iff E contains E’.
4. If E is a document and E’ is an instance of E, then E’ entails E.
5. If E and E’ are documents, then E entails E’ iff there is a set of triples F such that
set(E) contains F and F is an instance of set(E’).
The upshot of 3. and 5. is that all entailments in RDF can be checked by a very simple two-step process:
E ----take a subset----> F -----existentially generalize---->E’