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

 

adjusting properties of E54 Dimension

680
2024-09-05
3 - Changes in the CIDOC CRM model
Proposed

Post by Martin Doerr (4 September 2024). 

 

Dear All,

I propose the following modifications for P179 and P191, as attached, following issue 665.

 

Specificity of the "Monetary amount" for a transaction is much more relevant for querying, and unambiguous, than asking for all transactions or things having the same monetary nominal value. Indeed, I cannot grasp the sense of the latter.
Therefore I change the quantifier to one to one, necessary, and enhance the scope note.

Best,

Martin

Proposal by Martin Doerr & Christian-Emil to adjust the FOL statements for P191 had duration and P179 had sales price, to include inferences excluding the use of P43 and (P179|P191) respectively (personal communication: 19 August 2024)

 P191 had duration (was duration of) - v7.3

In first-order logic:

  • P191(x,y) ⇒ E52(x)
  • P191(x,y) ⇒ E54(y)

Exclusion statements for CRMbase:

  • P191(x,y) ⇒ ¬(∃z) [E54(z) ⋀ P43(x,z)]
  • P191(x,y) ⇒ ¬(∃z) [E54(z) ⋀ P179(x,z)]

Exclusion statements for CRMsci to go under O12:

  • P191(x,y) ⇒ ¬(∃z) [E54(z) ⋀ O12(x,z)]

 

P179 had sales price (was sales price of) -v7.3

In first-order logic:

  • P179(x,y) ⇒ E96(x)
  • P179(x,y) ⇒ E97(y)

Exclusion statements for CRMbase:

  • P179(x,y) ⇒ ¬(∃z) [E54(z) ⋀ P43(x,z)]
  • P179(x,y) ⇒ ¬(∃z) [E54(z) ⋀ P191(x,z)]

Exclusion statements for CRMsci to go under O12:

  • P179(x,y) ⇒ ¬(∃z) [E54(z) ⋀ O12(x,z)]

     

679   multiple objects cannot share the same instance of E54 Dimension
665   Harmonize the quantification of P43 & O12 has dimension (also P179 had sales price)

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