Re: using rdf in an logical equation?

> (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 UTC