PPT Slide

An Interpretation is:

0. A set LV and a mapping XL from <qLiteral> to LV

1. A nonempty set IR of resources, called the domain or universe of I.

2. A non-empty subset IP of IR called Properties

3. A mapping IEXT from IP into the powerset of IRx(IR union LV)

4. A mapping IS: vocab(I) -> IR

Which satisfies:

if E is a <uriref> or <anonNode> then I(E) = IS(E)

if E is a <qLiteral> then I(E) = LV(E)

if E is an asserted triple with the form s p o

then I(E) = true iff <I(s),I(o)> is in IEXT(I(p)), otherwise I(E)= false.

if E is a set of triples then I(E) = false just in case I(E') = false for some asserted triple E' in E, otherwise I(E) = true.

if E is an <ntripleDoc> then I(E) = true if I[A](set(E))=true for some A defined on anon(E), otherwise I(E)= false

Basic RDF model theory

This set is probably finite