<meta http-equiv="content-type" content="text/html; charset=utf-8"><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; ">Hi all</p><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; ">After the acceleration formula, I tried a simpler example, with two variants, and with ACE mainly, but with no more success in the way of obtaining an OWL-RDF output.</p>
<p style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><em>If a rectangle R has a length L1</em></p><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><em>and R has a length L2</em></p>
<p style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><em>then R has-surface ( L1 * L2 ) .</em></p><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; ">The OWL Functional-Style Syntax gives:</p>
<span class="Apple-style-span" style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><pre>Ontology(
   <a href="http://attempto.ifi.uzh.ch/ontologies/owlswrl/test">http://attempto.ifi.uzh.ch/ontologies/owlswrl/test</a>
   Implies(
      Antecedent(
         description(
            Class(:rectangle)
            I-variable(1)
         )
         description(
            Class(:length)
            I-variable(2)
         )
         description(
            ObjectProperty(:have)
            I-variable(1)
            I-variable(2)
         )
         description(
            Class(:length)
            I-variable(4)
         )
         description(
            ObjectProperty(:have)
            I-variable(1)
            I-variable(4)
         )
      )
      Consequent(
         description(
            DataProperty(:has-surface)
            I-variable(1)<strong><span style="color: rgb(0, 255, 0); ">
            expr(
               *
               $VAR(
                  2
               )
               $VAR(
                  4
               )
            )</span></strong>
         )
      )
   )
)</pre></span><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; "></p><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; ">I also tried this variant with equality instead of the verb to be :</p>
<p style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><em>If a rectangle R has a length L1</em></p><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><em>and R has a length L2</em></p>
<p style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><em>then R has-surface S, and S = ( L1 * L2 ) .</em></p><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; ">The consequent side is different:</p>
<span class="Apple-style-span" style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><pre>      Consequent(
         description(
            Class(owl:Thing)
            I-variable(6)
         )
         description(
            ObjectProperty(:has-surface)
            I-variable(1)
            I-variable(6)
         )
         <strong><span style="color: rgb(0, 255, 0); ">builtIn(multiply, I-variable($VAR(6)), $VAR(2), $VAR(4))</span></strong>
      )</pre></span><p style="font-family: &#39;Times New Roman&#39;; font-size: medium; ">Comments:</p><ul style="font-family: &#39;Times New Roman&#39;; font-size: medium; "><li>DataProperty is apropriate in first variant,</li>
<li><code>builtIn(multiply</code>  seems apropriate in second variant;</li><li>the paraphrase is incorrect in case 2 (then missing) :<p><em>If a n:rectangle X1 has a n:length X2 and the n:rectangle X1 has a n:length X3 and X4 = ( X2 * X3 ) and the n:rectangle X1 v:has-surface X4.</em></p>
</li></ul><div><br></div>Hopefully these tests could allow the experts to correct easily the issues.<div><br>-- <br>Jean-Marc Vanel<br>Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a><br>
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16<br>( we rarely listen to voice messages, please send a mail instead )<br><br></div>