- From: Seth Russell <seth@robustai.net>
- Date: Sat, 28 Apr 2001 15:10:25 -0700
- To: "Sean B. Palmer" <sean@mysterylights.com>, <www-rdf-interest@w3.org>
From: "Sean B. Palmer" <sean@mysterylights.com>
> 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 } .
Fair enough that defines a pretty good "if <conditional> then <value>" to me
.. but it works only in relation to something like the CWM .... don't forget
you need to feed that a set of rules .. so ~that~ is the process the
"if\then" construct is relative to.
Seth
Received on Saturday, 28 April 2001 18:14:08 UTC