W3C home > Mailing lists > Public > www-rdf-interest@w3.org > May 2002

Re: using rdf in an logical equation?

From: Sean B. Palmer <sean@mysterylights.com>
Date: Sun, 19 May 2002 13:57:57 +0100
Message-ID: <001101c1ff34$d201cc40$0b550150@localhost>
To: "Quddus Chong" <qkc509@umkc.edu>
Cc: "RDF-Interest Mailing List" <www-rdf-interest@w3.org>
> (for every t) centigrade(t) = farenheit(32 + 1.8 * t)

You cannot really express this in conventional RDF since it doesn't have
quantification, but the Notation3 [1] extension of RDF does provide enough
power. Such a rule:-

[[[
@prefix : <#> .
@prefix log: <http://www.w3.org/2000/10/swap/log#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .

this log:forAll :t , :x , :y .

{ :x :centigrade :t .
   :y math:sumOf ("32" [ math:factors ("1.8" :t) ]) }
   log:implies { :x :farenheit :y } .
]]]

There's also some stuff to process this at:-

   http://www.w3.org/2000/10/swap/doc/cwm

Cheers,

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

--
Kindest Regards,
Sean B. Palmer
@prefix : <http://purl.org/net/swn#> .
:Sean :homepage <http://purl.org/net/sbp/> .
Received on Sunday, 19 May 2002 08:58:11 GMT

This archive was generated by hypermail 2.2.0+W3C-0.50 : Monday, 7 December 2009 10:51:54 GMT