PPT Slide

Reification of V assuming syntax is in the domain (so REIF is just the identity):

<x,y> is in IEXT(I(rdf:subject)) iff x is a V-triple of the form <y b c>

<x,y> is in IEXT(I(rdf:predicate)) iff x is a V-triple of the form <a y c>

<x,y> is in IEXT(I(rdf:subject)) iff x is a V-triple of the form <a b y>

x is in IEXT(I(rdf:Statement)) iff x is a V-triple.

The syntax is in the domain, so IEXT isn’t needed.

Previous slide

Next slide

Back to first slide

View graphic version