[Attempto] or is interpreted as inclusive or , or xor?

[Gabriele Kahlout]

The paraphrase for the first solution is:

If something X1 is inserted then something X2 is inserted and it is
false that there is a thing and it is false that X2 is X1.

This doesn't sound correct at all. I would translate it into:
∀X1. IsInserted(X1) ⇒ ∃X2. IsInserted(X2) ∧ ¬∃X3. IsAThing(X3) ∧ X1 ≠X2

And this would mean that if X1 is inserted then X2 is also inserted, and X2
≠ X1.

While the 2nd solution is brilliant. The paraphrase of it is:

If a thing X1 is inserted and a thing X2 is inserted then the thing X2
is the thing X1.

This paraphrase is the same for inserted prefixed with a lexicon or not.
I take this 2nd solution as to be the way to express exclusiveness of the
kind in Attempto (until I find other ways, possibly more natural). This is
equivalent to saying: If a way X1 expresses exclusiveness in Attempto and a
way X2 expresses exclusiveness then the way X1 is the way X2.

PS: I did read most of the documentation (nutshell, course, construction
rules) but I didn't learn them well enough yet. And no place in the
documentation mentions mutual exclusiveness (I overlooked troubleshooting).
I didn't encounter any documentation on how to express mutual exclusiveness
at the level expressed by "only 1 object could be inserted".  I'll report
about my finding on a closer look.


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

> There also a solution with an equivalent FOL expression.
> But from a naive natural language point of view, this is maybe less good;
> it gives the impression that 2 things are inserted.
>
> ./ape.exe -guess -text 'If a thing X is a:inserted, and a thing Y is
> a:inserted then Y is X.' -solo drspp
> []
>    [A, B, C, D, E, F]
>    object(A, thing, countable, na, eq, 1)-1/3
>    property(B, inserted, pos)-1/8
>    predicate(C, be, A, B)-1/5
>    object(D, thing, countable, na, eq, 1)-1/12
>    property(E, inserted, pos)-1/17
>    predicate(F, be, D, E)-1/14
>    =>
>    [G]
>    predicate(G, be, D, A)-1/20
>
>
>
> --
> 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/20100711/43207115/attachment.htm>