- From: Brian McBride <bwm@hplb.hpl.hp.com>
- Date: Mon, 23 Jul 2001 08:03:49 +0100
- 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 UTC