Re: [Crm-sig] ISSUE: Delete Unnecessary / Incorrect Properties of CRMdig

2022-11-30 Thread George Bruseker via Crm-sig
Dear all, The deadline for voting on this issue has passed. There were 5 votes in total. 5 votes were to approve the change. 0 votes were against. Therefore, it would appear the change passes. This will be reported to the CRM SIG in the session on the CRMdig which will be held next week in

Re: [Crm-sig] ISSUE: Delete Unnecessary / Incorrect Classes of CRMdig

2022-11-30 Thread George Bruseker via Crm-sig
Dear all, The deadline for voting on this issue has passed. There were 7 votes in total. 7 votes were to approve the change. 0 votes were against. Therefore, it would appear the change passes. This will be reported to the CRM SIG in the session on the CRMdig which will be held next week in

Re: [Crm-sig] ISSUE 609 Homework

2022-11-30 Thread Martin Doerr via Crm-sig
Dear Thanasis Yes,it is about Issue 610, but it is also an epistemological background for an interface to CRMinf (Issue 609), where we would need to study how such arguments can be documented. Best, Martin On 11/24/2022 3:17 PM, Athanasios Velios via Crm-sig wrote: Thank you for this

Re: [Crm-sig] issue 534Shortcuts, .1-properties and the long paths

2022-11-30 Thread Martin Doerr via Crm-sig
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 tells us why there should not be more than one "w" for the same z. Is that what you

Re: [Crm-sig] Issue 613 Inverse shortcuts

2022-11-30 Thread Martin Doerr via Crm-sig
Dear Christian-Emil, all, I think we need to distinguish KB and ontology. Right now, it appears to me that P50 has current keeper, P52 has current owner, P55 has current location' are knowledge base constructs, whereas our FOLs are ontological per definitionem. I believe the better order of

Re: [Crm-sig] issue 534Shortcuts, .1-properties and the long paths

2022-11-30 Thread Christian-Emil Smith Ore via Crm-sig
B: Typo: P125 should be P125.1 in the bold phrase. "The implication from the long path to the shortcut is ok since the 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

Re: [Crm-sig] issue 534Shortcuts, .1-properties and the long paths

2022-11-30 Thread Martin Doerr via Crm-sig
Better reference to the passion flowers:

Re: [Crm-sig] issue 534Shortcuts, .1-properties and the long paths

2022-11-30 Thread Martin Doerr via Crm-sig
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

[Crm-sig] Issue 613 Inverse shortcuts

2022-11-30 Thread Christian-Emil Smith Ore via Crm-sig
Dear all, In an email exchange we have discussed the term 'weak inverse shortcut' introduced in Meghini & Doerr. The conclusion is that the term is problematic and Martin redefined it as ' an instance of the shortcut property implies an instance of each of the properties and classes in the

[Crm-sig] issue 534Shortcuts, .1-properties and the long paths

2022-11-30 Thread Christian-Emil Smith Ore via Crm-sig
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