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 { }.
1. How do we specify COM?
2. What properties does relative entailment have? (V. hard to answer in general, but particular cases might be OK.)