Issue 663: define Ixx Singleton Proposition Set
ID:
663
Starting Date:
2023-10-12
Working Group:
3
Status:
Open
Background:
In the 57th CIDOC CRM & 50th FRBR/LRMoo SIG Meeting, upon discussing issue 602, the SIG resolved to start a new issue, where to define a class Ixx Singleton Proposition Set.
HW: PF & MD
For details see here
Marseille, October 2023
In the 58th CIDOC CRM SIG & 51st FRBR/LRMoo SIG Meeting, the SIG went through the scope notes of the properties in relation to Jxx1 One-Proposition Set (HW by MD & PF). The properties in question are:
- Jxx6 has domain (is domain of)
- Jxx7 has range (is range of)
- Jxx8 has property type (is property type of)
- Jxx9 assigned proposition (is assigned by)
The details of the definitions plus some comments by the SIG can be found in the attached document:
Nb. The SIG did not manage to go through the proposed FOL axioms
Overall discussion (in terms of how to proceed):
- HW: MD & PF to incorporate adjustments proposed by the SIG and then call for a vote.
- Nb. Make sure that there are examples illustrating how the properties should be used (and, where necessary, mark the equivalences with the CRMbase properties)
- The FOL axioms will be reviewed at the next SIG meeting, in Plovdiv.
Paris, March 2024