[Attempto] Tool to transform DDR into 'textbook' FOL

[Jean-Marc Vanel]

Dear Gabriele,

you forgot to paste the ACE english sentence. I'll check your DRS then .

And you don't have to know Prolog, the DRS document is quite readable:
http://attempto.ifi.uzh.ch/site/pubs/papers/drs_report_65.pdf
JMV

2010/7/12 Gabriele Kahlout <gabriele at mysimpatico.com>

> Hello,
>
> I'm getting better at ACE but I don't Prolog.
> I'm not sure if my FOL for the below match (the paraphrases are perfect
> though!).
>
> [A, B, C, D, E, F, G, H, I, J, K]
>
>    [L]
>    object(L, email, countable, na, eq, 1)-1/4
>    =>
>    [M, N, O, P, Q]
>       has_part(Q, M)-1/
>       object(M, subject, countable, na, exactly, 1)-1/8
>    predicate(N, have, L, Q)-1/5
>       has_part(Q, O)-1/
>
>       object(O, sender, countable, na, exactly, 1)-1/12
>    object(P, receiver, countable, na, geq, 1)-1/17
>    has_part(Q, P)-1/
>    object(Q, na, countable, na, eq, 3)-1/
> object(A, email, countable, na, eq, 1)-2/6
>
> object(B, subject, countable, na, eq, 1)-3/7
> has_part(F, B)-3/
> predicate(C, have, A, F)-3/5
> object(D, sender, countable, na, eq, 1)-3/10
> has_part(F, D)-3/
> object(E, receiver, countable, na, eq, 1)-3/13
> has_part(F, E)-3/
>
> object(F, na, countable, na, eq, 3)-3/
>    []
>       [R]
>       predicate(R, contain, B, string(LON))-4/4
>       v
>       [S, T, U]
>       object(S, reply, countable, na, eq, 1)-4/14
>       object(T, hour, countable, na, eq, 48)-4/17
>
>       predicate(U, reply, E)-4/11
>       modifier_pp(U, within, T)-4/15
>       modifier_pp(U, with, S)-4/12
>    =>
>    []
>       NOT
>       [V]
>       predicate(V, resend, D, A)-4/25
> object(G, reply, countable, na, eq, 1)-5/2
>
>    [W, X]
>    object(W, answer, countable, na, eq, 1)-5/5
>    predicate(X, be, G, W)-5/3
>    v
>    [Y, Z]
>    object(Y, acknowledgment, countable, na, eq, 1)-5/9
>    predicate(Z, be, G, Y)-5/7
> object(H, reply, countable, na, eq, 1)-6/2
>
> predicate(I, contain, H, string(ACK))-6/4
> object(J, acknowledgment, countable, na, eq, 1)-6/10
> predicate(K, be, H, J)-6/8
>
>
>
> --
> Regards,
> K. Gabriele
>
> --- unchanged since 25/1/10 ---
> 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.
> 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).
>
> 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.
> ∀x. In(x, MyInbox) ⇒ In(senderAddress(x), MySafeSenderList) ∨ (∃y. In(y,
> subject(this) ) ∧ In(y,x) ∧ isCodeLike(y, -LICHT01X) ).
>
>
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
>
>


-- 
Jean-Marc Vanel
Consulting, services, training,
Rule-based programming, Semantic Web
http://jmvanel.free.fr/
EulerGUI, a turntable GUI for Semantic Web + rules, XML, UML, eCore, Java
bytecode
+33 (0)6 89 16 29 52 -- +33 (0)1 39 55 58 16
( we rarely listen to voice messages, please send a mail instead )
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100712/7cd27223/attachment.htm>