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. SethReceived on Saturday, 28 April 2001 18:14:08 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 23 April 2007 18:19:49 GMT