time:ProperInterval


URI

http://www.w3.org/2006/time#ProperInterval

Label

ProperInterval

Usage

Instances of time:ProperInterval can have the following properties:

PROPERTYTYPEDESCRIPTIONRANGE
From class time:ProperInterval
time:intervalBefore owl:ObjectProperty time:ProperInterval
time:intervalDuring owl:ObjectProperty time:ProperInterval
time:intervalEquals owl:ObjectProperty time:ProperInterval
time:intervalFinishes owl:ObjectProperty time:ProperInterval
time:intervalMeets owl:ObjectProperty time:ProperInterval
time:intervalOverlaps owl:ObjectProperty time:ProperInterval
time:intervalStarts owl:ObjectProperty time:ProperInterval
From class time:Interval
time:inside owl:ObjectProperty time:Instant
From class time:TemporalEntity
time:before owl:ObjectProperty time:TemporalEntity
time:hasBeginning owl:ObjectProperty time:Instant
time:hasDurationDescription owl:ObjectProperty time:DurationDescription
time:hasEnd owl:ObjectProperty time:Instant
From class owl:Thing
time:after owl:ObjectProperty owl:Thing
time:intervalAfter owl:ObjectProperty owl:Thing
time:intervalContains owl:ObjectProperty owl:Thing
time:intervalFinishedBy owl:ObjectProperty owl:Thing
time:intervalMetBy owl:ObjectProperty owl:Thing
time:intervalOverlappedBy owl:ObjectProperty owl:Thing
time:intervalStartedBy owl:ObjectProperty owl:Thing

Implementation

@prefix : <http://www.w3.org/2006/time#> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

:ProperInterval a owl:Class ;
    rdfs:subClassOf :Interval ;
    owl:disjointWith :Instant .