W3C home > Mailing lists > Public > w3c-rdfcore-wg@w3.org > July 2001

Model Theory, sets of statements and anon resources

From: Brian McBride <bwm@hplb.hpl.hp.com>
Date: Mon, 23 Jul 2001 08:03:49 +0100
Message-ID: <3B5BCC55.6965CD24@hplb.hpl.hp.com>
To: rdf core <w3c-rdfcore-wg@w3.org>
The model theory defines an interpretation for a single statement.  We also
need to formally deal with sets of statements i.e.

{s1, s2, ..., sn} is true under an interpetation I if and only if each si
is true under I.

Depending on our decision about anonymous resources we may also need
an interpretation statments containing them.  Only the subject case
is shown here - the others are similar:

_:a <p> <o> . is true under an interpretation I if and only if

  p and o are members of U and
  there exists ?a such that ?a is a member of R and
                            (?a, IN(o)) is a member of IEXT(I(p))

And finally (I don't know how to say this formally) the scope of
the names of the form _:name is a set of statements.

Brian
Received on Monday, 23 July 2001 03:06:22 EDT

This archive was generated by hypermail pre-2.1.9 : Wednesday, 3 September 2003 09:38:13 EDT