- 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