PPT Slide

Reification of V

Assume a mapping REIF from V into IR such that:

<x,y> is in IEXT(I(rdf:subject)) iff for some a, b, and c in V, x= REIF(<a b c>) and y= REIF(a)

<x,y> is in IEXT(I(rdf:predicate)) iff for some a, b and c in V, x=REIF(<a b c>) and y= REIF(b)

<x,y> is in IEXT(I(rdf:object)) iff for some a, b and c in V, x=REIF(<a b c>) and y= REIF(c)

x is in ICEXT(I(rdf:Statement)) iff for some a, b and c in V, x=REIF(<a b c>)