<div class="gmail_quote">2010/7/5 Kaarel Kaljurand <span dir="ltr"><<a href="mailto:kaljurand@gmail.com">kaljurand@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> Hi,<br> <div class="im"><br> On Mon, Jun 21, 2010 at 13:26, Jean-Marc Vanel <<a href="mailto:jeanmarc.vanel@gmail.com">jeanmarc.vanel@gmail.com</a>> wrote:<br> ><br> > Now I paved the way for the case of expressions with more than one<br> > operator, like V=X*Y*Z .<br> > This works in pure ACE, but with ACE View, the implementations for<br> > algebraic formulas was sketchy.<br> <br> </div>I've now made a few improvements to the DRS->SWRL code. You can<br> unpack the attached tarball into utils/owlswrl/ of the latest APE release.<br> The main change is that now complex arithmetical expressions (in the DRS)<br> are supported by mapping each of them to a set of SWRL builtin atoms.<br> This works now for the owlfss output but not yet for the owlxml or<br> owlrdf outputs,<br> so this update is not usable for ACE View which depends on owlxml/owlrdf.<br> <br> My test cases were:<br> <br> (1) If a n:rectangle R has a n:length L1 and R has a n:length L2 then<br> <div class="im">R v:has-surface S, and S = ( L1 * L2 ).<br> <br> </div>(2) If a rectangle R has a length L1 and R has a length L2 then R<br> v:has-surface ( L1 * L2 ).<br> <br> (3) If there is a circle C and C's radius is R and C's area is S then<br> S = Pi * (R * R) / 1.<br> <br> See the corresponding SWRL versions in the attached swrl_test.out. I'm<br> not claiming that the corresponding SWRL is entirely correct,<br> e.g. in (3) 'radius' and 'area' should actually be data-properties and<br> 'Pi' should not be an object individual but rather be replaced by a number<br> in the SWRL version.<br> <br> Greetings from Luang Phabang,<br> <font color="#888888">Kaarel<br> </font></blockquote></div><div><br></div>Kaarel, this was great work!<div>I commited all this here :<br><a href="http://deductions.svn.sourceforge.net/viewvc/deductions/ape/utils/owlswrl/">http://deductions.svn.sourceforge.net/viewvc/deductions/ape/utils/owlswrl/</a></div> <div><br></div><div>Plus a bonus in <a href="http://owlfss_owlrdfxml.pl">owlfss_owlrdfxml.pl</a> : I added a clause to description_atom/3 , to translate DataProperty/3 fact into swrl:IndividualPropertyAtom XML element .</div> <div>So that now this produces a result:</div><div><br></div><div><div><font class="Apple-style-span" face="'courier new', monospace">text2="If a rectangle R has a length L1 and R has a length L2 then R v:has-surface ( L1 * L2 )."</font></div> <div><font class="Apple-style-span" face="'courier new', monospace">./ape.exe -text "$text2" -guess -solo owlrdf</font></div><div><br></div><div>But not yet with:</div><div><font class="Apple-style-span" face="'courier new', monospace">text3="If there is a circle C and C's radius is R and C's area is S then S = Pi * (R * R) / 1."</font></div> <div><br></div><div>As I already wrote , it's not very convenient to work on a separate Subversion depot. As an alternative, you could setup a Sourceforge account, and I would make you developer an that project I curently commit ATTEMPTO to .</div> <div><br></div><div>Greetings from Versailles<br clear="all"><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> EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode<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> </div></div>