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

Current Proposal: 

Post by Eleni Tsouloucha (6 September 2024)

Dear all,

In view of the massive reorganization that CRMinf has been undergoing, and the need to issue a stable version of it sooner than later, I’m sending you
the proposed changes we’ll be discussing and voting for at the SIG meeting. 

You can refer to the (updated [1]) specification document for a better grasp of the ensuing model. It goes without saying that any
comments you have are welcome.

Α summary of the proposed changes can be found below: 

   1. Introduce class One-Proposition Set
   2. Introduce property is encoded by
   3. Introduce property has unambiguous description (describes the formal meaning of)
   4. Introduce property that the formal meaning of (has a meaning belief)
   5. Introduce property contains entity (is contained in) 
   6. Introduce property contains property type (is property type in)
   7. Introduce property has domain (is domain of)
   8. Introduce property has range (is range of) 
   9. Introduce property has property type (is property type of)
   10. Introduce property assigned proposition (is assigned by) 
   11. New example for I2 Belief
   12. Introduction (Scope update, usage examples)

[1] You'll see that classes and properties have been assigned numeric
identifiers in the document, which serves the overall ease of presentation.
They have been clearly marked as under discussion and form part of the
things to be decided on.

All the best,

Reference to Cidoc Version:
Version 7.1.2