Dear All,
Franco's comment deserves an Issue, I think:
We have defined all part-of relations in continua to be non-proper
(reflexive), and all part-of relations between discrete things to be
proper, "non-reflexive". I think this should be in the scope note
explicitly, or at a central place. The reason: Taking a physical object
to be part of itself is confusing, and not a use case we could identify.
Making a difference between a , possibly fuzzy, geometric area and
another area that is required to fall within it, can be impossible in
practice.
Best,
Martin
-------- Forwarded Message --------
Subject: [Crm-sig] call for e-vote ISSUE 597 define irreflexive and
asymmetric
Date: Wed, 14 Sep 2022 18:57:40 +0000
From: Christian-Emil Smith Ore via Crm-sig <crm-sig@ics.forth.gr>
Reply-To: Christian-Emil Smith Ore <c.e.s....@iln.uio.no>
To: crm-sig <Crm-sig@ics.forth.gr>
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
<https://docs.google.com/document/d/1yrxtWNn6hfWRg4_IhUdl7lT_nqoxuizTuX_sWLDXGnA>
or
https://www.cidoc-crm.org/Issue/ID-597-define-irreflexivity-and-asymmetry
<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
SymmetricSymmetryis 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
ReflexiveReflexivityis 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.
--
------------------------------------
Dr. Martin Doerr
Honorary Head of the
Center for Cultural Informatics
Information Systems Laboratory
Institute of Computer Science
Foundation for Research and Technology - Hellas (FORTH)
N.Plastira 100, Vassilika Vouton,
GR70013 Heraklion,Crete,Greece
Vox:+30(2810)391625
Email:mar...@ics.forth.gr
Web-site:http://www.ics.forth.gr/isl
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
_______________________________________________
Crm-sig mailing list
Crm-sig@ics.forth.gr
http://lists.ics.forth.gr/mailman/listinfo/crm-sig
