P176 commence avant le début de (commence 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. P175 starts before or with the start of (starts after or with the start 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

Super-propriété de

E7 Activity. P134 continued (was continued by): E7 Activity

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

E2_Entité_temporelle. P182_se_termine_avant_ou_au_moment_du_début_de (commence_après_ou_au_moment_de_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 start 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 < Bstart 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, contains, finished-by}. This property is transitive. This property is asymmetric.

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

Figure 15: Temporal entity A starts before the start 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 le début 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 < Bdébut 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, contient, fini par}.

Cette propriété est transitive et asymétrique.

Figure 14 : L'entité temporelle A commence avant le début de l'entité temporelle B. Ici, A est plus long que B.

Figure 15 : L'entité temporelle A commence avant le début de l'entité temporelle B. Ici, A est plus court que B.

Exemples

  • The reign of King Harold II (E4) starts before the start of the Battle of Hastings (E7). (Wikipedia 2022a)

  • The life of Attila “the Hun” (E4) starts before the start of the Battle of the Catalaunian Plains (E7). [June 20, 451 AD] (Wikipedia 2022b)

  • Le règne du roi Harold II (E4_Période) commence avant le début de (P176_commence_avant_le_début_de) la bataille de Hastings (E7_Activité) (Wikipédia 2022a)

  • La vie de Attila le Hun (E4_Période) commence avant le début de (P176_commence_avant_le_début_de) la bataille des champs Catalauniques [20 juin 451 EC] (E7_Activité) (Wikipédia 2022b)

Logique

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

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

  • P176(x,y) ⇒ P175(x,y)

  • [P176(x,y) ∧ P176(y,z)] ⇒ P176(x,z)

  • P176(x,y) ⇒ ¬P176(y,x)

P176(x,y) ⇒ E2(x)

P176(x,y) ⇒ E2(y)

P176(x,y) ⇒ P175(x,y)

[P176(x,y) ∧ P176(y,z)] ⇒ P176(x,z)

P176(x,y) ⇒ ¬P176(y,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.