P174 commence avant la fin de (se termine après le début de)

Date de création : 2024-08-28

Dernière mise à jour : 2024-08-28

Domaine

E2 Temporal Entity

E2_Entité_temporelle

Portée

E2 Temporal Entity

E2_Entité_temporelle

Sous-propriété de

E2 Temporal Entity. P173 starts before or with the end of (ends after or with the start of): E2 Temporal Entity

E2_Entité_temporelle. P173_commence_avant_ou_au_moment_de_la_fin_de (se_termine_après_ou_au_moment_du_début_de) : E2_Entité_temporelle

Super-propriété de

E2 Temporal Entity. P175 starts before or with the start of (starts after or with the start of): E2 Temporal Entity

E2 Temporal Entity. P184 ends before or with the end of (ends with or after the end of): E2 Temporal Entity

E2_Entité_temporelle. P175_commence_avant_ou_au_moment_du_début_de (commence_après_ou_au_moment_du_début_de) : E2_Entité_temporelle

E2_Entité_temporelle. P184_se_termine_avant_ou_au_moment_de_la_fin_de (se_termine_au_moment_ou_après_la_fin_de) : E2_Entité_temporelle

Quantification

many to many (0,n:0,n)

plusieurs à plusieurs (0,n:0,n)

Note d’application

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 = [Astart, Aend] and B = [Bstart, Bend], it means Astart < Bend 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.

Figure 10: Temporal entity A starts before the end of temporal entity B. Here A is longer than B

Figure 11: Temporal entity A starts before the end of temporal entity B. Here A is shorter than B

Cette propriété spécifie que l’étendue temporelle de l'instance du domaine (A) de E2_Entité_temporelle, commence de manière certaine avant la fin de l’étendue temporelle de l'instance de la portée (B) de E2_Entité_temporelle.

En d’autres termes, si A = [Adébut, Afin] et B = [Bdébut, Bfin], alors Adébut < Bfin est vrai.

Cette propriété fait partie de l’ensemble des propriétés temporelles P173 à P176 et P182 à P185.

Cette propriété correspond à une disjonction (OU logique) des relations définies par l’algèbre des intervalles d’Allen suivantes (Allen, 1983) : {se déroule avant, rencontre, chevauche, démarre, démarré par, contient, finit, fini par, est égal à, durant, chevauché par}.

Typiquement, cette propriété est une conséquence de l’influence connue d’un évènement sur un autre évènement ou sur une autre activité, tel que le roman commencé par un actant et poursuivi par un autre actant, ou la connaissance d’une défaite sur un champ de bataille lointain poussant des actants à mettre fin à leurs activités en cours.

Cette propriété n’est pas transitive et est irréflexive.

Figure 10 : L'entité temporelle A commence avant la fin de l'entité temporelle B. Ici, A est plus long que B.

Figure 11 : L'entité temporelle A commence avant la fin de l'entité temporelle B. Ici, A est plus court que B.

Exemples

  • 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 4th c. St. Peters (E6, E7) (Bosman, 2004)

  • Le peuplement de la cité d’Assur (Ashur) (E7_Activité) commence avant la fin de (P174_commence_avant_la_fin_de) la Xe dynastie d’Égypte (E4_Période) [Il y a une différence de 200 à 300 ans dans la chronologie de la Première Période intermédiaire, et la fondation de la cité d’Assur est datée « autour de 2500 AEC »] (Pedersén, 1986)

  • La construction de l'actuelle basilique Saint-Pierre à Rome (E7_Activité) commence avant la fin de (P174_commence_avant_la_fin_de) la démolition de la basilique Saint-Pierre du IVe siècle EC (E6_Destruction, E7_Activité) (Bosman, 2004)

Logique

  • P174(x,y) ⇒ E2(x)

  • P174(x,y) ⇒ E2(y)

  • P174(x,y) ⇒ P173(x,y)

  • ¬P174(x,x)

P174(x,y) ⇒ E2(x)

P174(x,y) ⇒ E2(y)

P174(x,y) ⇒ P173(x,y)

¬P174(x,x)

Propriétés

Note de traduction

Références

Wikipédia. « Algèbre des intervalles d’Allen ». Dans Wikipédia. San Francisco, US-CA: Wikipédia, 14 janvier 2021. https://fr.wikipedia.org/wiki/Alg%C3%A8bre_des_intervalles_d%27Allen.