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