Home > Uncategorized > RDF simple interpretation

RDF simple interpretation

Looked up the definition of ‘simple interpretation’ in RDF model theory again. I thought I’d put a picture here for future reference. This is very similar to Pat’s Figure 1.

I’ve drawn V, IR, and IP as disjoint (except for the containment of LV in other things), but there is nothing in the definition that requires them to be. Of course IR and Pow(IR x IR) have to be disjoint due to the foundation axiom, but Pow(IR x IR) might overlap with IP.

The branching arrow is meant to indicate that IS maps V to IR union IP, that is to say, each member of V goes to either a member of IR or to a member of IP (or both, where IP and IP overlap). According to the definition LV has to include all the plain literals that are in V, and perhaps V and IR intersect in other ways (URIs might be resources).

There’s nothing in the definition that requires IS to map onto IR, i.e. the model theory spec doesn’t define a “resource” to be “something that is identified by a URI” and doesn’t even require every “property” to be a “resource”.

About these ads
Categories: Uncategorized
  1. 2013-02-15 at 03:40

    How did you actually obtain the concepts to publish ““RDF simple interpretation Odontomachus’s Blog”? Regards -Evelyn

    • 2013-02-15 at 14:35

      All the definitions are taken directly from RDF Semantics by Pat Hayes. Essential reading for anyone who wants to understand how RDF works.

  1. No trackbacks yet.

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

Follow

Get every new post delivered to your Inbox.

%d bloggers like this: