crm:P120_occurs_before leaf node


URI

http://www.cidoc-crm.org/cidoc-crm/P120_occurs_before

Label

P120 occurs before

Description

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)

Usage

DOMAINPROPERTYRANGE
crm:E2_Temporal_Entity crm:P120_occurs_before crm:E2_Temporal_Entity

Implementation

@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 .