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

[Kaarel Kaljurand]

Hi,

On Mon, Jun 21, 2010 at 13:26, Jean-Marc Vanel <jeanmarc.vanel at gmail.com> wrote:
>
> 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.

I've now made a few improvements to the DRS->SWRL code. You can
unpack the attached tarball into utils/owlswrl/ of the latest APE release.
The main change is that now complex arithmetical expressions (in the DRS)
are supported by mapping each of them to a set of SWRL builtin atoms.
This works now for the owlfss output but not yet for the owlxml or
owlrdf outputs,
so this update is not usable for ACE View which depends on owlxml/owlrdf.

My test cases were:

(1) 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 ).

(2) If a rectangle R has a length L1 and R has a length L2 then R
v:has-surface ( L1 * L2 ).

(3) If there is a circle C and C's radius is R and C's area is S then
S = Pi * (R * R) / 1.

See the corresponding SWRL versions in the attached swrl_test.out. I'm
not claiming that the corresponding SWRL is entirely correct,
e.g. in (3) 'radius' and 'area' should actually be data-properties and
'Pi' should not be an object individual but rather be replaced by a number
in the SWRL version.

Greetings from Luang Phabang,
Kaarel
-------------- next part --------------
A non-text attachment was scrubbed...
Name: drs_to_owlswrl_update20100705.tar.gz
Type: application/x-gzip
Size: 14124 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100705/d7743fe9/attachment-0001.bin>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: swrl_test.bash
Type: application/octet-stream
Size: 630 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100705/d7743fe9/attachment-0002.obj>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: swrl_test.out
Type: application/octet-stream
Size: 8359 bytes
Desc: not available
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100705/d7743fe9/attachment-0003.obj>