PPT Slide

An example

vocabulary(I) :

Red

dc:creator

Ron

_:someone

_:something

Universe (IR):

{

}

{

}

IEXT

There are 5 things in the universe.

One of them doesn’t have a name

I( Red dc:creator Ron) = true

because <I(Red), I(Ron)> is

and is in IEXT( P ) which is IEXT(I(dc:creator))

I(Red dc:creator _:something) = false

because <I(Red), I(_:something)> is not in IEXT(I(dc:creator))

I([Red dc:creator _:something]) = true

because there is a mapping A: _:something and

<I(Red), A(_:something)> is in IEXT(I(dc:creator))

[square brackets] are being used to indicate that this is a document rather than just a set of triples.