Dear all, As agreed in the 52nd meeting the background material and the suggested (small) changes were made available for discussion and comments on the sig-list. The dead line 1st March. It has not been much discussion and comments - in fact none. The issue should not be controversial. It is time for an e-vote over the the full definition text for the 32 properties with suggested changes (msword with track changes)
https://docs.google.com/document/d/1fS7XjApOYimwZnQbmedU3Gk9u3uejETe/edit?usp=sharing&ouid=102982314589061437159&rtpof=true&sd=true Those in favour, vote yes. Those against vote no, and those who want the issue discussed at the next sig meeting can vote 'veto' Kind regards, Christian-Emil ________________________________ From: Christian-Emil Smith Ore Sent: 14 February 2022 09:47 To: crm-sig Subject: issue 517 comments, discussion until end of February Dear all, The issue 517 with the somewhat misleading title "Does the axiom of non-reflexivity follow from the definition of transitivity?" boils down to checking transitivity, symmetry and reflexivity of the 32 properties in CRMbase with identical domain and range. In the meeting last week (52nd) we decided that the SIG should have the possibility to study and discuss the suggested changes until the end of February. On the bais of the discussion and comments, a proposal for changes will be sent out on an e-vote. The full definition text for the 32 properties with suggested changes (msword with track changes) https://docs.google.com/document/d/1fS7XjApOYimwZnQbmedU3Gk9u3uejETe/edit?usp=sharing&ouid=102982314589061437159&rtpof=true&sd=true Overview: <https://docs.google.com/spreadsheets/d/1Xzxk1izWTLSTMs5JZuum77PiF73reNJDQxGyENzZeBQ>https://docs.google.com/spreadsheets/d/1Xzxk1izWTLSTMs5JZuum77PiF73reNJDQxGyENzZeBQ/edit?usp=sharing MD & CEO comments and discussion: https://docs.google.com/document/d/11E1PPNij7R8MueZLEGjB5a4RM6dolG-K/edit?usp=sharing&ouid=102982314589061437159&rtpof=true&sd=true Best, Christian-Emil
_______________________________________________ Crm-sig mailing list Crm-sig@ics.forth.gr http://lists.ics.forth.gr/mailman/listinfo/crm-sig
