http://www.cidoc-crm.org/cidoc-crm/P174i_ends_after_the_start_of
rdf:Property
Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts definitely before the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(start) < B(end) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}
Typically, this property is a consequence of a known influence of some event on another event or activity, such as a novel written by someone being continued by someone else, or the knowledge of a defeat on a distant battlefield causing people to end their ongoing activities. This property is not transitive. This property is irreflexive.
https://cidoc-crm.org/html/version_images/images_7.1.3/image_03.png
Figure 10: Temporal entity A starts before the end of temporal entity B. Here A is longer than B
https://cidoc-crm.org/html/version_images/images_7.1.3/image_04.png
Figure 11: Temporal entity A starts before the end of temporal entity B. Here A is shorter than B
Examples of the inverse property:
- The settling activity of the city of Assur (Ashur) (E7) starts before the end of The Tenth Dynasty of Egypt (E4). [There are some 200 - 300 years differences in the chronology of the First Intermediate Period, and Assur is dated to “about 2500 BC”.] (Pedersén, 1986)
- The building of the current St. Peters in Rome (E7) starts before the end of the demolition of the old 4(th) c. St. Peters (E6, E7) (Bosman, 2004)
In First Order Logic of the inverse property:
- P174(x,y) ⇒ E2(x)
- P174(x,y) ⇒ E2(y)
- P174(x,y) ⇒ P173(x,y)
- ¬P174(x,x)
| DOMAIN | PROPERTY | RANGE |
|---|---|---|
| :E2_Temporal_Entity | :P174i_ends_after_the_start_of | :E2_Temporal_Entity |
@prefix : <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
:P174i_ends_after_the_start_of a rdf:Property ;
rdfs:label "ends after the start of"@en,
"se termine après le début de"@fr,
"заканчиваeтся послe начала"@ru ;
rdfs:comment """Quantification of the inverse property: many to many (0,n:0,n)
Scope note of the inverse property:
This property specifies that the temporal extent of the domain instance A of E2 Temporal Entity starts definitely before the end of the temporal extent of the range instance B of E2 Temporal Entity.
In other words, if A = [A(start), A(end)] and B = [B(start), B(end)], it means A(start) < B(end) is true.
This property is part of the set of temporal primitives P173 – P176, P182 – P185.
This property corresponds to a disjunction (logical OR) of the following Allen temporal relations (Allen, 1983): {before, meets, overlaps, starts, started-by, contains, finishes, finished-by, equals, during, overlapped by}
Typically, this property is a consequence of a known influence of some event on another event or activity, such as a novel written by someone being continued by someone else, or the knowledge of a defeat on a distant battlefield causing people to end their ongoing activities. This property is not transitive. This property is irreflexive.
https://cidoc-crm.org/html/version_images/images_7.1.3/image_03.png
Figure 10: Temporal entity A starts before the end of temporal entity B. Here A is longer than B
https://cidoc-crm.org/html/version_images/images_7.1.3/image_04.png
Figure 11: Temporal entity A starts before the end of temporal entity B. Here A is shorter than B
Examples of the inverse property:
- The settling activity of the city of Assur (Ashur) (E7) starts before the end of The Tenth Dynasty of Egypt (E4). [There are some 200 - 300 years differences in the chronology of the First Intermediate Period, and Assur is dated to “about 2500 BC”.] (Pedersén, 1986)
- The building of the current St. Peters in Rome (E7) starts before the end of the demolition of the old 4(th) c. St. Peters (E6, E7) (Bosman, 2004)
In First Order Logic of the inverse property:
- P174(x,y) ⇒ E2(x)
- P174(x,y) ⇒ E2(y)
- P174(x,y) ⇒ P173(x,y)
- ¬P174(x,x)
"""@en ;
rdfs:domain :E2_Temporal_Entity ;
rdfs:range :E2_Temporal_Entity ;
rdfs:subPropertyOf :P173i_ends_after_or_with_the_start_of ;
owl:inverseOf :P174_starts_before_the_end_of .