[Attempto] mathematical formulas in Ace View (and Ace)

Jean-Marc Vanel jeanmarc.vanel at gmail.com
Wed Apr 14 13:00:46 CEST 2010


Hi

I found no example about that in the documentation. But after reading the
doc :) I came with this satisfying ACE text :

% ./ape.exe -solo paraphrase -guess -text \
  "The distance X traveled by a mobile is (1/2)*G*T*T . G is the
acceleration . T is the elapsed time."

There is something X1.
There is something X2.
There is a n:distance X3.
The n:distance X3 is ( ( ( ( 1 / 2 ) * X2 ) * X1 ) * X1 ) traveled by a
n:mobile .
X2 is an n:acceleration .
X1 is an a:elapsed n:time .

Then I tried to adapt that to Ace View, following Kaarel's good lessons :

The distance-traveled X by a mobile is ( 1 / 2 ) * G * T * T .
G is the acceleration .
T is the elapsed-time .

Alas! Ace View rejects the second sentence as not OWL, complaining about
"acceleration" that "a reference to this noun either does not exist or is
allegal" .

-- 
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 )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100414/04e47e5c/attachment.htm>


More information about the attempto mailing list