- From: Sean B. Palmer <sean@mysterylights.com>
- Date: Sun, 19 May 2002 13:57:57 +0100
- 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 UTC