Skip to main content

User account menu

  • Log in
Home
CIDOC CRM

Cidoc Horizontal Menu

  • Home
    • About & Info
    • Use & Learn
    • Issues
    • Mappings
    • Compatible Models
    • Use Cases
    • Best Practices
  • Activities
  • Resources
  • Community
  • News

Issues

  • Short Intro
  • Issue Formulation
  • Issue Processing
  • CRM SIG archive

Choose a shortcut

Compatible models & Collaborations
Link to old CIDOC CRM website
Next meeting
Use cases
CIDOC CRM Tutorial
CIDOC CRM Website designs and logos 
CRM SIG mailing list
Editorial Suggestions
Site Support

 

cardinality constraints for typed properties

571
2021-11-12
3 - Changes in the CIDOC CRM model
Done

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. 

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

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

596   Supplementary Documentation
532   The cardinality of AP13.2 is justified by (is justification of)

THE MODEL

  • About & Info
  • Short Intro
  • Scope
  • Recommendations
  • References
  • Critics
  • Important Theories
  • Use&Learn
  • Short Intro
  • User Guidance
  • Methodology
  • Tutorials
  • Functional Overview
  • Last Official Release
  • Concept Search
  • Issues
  • Short Intro
  • Issue Formulation
  • Issue Processing
  • CRM SIG Archive
  • Mappings
  • Short Intro
  • Mapping Methods
  • Mapping Tools
  • Mapping Memory
  • Reports about Mappings
  • Compatible Models
  • Short Intro
  • Models
  • Use Cases
  • Short Intro
  • Use Cases

RESOURCES

  • Related Activities
  • Versions
  • References
  • Presentations
  • Technical Papers
  • Tutorials
  • Critics
  • Important Theories
  • Publications
  • Mappings
  • Compatible Models
  • Translations
  • Best Practices
  • Meeting Contributions
  • Minutes
  • Issues
  • CRM SIG Archive
  • Meeting Contributions

ACTIVITIES

  • Short Intro
  • SIG Meetings
  • Minutes
  • Workshops
  • Related Activities

PEOPLE

  • Short Intro
  • Related Stakeholders
  • SIG Members
  • Hosts

NEWS

HOME

 

 

Copyright © 2025 Company Name - All rights reserved

Developed & Designed by Alaa Haddad