Issue 597: define irreflexivity and asymmetry

ID: 
597
Starting Date: 
2022-05-18
Working Group: 
3
Status: 
Open
Background: 

Irreflexivity and asymmetry are not defined in the document (under terminology) despite there being properties bearing characterizations "irreflexive" and "asymmetric".

This is a problem, because irreflexivity and non-reflexivity stand for different things (irreflexive: no instance of a property is reflexive vs. non-reflexive: some instances of the property are reflexive and some are not). The same holds for asymmetry and non-symmetry (asymmetry: no instance of a property is symmetric vs. non-symmetry: some instances of the property are symmetric and some are not).

The problem was identified by Wolfgang, during the 53rd CIDOC CRM Sig meeting, in the context of issue 561. It was also relevant for issue 517

Current Proposal: 

In the 53rd CIDOC CRM & 46th FRBRoo SIG meeting, the SIG decided to start a new issue where to discuss the definitions provided for irreflexivity and asymmetry. The definitions should be included in v.7.1.2 and v7.2.1. Their place in the document will be in the "Terminology" section of the introduction.

HW: CEO

May 2022