Issue 571: cardinality constraints for typed properties

ID: 
571
Starting Date: 
2021-11-12
Working Group: 
3
Status: 
Done
Background: 

In the 51st CIDOC CRM & 44th FRBRoo SIG meeting, upon discussing issue 532, the SIG decided to start a new issue, where to discuss the section that cardinalities of typed properties (.1/.2) should appear in the CIDOC CRM document. If cardinalities for typed properties are not to be defined on a one-by-one basis, this calls for drafting a text settling them in the introduction section. Otherwise, a template is needed for adding cardinality constraints to the definitions of typed properties, for the properties that have them. 

Current Proposal: 

Post by Martin Doerr (24 January 2022)

 

HW to be discussed in the 52nd CIDOC CRM SIG meeting 

In the 52nd CIDOC CRM & 45th FRBRoo SIG meeting, MD presented his HW (reworked the Applied Form section of the Introduction to the CIDOC CRM to ensure that: 

  • an introduction to the construct of .1 properties preceded discussing their quantification and FOL representation
  • the FOL representation of .1 properties is understood
  • the quantification of .1 properties is understood

Decision: The SIG voted in favor of the reformulation and assigned MD to represent an example of a .1 property in FOL as a ternary predicate. The new applied form (that is to inform both v7.1.2 and 7.2.1) can be found here

The example can be found below: 

The property P14.1 in the role of is described as the ternary predicate symbol corresponding to property P14 carried out by (performed):
P14(x,y) ⇒ E7(x)
P14(x,y)⇒ E39(y)
P14(x,y,z) ⇒ [P14(x,y) ∧ E55(z)]

HW: CEO to revise the statement, in order to express the connection between the arity of P14 and P14.1

February, 2022

The issue has been resolved by minor editing by CEO of the statement for the .1 properties [HW MD]. It was an editorial decision and was implemented in versions 7.1.2 and 7.2.1. 

Details here (original chunks of text were substituted by text in yellow highlight). 

 

what remains to be done is to generate a list of the .1 properties of the CIDOC CRM, in order to facilitate users locate them.

The CIDOC CRM editors,

March 2022

Outcome: 

In the 53rd CIDOC CRM & 46th FRBRoo SIG meeting, the SIG discussed where on the site to publish the list of .1 properties.

The proposal put fort was to: 

  • add the table of .1 properties to the list of things that will appear under “Supplementary documentation” (within Resources). 
  • add the table to the CRM document, right after the Table of Properties.  

Everyone in agreement with the proposal. Change implemented in CIDOC CRM v7.1.2 and v7.2.1. 

Issue closed
 

May 2022

Meetings discussed: