> shortcut has no .1-property. The implication from the shortcut to the long
>>> path is problematic since there is a .1-property in the long path. It is
>>> possible to imagine that the shortcut could have a P125.1 mode of use:E55
>>> Type, but the range instan
:* Re: [Crm-sig] issue 534Shortcuts, .1-properties and the
long paths
OK, ,
If I understand correctly, the "w" should just be propagated in both
directions. If P125, nothing tells us that the unknown z is the same
as one possibly in a full path of the same activity. Nothing tel
on behalf of Martin Doerr via
Crm-sig
Sent: 30 November 2022 16:11
To: crm-sig@ics.forth.gr
Subject: Re: [Crm-sig] issue 534Shortcuts, .1-properties and the long paths
OK, ,
If I understand correctly, the "w" should just be propagated in both
directions. If P125, nothing tells us that t
onal FOL axiom would have to be
added:
P125(x,y,w) ⇔ (∃z) [E70(z) ∧ P16(x,z,w) ∧ P2(z,y)]"
*From:* Crm-sig on behalf of Martin
Doerr via Crm-sig
*Sent:* 30 November 2022 14:35
*To:* crm-sig@ics.forth.gr
*Subject:* Re: [C
on behalf of Martin Doerr via
Crm-sig
Sent: 30 November 2022 14:35
To: crm-sig@ics.forth.gr
Subject: Re: [Crm-sig] issue 534Shortcuts, .1-properties and the long paths
Dear Christian-Emil,
I agree with your precise analysis, except for:
A) I'd argue that P138.1 mode of representation is indeed
Better reference to the passion flowers:
Dear Christian-Emil,
I agree with your precise analysis, except for:
A) I'd argue that P138.1 mode of representation is indeed identical to
P62.1. Simply, similar examples have not been provided. I suggest a FOL
for that.
"P138.1 mode of representation seems to be unrelated to P62.1
Dear all,
My HW can be found here:
https://docs.google.com/document/d/1kd-zCO8e00WoKWb-9VAm96ECDEA2O_1iFI6kpgcuCnE
Best,
Christian-Emil
___
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
