overlaps with leaf node


URI

http://semanticscience.org/resource/overlapsWith

Label

overlaps with

Description

A overlaps with B iff there is some C that is part of both A and B. [S][R]

Usage

DOMAINPROPERTYRANGE
owl:Thing (inferred) overlaps with owl:Thing (inferred)

Implementation

@prefix dct: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sio: <http://semanticscience.org/resource/> .

sio:overlapsWith a owl:ObjectProperty,
        owl:ReflexiveProperty,
        owl:SymmetricProperty ;
    rdfs:label "overlaps with"@en ;
    dct:description "A overlaps with B iff there is some C that is part of both A and B. [S][R]"@en ;
    rdfs:isDefinedBy <http://semanticscience.org/ontology/sio/v1.53/sio-subset-labels.owl> ;
    rdfs:subPropertyOf sio:isSpatiotemporallyRelatedTo ;
    owl:propertyChainAxiom ( sio:overlapsWith sio:isPartOf ) .