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

 

FOL for properties with range type

465
2020-01-25
3 - Changes in the CIDOC CRM model
Done
2020-02-28

Posted by Martin on 25/1/2020

Dear All,

I propose for

 

P101


had as general use (was use of)

E70 Thing

E55 Type

P103

was intended for (was intention of)

E71 Human-Made Thing

E55 Type

P125


used object of type (was type of object used in)

E7 Activity

E55 Type

P33

   -   -   used specific technique (was used by)

E11 Modification

E29 Design or Procedure


P186


produced thing of product type (is produced by)


E12 Production


E99 Product Type


P20

had specific purpose (was purpose of)

E7 Activity

E5 Event

P21

had general purpose (was purpose of)

E7 Activity


E55 Type

P16

   -   used specific object (was used for)

E7 Activity

E70 Thing

P32

   -   used general technique (was technique of)

E7 Activity

E55 Type

P108

   -  -    has produced (was produced by)

E12 Production

E24 Physical Human-Made Thing

 

 

 These new FOL axioms:

P125(x,y) ³ ($z)[E70(z) ∧ P16(x,z) ∧  P2(z,y)]

P32((x,y) ³ ($z)[E29(z) ∧ P33(x,z) ∧  P2(z,y)]

P186(x,y) ³ ($z)[E24(z) ∧ P108(x,z) ∧  P2(z,y)]

P101(x,y) ³ ($z)[E7(z) ∧ P16(z,x) ∧  P2(z,y)]

In the 46th joint meeting of the CIDOC CRM SIG and ISO/TC46/SC4/WG9; 39th FRBR - CIDOC CRM Harmonization meeting; the sig reviewed the HW by MD on the FOL axioms proposed by MD and did some editing. The following axioms were accepted 
P125(x,y) iff (∃z)[E70(z) ∧ P16(x,z) ∧  P2(z,y)] 
P186(x,y) ³ (∃z)[E24(z) ∧ P108(x,z) ∧  P2(z,y)]
P101(x,y) ³ (∃z)[E7(z) ∧ P16(z,x) ∧  P2(z,y)]
The axiom for P32 cannot be inferred, so it was dropped. 

While discussing the inference for P101, the sig decided to start a new issue to change the scope of P101 in order to reflect the axiom above. The new issue must also cover the use of the terms General and Speccific, in all the labels where they appear and eradicate all ambiguities related to these terms. 

The  issue closed.

Athens, February 2020

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