1. Home
  2. Entities
  3. Properties
  4. DOLCEbasic:constantlyOverlaps

DOLCEbasic:constantlyOverlaps

URI

https://w3id.org/DOLCE/OWL/DOLCEbasic#constantlyOverlaps

Types

owl:ObjectProperty, owl:SymmetricProperty

Label

constantly overlaps

Description

constantlyOverlaps holds between two endurants that share a constant part, and are such that the time intervals at which they are temporally located overlap.

Sub Property

Usage

DOMAINPROPERTYRANGE
DOLCEbasic:Endurant DOLCEbasic:constantlyOverlaps DOLCEbasic:Endurant

Implementation

@prefix : <https://w3id.org/DOLCE/OWL/DOLCEbasic#> .
@prefix ace_lexicon: <http://attempto.ifi.uzh.ch/ace_lexicon#> .
@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#> .

:constantlyOverlaps a owl:ObjectProperty,
        owl:SymmetricProperty ;
    rdfs:label "constantly overlaps" ;
    ace_lexicon:TV_pl "constantly overlaps" ;
    ace_lexicon:TV_sg "constantly overlaps" ;
    ace_lexicon:TV_vbg "constantly overlapped" ;
    rdfs:comment "constantlyOverlaps holds between two endurants that share a constant part, and are such that the time intervals at which they are temporally located overlap." ;
    rdfs:domain :Endurant ;
    rdfs:range :Endurant ;
    owl:propertyChainAxiom ( [ owl:inverseOf :constantPartOf ] :constantPartOf ) .