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 P170

508
2020-07-23
3 - Changes in the CIDOC CRM model
Done
2020-10-20

This issue is related to issue 453

 

6/10/2020

Chryssoula

Posted by Martin on 23/7/2020

Dear All,

For:

P170 defines time (time is defined by)
Domain: E61Time Primitive
Range: E52 Time Span
Quantification: many to one (0,1:0,n )

Scope note:         This property associates an instance of E61 Time Primitive with the instance of E52 Time-Span that constitutes the interpretation of the terms of the time primitive as an extent in absolute, real time.

Examples:
▪        (1800/1/1 0:00:00 – 1899/31/12 23:59:59)(E61) defines time The 19th century (E52)
▪        (1968/1/1 – 2018/1/1)(E61) defines time “1968/1/1 – 2018/1/1” (E52) [an arbitrary time-span during which the Saint Titus reliquary was present in the Saint Titus Church in Heraklion, Crete]

In First Order Logic:
                           P170(x,y) ⇒ E61(x)
                           P170(x,y) ⇒ E52(y)
I propose:

                           P170(x,y) ⇒ P81(y,x) ˄ P82(y,x)

Meaning: the respective time-span is exactly ongoing and within the given time primitive.

Posted by George on 6/10/2020

In the last SIG, the issue of the accuracy of the FOL representation of P170 defines time (time is defined by) was raised in issue 508. A better FOL representation was sought for. MD was assigned the HW. 

The previous state was:

P170 defines time (time is defined by)
Domain: E61Time Primitive
Range: E52 Time Span
Quantification: many to one (0,1:0,n )

Scope note:         This property associates an instance of E61 Time Primitive with the instance of E52 Time-Span that constitutes the interpretation of the terms of the time primitive as an extent in absolute, real time.

Examples:
▪        (1800/1/1 0:00:00 – 1899/31/12 23:59:59)(E61) defines time The 19th century (E52)
▪        (1968/1/1 – 2018/1/1)(E61) defines time “1968/1/1 – 2018/1/1” (E52) [an arbitrary time-span during which the Saint Titus reliquary was present in the Saint Titus Church in Heraklion, Crete]

In First Order Logic:
                           P170(x,y) ⇒ E61(x)
                           P170(x,y) ⇒ E52(y)

It is proposed to introduce:

 P170(x,y) ⇒ P81(y,x) ˄ P82(y,x)

Meaning: the respective time-span is exactly ongoing and within the given time primitive.

Please vote on this change. Options: Yes, Yes with Caveat, No with Explanation, to this list.

The vote should be received by Oct 16, 2020. 

Posted by Robert Sanderson on 6/10/2020

YES

Posted by Martin on 6/10/2020

YES

Posted by Øyvind Eide on 9/10/2020

YES

Posted by Christian-Emil on 12/10/2020

YES

Posted by George on 12/10/2020

YES

Posted by Pat on 12/10/2020

Yes.

Posted by Daria Hookk on 12/10/2020

YES

In 48th CIDOC CRM and 41st FRBR CRM sig meeting (virtual), GB presented the outcome of the e-vote (16 Oct 2020) regarding the addition of the axiom 
P170 (x, y) ⇒ P81 (x, y) ∧ P82 (x, y),  in the FOL section of the definition of P170 defines time (time is defined by), to convey the meaning that the time span in question is exactly ongoing and within the given time primitive. There were 7 votes in favor of adding the axiom, and none against. 

The final definition of P170 in 7.1 can be found here.

The issue closed

October 2020

453   declarative time-spans

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