PPT Slide
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
5. A nonempty set IC of IR called Classes
6. A mapping ICEXT from IC to the power set of IR union LV
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)), else I(E)= false.
if E is a set of triples then I(E) = false when I(E') = false for some asserted triple E' in E, else 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), else I(E)= false
ICEXT(I(rdfs:Resource)) = IR
ICEXT(I(rdf:Property)) = IP
ICEXT(I(rdfs:Class)) = IC
ICEXT(I(rdfs:Literal)) = LV
<x,y> is in IEXT(I(rdf:type)) iff x is in ICEXT(y)
<x,y> is in IEXT(I(rdfs:subClassOf)) iff ICEXT(x) is a subset of ICEXT(y)
<x,y> is in IEXT(rdfs:subPropertyOf)) iff IEXT(x) is a subset of IEXT(y)
I(rdfs:ConstraintResource) is in IC
ICEXT(I(rdfs:ConstraintProperty)) is a subset of the intersection of IP and ICEXT(I(rdfs:ConstraintResource))
I(rdf:range) and I(rdf:domain) are in ICEXT(I(rdfs:ConstraintProperty))
If <x,y> is in IEXT(I(rdf:range)) and <u,v> is in IEXT(x) then v is in ICEXT(y)
If <x,y> is in IEXT(I(rdf:domain)) and <u,v> is in IEXT(x) then u is in ICEXT(y)