@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-2.n3,v 1.1 2003/06/25 10:39:28 mdean Exp $";
   rdfs:comment "ontology translation/rewriting (with arithmetic)".

:yard :lengthInFeet "3".

{ ?x :lengthInFeet ?feet.
  ( ?feet "12" ) math:product ?inches }
=>
{ ?x :lengthInInches ?inches }
.

{ :yard :lengthInInches "36" }
=>
{ <> test:successful "true" }
.