Dear all, Yesterday we decided that the issue '597 define irreflexive and asymmetric ' should be reduced to an e-vote.
The changes is to be inserted in the terminology subchapter of the CIDOC CRM document. In the text below I have incorporated Franco's concern about proper subsets. The yellow is the new texts and the read should be deleted. In case the colours disappear the word 'symmetry' is replaced by 'symmetric' and 'reflexivity is replaced by 'reflexive', see also https://docs.google.com/document/d/1yrxtWNn6hfWRg4_IhUdl7lT_nqoxuizTuX_sWLDXGnA or https://www.cidoc-crm.org/Issue/ID-597-define-irreflexivity-and-asymmetry Please vote YES for accepting these changes, NO for rejection or VOTE if you whish a new discussion in hte next sig meeting Deadline is 28th September, 2022 (two weeks from now) Best, Christian-Emil asymmetric asymmetric is defined in the standard way found in mathematics or logic: A property P is asymmetric if the domain and range are the same class and for all pair of instances x, y of this class the following is the case: If x is related by P to y, then y is not related by P to x. In CIDOC CRM asymmetry is mostly used in properties denoting part-whole relationships, when the whole cannot be a part of itself. An example of such an asymmetric property is E18 Physical Thing. P46 is composed of (forms part of): E18 Physical Thing. irreflexive irreflexive is defined in the standard way found in mathematics or logic: A property P is irreflexive if the domain and range are the same class and for all instances x, of this class the following is the case: x is not related by P to itself. An example of an irreflexive property is E33<https://docs.google.com/document/d/1yrxtWNn6hfWRg4_IhUdl7lT_nqoxuizTuX_sWLDXGnA/edit#heading=h.30j0zll> Linguistic Object. P73 has translation (is translation of): E33<https://docs.google.com/document/d/1yrxtWNn6hfWRg4_IhUdl7lT_nqoxuizTuX_sWLDXGnA/edit#heading=h.30j0zll> Linguistic Object. symmetric symmetry Symmetric Symmetry is defined in the standard way found in mathematics or logic: A property P is symmetric if the domain and range are the same class and for all instances x, y of this class the following is the case: If x is related by P to y, then y is related by P to x. The intention of a property as described in the scope note will decide whether a property is symmetric or not. An example of a symmetric property is E53 Place. P122 borders with: E53 Place. The names of symmetric properties have no parenthetical form, because reading in the range-to-domain direction is the same as the domain-to-range reading. reflexive reflexivity ReflexiveReflexivity is defined in the standard way found in mathematics or logic: A property P is reflexive if the domain and range are the same class and for all instances x, of this class the following is the case: x is related by P to itself. The intention of a property as described in the scope note will decide whether a property is reflexive or not. An example of a reflexive property is E53 Place. P89 falls within (contains): E53 Place.
_______________________________________________ Crm-sig mailing list [email protected] http://lists.ics.forth.gr/mailman/listinfo/crm-sig
