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
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,
In the 59th joint meeting of the CIDOC CRM and ISO/TC46/SC4/WG9 & 52nd FRBR/LRMoo SIG, the group reviewed the model proposed by Martin and Pavlos for One-Proposition Sets.
For the details of the proposal and the ensuing discussion see here.
Decisions:
- The proposed definition for One-Proposition Set and its properties were accepted in principle.
- The properties were OK, but I17 One-Proposition Set needs some editing, in terms of making clear what its relation to reification is.
- HW: GB will be contacting PF & MD to work on the scope note for I17 One-Proposition Set
Plovdiv, September 2024