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 [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
