@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix test: <http://www.daml.org/2003/06/ruletests/test-ont#> .
@prefix math: <http://www.w3.org/2000/10/swap/math#> .
@prefix : <#> .

<> a test:Test;
   owl:versionInfo "$Id: translation-4.n3,v 1.2 2004/01/06 19:01:31 mdean Exp $";
   rdfs:comment "ontology translation/rewriting (with arithmetic using intermediate variables)".

:waterBoil :fTemperature "212".

{ ?x :fTemperature ?f.
  ( ?f "32" ) math:difference ?i1.
  ( ?i1 "5" ) math:product ?i2.
  ( ?i2 "9" ) math:quotient ?c.
}
=>
{ ?x :cTemperature ?c }
.

{ :waterBoil :cTemperature "100" }
=>
{ <> test:successful "true" }
.