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 GMT
This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 23 April 2007 18:19:49 GMT