PPT Slide
Shared content and relative entailment
?? How do we capture the idea of ‘shared content’ which isn’t explicitly represented in RDF expressions but on which meaning depends??
Idea: express such shared knowledge as mutual acceptance of a set of interpretations which capture the accepted constraints.
If COM is a set of interpretations, then say that E entails E’ relative to COM if every interpretation which satisfies E and is compatible with some member of COM also satisfies E’.
COM is an interpretation core. It rules out interpretations which are inconsistent with anything in COM. Ordinary entailment is entailment relative to { }.
Example: Define an interpretation I with universe the set of possible uri’s starting “http:” , IP = { }, and IS(x)=the webpage located by Google when given x as input. Then {I} is an interpretation core which represents an acceptance of Google as a definitive website locator.