Issue 517: Does the axiom of non-reflexivity follow from the definition of transitivity?

ID: 
517
Starting Date: 
2020-10-20
Working Group: 
3
Status: 
Open
Background: 

In the 48th CIDOC CRM and 41st FRBR CRM sig meeting (virtual), uUpon discussing issue 406 (transitivity and quantification of properties), MD suggested that the axiom of non-reflexivity be introduced for all properties that have part-of semantics. 
CEO proposed that the non-reflexivity requirement be examined separately –as part of the semantics imposed by a many-to-many quantification. HW CEO to produce a text that explains the semantics of transitivity vs non-reflexivity in the context of discussing P73.

October 2020