crm:P121_overlaps_with leaf node


URI

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

Label

P121 overlaps with

Description

Scope note:
This symmetric property allows the instances of E53 Place with overlapping geometric extents to be associated with each other.

It does not specify anything about the shared area. This property is purely spatial, in contrast to Allen operators, which are purely temporal.

Examples:
- the territory of the United States (E53) overlaps with the Arctic (E53)

In First Order Logic:
P121(x,y) ⊃ E53(x)
P121(x,y) ⊃ E53(y)
P121(x,y) ⊃ P121(y,x)

Usage

DOMAINPROPERTYRANGE
crm:E53_Place crm:P121_overlaps_with crm:E53_Place

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:P121_overlaps_with a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:label "P121 overlaps with"@en ;
    rdfs:comment """Scope note:
This symmetric property allows the instances of E53 Place with overlapping geometric extents to be associated with each other.

It does not specify anything about the shared area. This property is purely spatial, in contrast to Allen operators, which are purely temporal.

Examples:
- the territory of the United States (E53) overlaps with the Arctic (E53)

In First Order Logic:
P121(x,y) ⊃ E53(x)
P121(x,y) ⊃ E53(y)
P121(x,y) ⊃ P121(y,x)"""@en ;
    rdfs:domain crm:E53_Place ;
    rdfs:range crm:E53_Place ;
    owl:equivalentProperty ecrm:P121_overlaps_with ;
    owl:inverseOf crm:P121_overlaps_with ;
    skos:notation "P121"^^xsd:string .