<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>