<div class="gmail_quote">2010/4/6 Kaarel Kaljurand <span dir="ltr"><<a href="mailto:kaljurand@gmail.com">kaljurand@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> Hi,<br> <div class="im"><br> On Thu, Apr 1, 2010 at 14:45, Jean-Marc Vanel <<a href="mailto:jeanmarc.vanel@gmail.com">jeanmarc.vanel@gmail.com</a>> wrote:<br> <br> > To adapt our EulerGUI [1] rule framework to Ace View, I wrote a translator<br> > [2] from SWRL to N3 logic [3] .<br> <br> </div>Unfortunately, I failed to open these links now:<br> <br> An Exception Has Occurred<br> trunk/eulergui/documentation.html: unknown location<br> HTTP Response Status<br> 404 Not Found<br></blockquote><div> </div><div>Sorry, my mistake:</div><div><br></div><div><span class="Apple-style-span" style="font-family: arial, sans-serif; font-size: 18px; border-collapse: collapse; "><div>[1] EulerGUI <a href="http://eulergui.svn.sourceforge.net/viewvc/eulergui/trunk/eulergui/html/documentation.html" target="_blank" style="color: rgb(42, 93, 176); ">http://eulergui.svn.sourceforge.net/viewvc/eulergui/trunk/eulergui/html/documentation.html</a></div> <div>[2] SWRL to N3 logic <a href="http://eulergui.svn.sourceforge.net/viewvc/eulergui/trunk/eulergui/html/documentation.html#L2219" target="_blank" style="color: rgb(42, 93, 176); ">http://eulergui.svn.sourceforge.net/viewvc/eulergui/trunk/eulergui/html/documentation.html#L2219</a></div> </span></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"><div class="im"><br> > Since Ace View includes an ACE --> OWL+SWRL translator , this will allow us<br> > to have this workflow:<br> ><br> > create an ontology in Protégé 4.0.X with Ace View<br> > open this ontology in EulerGUI and translate SWRL rules to N3 logic<br> > in EulerGUI reuse business rules in N3 logic plus the OWL ontology, for<br> > application generation [4] and other software tasks<br> <br> </div>This is interesting. Have you also thought about the other direction,<br> i.e. communicating any changes in the N3 logic rules side back to the<br> ACE side, i.e. verbalizing the N3 rules.<br></blockquote><div><br></div><div>That's a very good suggestion.</div><div> It seems that this could be realized by translating N3 logic rules into SWRL.</div><div>There is a difficulty though, as N3 logic is more expressive than SWRL, having existential qualifiers and "quoted graphs".</div> <div>Maybe Jos has worked on a direct verbalizer for N3 rules. Or maybe it's a verbalizer for the proofs produced by an Euler run...</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> <div class="im">> Now to test this workflow, I would like to have a corpus of Ace or Ace View<br> > texts.<br> > I found no evidence of that on the Ace site.<br> <br> </div>Yes, in the Attempto project we have not so far put together<br> such a corpus. I agree that it would be nice and important to have it.<br> <br> At the moment, the only things that I can think of are:<br> <br> * The examples on the ACE View page (<a href="http://attempto.ifi.uzh.ch/aceview/" target="_blank">http://attempto.ifi.uzh.ch/aceview/</a>),<br></blockquote><div><br></div><div>I have tried them all, but curiously none of them has any rule, or at least Protégé does not show any after loading the ACE text.</div> <div> </div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> <br> * The content of the AceWiki demo instances found on<br> <a href="http://attempto.ifi.uzh.ch/acewiki/" target="_blank">http://attempto.ifi.uzh.ch/acewiki/</a>. Use the "Export..." function to access<br> the plain text representation of the wikis.<br></blockquote><div><br></div><div>I did that. Again, none of them has any rule.</div><div>It's clear that OWL is expressive enough to capture the large majority of controlled language snippets.</div> <div>But how would you characterize the snippets that are translated to SWRL ? In general, in the publications, there is little details on SWRL.</div><div><br></div><div>As side note, for the Geo ontology, the snippet</div> <div>If X borders Y then Y borders X.</div><div>is translated as </div><div>border subPropertyOf inv(border)</div><div>I would have expected border to be a symmetric property.</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> We also have a regression test set for the ACE parser (> 3500 ACE snippets)<br> which can be made public I think, but this is probably not what you want as<br> most sentences there are not rule-like, most are not ACE View compatible,<br> and many even contain syntax errors<br> as the goal of it is to test all aspects of the parser.</blockquote><div><br></div><div>To make it public would be good, but something ACE View compatible is wished.</div><div>How do you test the regressions for the ACE ==> OWL+SWRL ?</div> <div>There must be some SWRL cases there.</div><div><br></div><div>Greetings from Versailles.</div><div>JMV</div><div><br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;"> <br> Greetings from Sao Paulo,<br> <font color="#888888">Kaarel</font></blockquote></div><br>-- <br>Jean-Marc Vanel<br>Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://jmvanel.free.fr/">http://jmvanel.free.fr/</a><br> +33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16<br>( we rarely listen to voice messages, please send a mail instead )<br>