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

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)

Previous slide

Next slide

Back to first slide

View graphic version