<br><br><div class="gmail_quote">2010/7/12 Jean-Marc Vanel <span dir="ltr"><<a href="mailto:jeanmarc.vanel@gmail.com">jeanmarc.vanel@gmail.com</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
Dear Gabriele,<div><br></div><div>you forgot to paste the ACE english sentence. I'll check your DRS then .</div></blockquote><div><br>I intended not to. I didn't want to bother you with it (yet). I pasted the DRS just as an example of what I'd like to have in FOL notation.<br>
<br>I guess I'm confused. I had understood that DRS is in SWI-prolog notation, is that not so?<br><br>It seems there is no known tool to transform DRS/prolog into 'regular' FOL?<br></div><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div><br></div><div>And you don't have to know Prolog, the DRS document is quite readable:</div><div><a href="http://attempto.ifi.uzh.ch/site/pubs/papers/drs_report_65.pdf" target="_blank">http://attempto.ifi.uzh.ch/site/pubs/papers/drs_report_65.pdf</a></div>
<div>JMV<br><br><div class="gmail_quote">2010/7/12 Gabriele Kahlout <span dir="ltr"><<a href="mailto:gabriele@mysimpatico.com" target="_blank">gabriele@mysimpatico.com</a>></span><br><blockquote class="gmail_quote" style="margin: 0pt 0pt 0pt 0.8ex; border-left: 1px solid rgb(204, 204, 204); padding-left: 1ex;">
<div><div></div><div class="h5">
Hello,<br><br>I'm getting better at ACE but I don't Prolog. <br>I'm not sure if my FOL for the below match (the paraphrases are perfect though!).<br><br><pre>[A, B, C, D, E, F, G, H, I, J, K]<br>
[L]<br> object(L, email, countable, na, eq, 1)-1/4<br> =><br> [M, N, O, P, Q]<br> has_part(Q, M)-1/<br> object(M, subject, countable, na, exactly, 1)-1/8<br> predicate(N, have, L, Q)-1/5<br> has_part(Q, O)-1/<br>
object(O, sender, countable, na, exactly, 1)-1/12<br> object(P, receiver, countable, na, geq, 1)-1/17<br> has_part(Q, P)-1/<br> object(Q, na, countable, na, eq, 3)-1/<br>object(A, email, countable, na, eq, 1)-2/6<br>
object(B, subject, countable, na, eq, 1)-3/7<br>has_part(F, B)-3/<br>predicate(C, have, A, F)-3/5<br>object(D, sender, countable, na, eq, 1)-3/10<br>has_part(F, D)-3/<br>object(E, receiver, countable, na, eq, 1)-3/13<br>
has_part(F, E)-3/<br>
object(F, na, countable, na, eq, 3)-3/<br> []<br> [R]<br> predicate(R, contain, B, string(LON))-4/4<br> v<br> [S, T, U]<br> object(S, reply, countable, na, eq, 1)-4/14<br> object(T, hour, countable, na, eq, 48)-4/17<br>
predicate(U, reply, E)-4/11<br> modifier_pp(U, within, T)-4/15<br> modifier_pp(U, with, S)-4/12<br> =><br> []<br> NOT<br> [V]<br> predicate(V, resend, D, A)-4/25<br>object(G, reply, countable, na, eq, 1)-5/2<br>
[W, X]<br> object(W, answer, countable, na, eq, 1)-5/5<br> predicate(X, be, G, W)-5/3<br> v<br> [Y, Z]<br> object(Y, acknowledgment, countable, na, eq, 1)-5/9<br> predicate(Z, be, G, Y)-5/7<br>object(H, reply, countable, na, eq, 1)-6/2<br>
predicate(I, contain, H, string(ACK))-6/4<br>object(J, acknowledgment, countable, na, eq, 1)-6/10<br>predicate(K, be, H, J)-6/8<br></pre><br clear="all"><br>-- <br>Regards, <br>K. Gabriele<br><br>--- unchanged since 25/1/10 ---<br>
P.S. Unless a notification (LON), please reply either with an answer OR with " ACK" appended to this subject within 48 hours. Otherwise, I might resend.<br>In(LON, this) ∨ In(48h, TimeNow) ∨ ∃x. In(x, MyInbox) ∧ IsAnswerTo(x, this) ∨ (In(subject(this), subject(x)) ∧ In(ACK, subject(x)) ∧ ¬IsAnswerTo(x,this)) ⇒ ¬IResend(this).<br>
<br>Also note that correspondence may be received only from specified a priori senders, or if the subject of this email ends with a code, eg. -LICHT01X, then also from senders whose reply contains it.<br>∀x. In(x, MyInbox) ⇒ In(senderAddress(x), MySafeSenderList) ∨ (∃y. In(y, subject(this) ) ∧ In(y,x) ∧ isCodeLike(y, -LICHT01X) ).<br>
<br>
<br></div></div>_______________________________________________<br>
attempto mailing list<div class="im"><br>
<a href="mailto:attempto@lists.ifi.uzh.ch" target="_blank">attempto@lists.ifi.uzh.ch</a><br>
<a href="https://lists.ifi.uzh.ch/listinfo/attempto" target="_blank">https://lists.ifi.uzh.ch/listinfo/attempto</a><br>
<br></div></blockquote></div><div class="im"><br><br clear="all"><br>-- <br>Jean-Marc Vanel<br>Consulting, services, training,<br>Rule-based programming, Semantic Web<br><a href="http://jmvanel.free.fr/" target="_blank">http://jmvanel.free.fr/</a><br>
EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java bytecode<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>
</div></div>
</blockquote></div><br><br clear="all"><br>-- <br>Regards, <br>K. Gabriele<br><br>--- unchanged since 25/1/10 ---<br>P.S. Unless a notification (LON), please reply either with an answer OR with " ACK" appended to this subject within 48 hours. Otherwise, I might resend.<br>
In(LON, this) ∨ In(48h, TimeNow) ∨ ∃x. In(x, MyInbox) ∧ IsAnswerTo(x, this) ∨ (In(subject(this), subject(x)) ∧ In(ACK, subject(x)) ∧ ¬IsAnswerTo(x,this)) ⇒ ¬IResend(this).<br><br>Also note that correspondence may be received only from specified a priori senders, or if the subject of this email ends with a code, eg. -LICHT01X, then also from senders whose reply contains it.<br>
∀x. In(x, MyInbox) ⇒ In(senderAddress(x), MySafeSenderList) ∨ (∃y. In(y, subject(this) ) ∧ In(y,x) ∧ isCodeLike(y, -LICHT01X) ).<br><br>