W3C home > Mailing lists > Public > www-rdf-interest@w3.org > January 2002

Re: Expressing "not" in RDF rules

From: Jonathan Borden <jborden@mediaone.net>
Date: Sat, 26 Jan 2002 21:09:08 -0500
Message-ID: <004901c1a6d7$9e176f80$0301a8c0@ne.mediaone.net>
To: "Sean B. Palmer" <sean@mysterylights.com>, "Norman Walsh" <Norman.Walsh@Sun.COM>
Cc: <www-rdf-interest@w3.org>
Sean B. Palmer wrote:

> Hi Norm,
>
> > If    :p :pointsTo :s
> > and   :p :pointsTo :t
> > and   not(s :pointsTo :t)
> > then  :p :hasEdge :t
>
> What you want is to say that there is no triple in the current store
> that fits the profile "_:s :pointsTo _:t". You can do that using
> log:notIncludes:-
>
>    { this log:notIncludes { [] :pointsTo [] } }
>      log:implies { :Test a :Success } .

Careful Sean, this is the N3 'extension' to RDF, not RDF 1. Perhaps you
might translate the above into proper RDF using the 1.0 XML syntax and you
will see what I mean.

The point is that simple logic formulas are not so simple in RDF (1.0) which
is targeted at simple assertional triples.

Jonathan
Received on Saturday, 26 January 2002 20:40:11 GMT

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