<div dir="ltr">Sorry that was Google's default behavior to not send to the list ... <div class="gmail_quote">---------- Forwarded message ---------- From: Kaarel Kaljurand <<a href="mailto:kaljurand@gmail.com">kaljurand@gmail.com</a>> Date: 2013/9/26 Subject: Re: [Attempto] Extra variables and individuals created in OWL+SWRL To: Jean-Marc Vanel <<a href="mailto:jeanmarc.vanel@gmail.com">jeanmarc.vanel@gmail.com</a>> Hi, can you (or I) share your message with the list as well? A quick answer below: <div class="im"> On Thu, Sep 26, 2013 at 4:15 PM, Jean-Marc Vanel <<a href="mailto:jeanmarc.vanel@gmail.com">jeanmarc.vanel@gmail.com</a>> wrote: > 2013/9/26 Kaarel Kaljurand <<a href="mailto:kaljurand@gmail.com">kaljurand@gmail.com</a>> >> >> ..... >> >> > 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. </div>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 </div> <div> </div>-- Jean-Marc Vanel Déductions SARL - Consulting, services, training, Rule-based programming, Semantic Web <a href="http://deductions-software.com/" target="_blank">http://deductions-software.com/</a> +33 (0)6 89 16 29 52 Twitter: @jmvanel ; chat: irc://<a href="http://irc.freenode.net#eulergui" target="_blank">irc.freenode.net#eulergui</a> </div>