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

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.


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

This archive was generated by hypermail 2.3.1 : Wednesday, 2 March 2016 11:10:35 UTC