<div>Hi</div><div><br></div><div>I'm more comfortable with mathematical expressions in APE.</div><div>But I doubt that ACE View has the ability to output them (although OWL FS output works).</div><div><br></div><div>I tried personal nouns (becoming individuals in OWL).</div>
<div><br></div><div><i>There is a time T .</i></div><div><i>There is an n : acceleration G .</i></div><div><i>An n : accelerated-movement has-expression p : acceleration-formula .</i></div><div><i>p : acceleration-formula has-formula ( ( 1 / 2 ) * G * T * T ) .</i></div>
<div><br></div><div>Alas! No error flagged, but the last line is not in the OWL at all.</div><div><br></div><div>Of course I tried this simpler snippet:</div><div><br></div><div><i>There is a time T .</i></div><div><i>There is an n : acceleration G .</i></div>
<div><i>p : accelerated-movement has-expression ( ( 1 / 2 ) * G * T * T ) .</i></div><div><br></div><div>but ACE View says: "subject or object of this verb makes an illegal reference" . Same when removing the 2 first lines.</div>
<div><br></div><div><div>Note that using mass nouns for time and acceleration makes more sense:</div><div><font class="Apple-style-span" face="'courier new', monospace">./ape.exe -guess -solo drspp -text \</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">"There is some time T . There is some n : acceleration G . p : accelerated-movement has-expression ( ( 1 / 2 ) * G * T * T ) ."</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">[A, B, C]</font></div><div><font class="Apple-style-span" face="'courier new', monospace">object(A, time, mass, na, na, na)-1/6</font></div>
<div><font class="Apple-style-span" face="'courier new', monospace">object(B, acceleration, mass, na, na, na)-2/6</font></div><div><font class="Apple-style-span" face="'courier new', monospace">predicate(C, has-expression, named(accelerated-movement), expr(*, expr(*, expr(*, expr(/, int(1), int(2)), B), A), A))-3/6</font></div>
<div><br></div><div>Which gives different error messages in ACE View, for acceleration and time:</div><div>"A reference to this noun either does not exist or is illegal."</div></div><div><br></div><div><br></div>
<div>In fact, I don't even know how an algebric expression would be in OWL+SWRL.</div><div>I guess it uses the SWRL builtins for mathematical operations.</div><div>But what if it is pure OWL ?</div><div><br></div><div>
Pending the correction Kaarel mentionned last time, I need some workaround to make my small demonstrator that will interpret the math formulas and show some input forms.</div><div>Given some hints, I can try to arrange the Prolog code ...</div>
<div><br></div>-- <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>