W3C home > Mailing lists > Public > www-rdf-logic@w3.org > June 2001

Re: Why? Re: rdf as a base for other languages

From: David Allsopp <dallsopp@signal.dera.gov.uk>
Date: Mon, 04 Jun 2001 13:48:59 +0100
Message-ID: <3B1B83BB.ABB1F2E2@signal.dera.gov.uk>
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 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:52:40 GMT