Issue 663: define Ixx Singleton Proposition Set

Starting Date: 
Working Group: 

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. 


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