[Attempto] ACE View: expressions with more than one operator, like V=X*Y*Z .

[Jean-Marc Vanel]

Hi

I solved the problem mentionned in my previous post, so that now this
works with ACE View :
If a n:rectangle R has a n:length L1 and R has a n:length L2 then R
v:has-surface S, and S = ( L1 * L2 ) .

I commited all my modifications here on Subversion (same directory structure) :
http://deductions.svn.sourceforge.net/viewvc/deductions/ape/

Now I paved the way for the case of expressions with more than one
operator, like V=X*Y*Z .
This works in pure ACE, but with ACE View, the implementations for
algebraic formulas was sketchy.

The interested can see the suggested modifications here (search string "jmv") :
http://deductions.svn.sourceforge.net/viewvc/deductions/ape/utils/owlswrl/implication_to_swrl.pl

or the diff with previous version:
http://deductions.svn.sourceforge.net/viewvc/deductions/ape/utils/owlswrl/implication_to_swrl.pl?r1=301&r2=304

--
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )