<div dir="ltr"><div style>Here is an example :</div><div style><br></div><div>If an n:appartment A v:has-surface S and P = ( S * 7000 ) then A v:has-price P .</div><div>A1 is an n:appartment . A1 v:has-surface 100 .</div><div>
<br></div><div><br></div><div style>And how it is translated with  -solo owlfsspp :</div><div style><br></div><div style><div>   DLSafeRule(</div><div>      Body(</div><div>         ClassAtom(</div><div>            :appartment</div>
<div>            Variable(<urn:swrl#x1>)</div><div>         )</div><div>         ObjectPropertyAtom(</div><div>            :has-surface</div><div>            Variable(<urn:swrl#x1>)</div><div>            Variable(<urn:swrl#x2>)</div>
<div>         )</div><div>         BuiltInAtom(<swrlb:equal></div><div>            Variable(<urn:swrl#x4>)</div><div>            Variable(<urn:swrl#<b>xg1</b>>)</div><div>         )</div><div>         BuiltInAtom(<swrlb:multiply></div>
<div>            Variable(<urn:swrl#<b>xg1</b>>)</div><div>            Variable(<urn:swrl#x2>)</div><div>            "7000"^^<<a href="http://www.w3.org/2001/XMLSchema#integer">http://www.w3.org/2001/XMLSchema#integer</a>></div>
<div>         )</div><div>      )</div><div>      Head(</div><div>         ObjectPropertyAtom(</div><div>            :has-price</div><div>            Variable(<urn:swrl#x1>)</div><div>            Variable(<urn:swrl#x4>)</div>
<div>         )</div><div>      )</div><div>   )</div><div>   DataPropertyAssertion(</div><div>      :has-surface</div><div>      _:199541176426535230</div><div>      "100"^^<<a href="http://www.w3.org/2001/XMLSchema#integer">http://www.w3.org/2001/XMLSchema#integer</a>></div>
<div>   )</div><div>   SameIndividual(</div><div>      _:199541176426535230</div><div>     <b> _:977449132216104540</b></div><div>   )</div><div>   ClassAssertion(</div><div>      :appartment</div><div>      <b>_:977449132216104540</b></div>
<div>   )</div><div>   ClassAssertion(</div><div>      owl:Thing</div><div>      _:199541176426535230</div><div>   )</div><div><br></div><div><br></div><div style>It's not wrong, but variable xg1 and individual _:977449132216104540 could be eliminated and replaced by x4 and _:199541176426535230  respectively .</div>
<div style><br></div></div>-- <br>Jean-Marc Vanel<br>Déductions SARL - Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://deductions-software.com/" target="_blank">http://deductions-software.com/</a><br>
+33 (0)6 89 16 29 52<br>Twitter: @jmvanel ; chat: irc://<a href="http://irc.freenode.net#eulergui" target="_blank">irc.freenode.net#eulergui</a>
</div>