http://www.cidoc-crm.org/cidoc-crm/P120_occurs_before
Scope note:
This property identifies the relative chronological sequence of two temporal entities.
It implies that a temporal gap exists between the end of A and the start of B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated).
This property is the same as the "before / after" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
- Early Bronze Age (E4) occurs before Late Bronze age (E4)
In First Order Logic:
P120(x,y) ⊃ E2(x)
P120(x,y) ⊃ E2(y)
DOMAIN | PROPERTY | RANGE |
---|---|---|
crm:E2_Temporal_Entity | crm:P120_occurs_before | crm:E2_Temporal_Entity |
@prefix crm: <http://www.cidoc-crm.org/cidoc-crm/> .
@prefix ecrm: <http://erlangen-crm.org/current/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
crm:P120_occurs_before a owl:ObjectProperty,
owl:TransitiveProperty ;
rdfs:label "P120 occurs before"@en ;
rdfs:comment """Scope note:
This property identifies the relative chronological sequence of two temporal entities.
It implies that a temporal gap exists between the end of A and the start of B. This property is only necessary if the relevant time spans are unknown (otherwise the relationship can be calculated).
This property is the same as the "before / after" relationships of Allen’s temporal logic (Allen, 1983, pp. 832-843).
Examples:
- Early Bronze Age (E4) occurs before Late Bronze age (E4)
In First Order Logic:
P120(x,y) ⊃ E2(x)
P120(x,y) ⊃ E2(y)"""@en ;
rdfs:domain crm:E2_Temporal_Entity ;
rdfs:range crm:E2_Temporal_Entity ;
owl:equivalentProperty ecrm:P120_occurs_before ;
owl:inverseOf crm:P120i_occurs_after ;
skos:notation "P120"^^xsd:string .