- From: David Allsopp <dallsopp@signal.dera.gov.uk>
- Date: Mon, 04 Jun 2001 13:48:59 +0100
- CC: www-rdf-logic@w3.org
Sandro Hawke wrote:
> > What I do wish to assert is the <if> expression. The problem with RDF as it
> > is currently defined (statement == triple == fact) is that I cannot assert
> > an expression created of multiple statements (i.e. a subgraph) apparently
> > without asserting each of the subgraphs within the subgraph.
>
> (repeating Dan Connolly yesterday...)
>
> This seems to be a common myth. Where in the current definition of
> RDF does it say that you cannot describe (mention) a triple without
> asserting (using) it?
>
> (I wont be shocked if it does say it somewhere -- I'm not fond of the
> current REC -- but I would love a pointer if you happen to know where
> it says this.)
RDF Model & Syntax, 4.1:
"For example, let us consider the sentence
Ora Lassila is the creator of the resource
http://www.w3.org/Home/Lassila
RDF would regard this sentence as fact..."
RDF Model & Syntax, 5:
"...facts (that is, statements) are triples that are Members of [the
set] Statements..."
I would interpret this as saying that a triple is always asserted.
Regards,
David Allsopp.
--
/d{def}def/u{dup}d[0 -185 u 0 300 u]concat/q 5e-3 d/m{mul}d/z{A u m B u
m}d/r{rlineto}d/X -2 q 1{d/Y -2 q 2{d/A 0 d/B 0 d 64 -1 1{/f exch d/B
A/A z sub X add d B 2 m m Y add d z add 4 gt{exit}if/f 64 d}for f 64 div
setgray X Y moveto 0 q neg u 0 0 q u 0 r r r r fill/Y}for/X}for showpage
Received on Monday, 4 June 2001 08:50:12 UTC