Re: "If" and "else" in RDF from Sean B. Palmer on 2001-04-28 (www-rdf-interest@w3.org from April 2001)

From: Sean B. Palmer <sean@mysterylights.com>
Date: Sat, 28 Apr 2001 22:56:43 +0100
To: <www-rdf-interest@w3.org>
Message-ID: <007e01c0d02e$2bd18bc0$04dc93c3@z5n9x1>

If/else... people might want to refer to some of the stuff in TimBL's
SW Toolbox [1] which has many examples. The way to do it in Notation3
[2] (which is an RDF format) is:-

   <> log:trueForAll :a , :b , :c , :x , :y , :z , :p , :q , :r .
   {{ :a :b :c } a log:truth } log:implies { :x :y :z } .
   {{ :a :b :c } a log:falsehood } log:implies { :p :q :r } .

[1] http://www.w3.org/DesignIssues/Toolbox
[2] http://www.w3.org/DesignIssues/Notation3

--
Kindest Regards,
Sean B. Palmer
@prefix : <http://webns.net/roughterms/> .
:Sean :hasHomepage <http://purl.org/net/sbp/> .

Received on Saturday, 28 April 2001 17:55:20 UTC