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

[Gabriele Kahlout]

2010/7/12 Jean-Marc Vanel <jeanmarc.vanel at gmail.com>

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

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.

I guess I'm confused. I had understood that DRS is in SWI-prolog notation,
is that not so?

It seems there is no known tool to transform DRS/prolog into 'regular' FOL?

>
> 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 )
>



-- 
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) ).
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20100712/3ac41762/attachment-0001.htm>