[Attempto] Fwd: Extra variables and individuals created in OWL+SWRL

[Jean-Marc Vanel]

Sorry that was Google's default behavior to not send to the list ...

---------- Forwarded message ----------
From: Kaarel Kaljurand <kaljurand at gmail.com>
Date: 2013/9/26
Subject: Re: [Attempto] Extra variables and individuals created in OWL+SWRL
To: Jean-Marc Vanel <jeanmarc.vanel at gmail.com>


Hi,

can you (or I) share your message with the list as well?

A quick answer below:

On Thu, Sep 26, 2013 at 4:15 PM, Jean-Marc Vanel
<jeanmarc.vanel at gmail.com> wrote:
> 2013/9/26 Kaarel Kaljurand <kaljurand at gmail.com>
>>
>> .....
>>
>> > It's not wrong, but variable xg1 and individual _:977449132216104540
>> > could
>> > be eliminated and replaced by x4 and _:199541176426535230  respectively
>> > .
>>
>> Yes, I agree. I think the problem is that it's too difficult to do the
>> elimination during the construction of these formulas, i.e. it has to
>> be done in post-processing.
>
> ==> Does APE itself include already a post-processing step ?
> Maybe we could add this simplification there.
> I feel that this job belongs to the ACE ==> OWL+rules translation step,
that
> is is APE; without the simplification it's an uncomplete job.

I think there is no post-processing step for the SWRL rules. I have
currently no time to look into it but feel free to implement it and
share the modification via a pull request.
In general, if it improves compatibility with tools like Protege and
HermiT then it should be done.

Best,
Kaarel



-- 
Jean-Marc Vanel
Déductions SARL - Consulting, services, training,
Rule-based programming, Semantic Web
http://deductions-software.com/
+33 (0)6 89 16 29 52
Twitter: @jmvanel ; chat: irc://irc.freenode.net#eulergui
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20130926/31bea4aa/attachment.html>