http://www.w3.org/2006/time#ProperInterval
A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different
Instances of time:ProperInterval can have the following properties:
| PROPERTY | TYPE | DESCRIPTION | RANGE |
|---|---|---|---|
| From class time:ProperInterval | |||
| time:intervalAfter | owl:ObjectProperty | If a proper interval T1 is intervalAfter another proper interval T2, then the beginning of T1 is after the end of T2. | time:ProperInterval |
| time:intervalBefore | owl:ObjectProperty | If a proper interval T1 is intervalBefore another proper interval T2, then the end of T1 is before the beginning of T2. | time:ProperInterval |
| time:intervalContains | owl:ObjectProperty | If a proper interval T1 is intervalContains another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after the end of T2. | time:ProperInterval |
| time:intervalDisjoint | owl:ObjectProperty | If a proper interval T1 is intervalDisjoint another proper interval T2, then the beginning of T1 is after the end of T2, or the end of T1 is before the beginning of T2, i.e. the intervals do not overlap in any way, but their ordering relationship is not known. | time:ProperInterval |
| time:intervalDuring | owl:ObjectProperty | If a proper interval T1 is intervalDuring another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before the end of T2. | time:ProperInterval |
| time:intervalEquals | owl:ObjectProperty | If a proper interval T1 is intervalEquals another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is coincident with the end of T2. | time:ProperInterval |
| time:intervalFinishedBy | owl:ObjectProperty | If a proper interval T1 is intervalFinishedBy another proper interval T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is coincident with the end of T2. | time:ProperInterval |
| time:intervalFinishes | owl:ObjectProperty | If a proper interval T1 is intervalFinishes another proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is coincident with the end of T2. | time:ProperInterval |
| time:intervalIn | owl:ObjectProperty | If a proper interval T1 is intervalIn another proper interval T2, then the beginning of T1 is after the beginning of T2 or is coincident with the beginning of T2, and the end of T1 is before the end of T2, or is coincident with the end of T2, except that end of T1 may not be coincident with the end of T2 if the beginning of T1 is coincident with the beginning of T2. | time:ProperInterval |
| time:intervalMeets | owl:ObjectProperty | If a proper interval T1 is intervalMeets another proper interval T2, then the end of T1 is coincident with the beginning of T2. | time:ProperInterval |
| time:intervalMetBy | owl:ObjectProperty | If a proper interval T1 is intervalMetBy another proper interval T2, then the beginning of T1 is coincident with the end of T2. | time:ProperInterval |
| time:intervalOverlappedBy | owl:ObjectProperty | If a proper interval T1 is intervalOverlappedBy another proper interval T2, then the beginning of T1 is after the beginning of T2, the beginning of T1 is before the end of T2, and the end of T1 is after the end of T2. | time:ProperInterval |
| time:intervalOverlaps | owl:ObjectProperty | If a proper interval T1 is intervalOverlaps another proper interval T2, then the beginning of T1 is before the beginning of T2, the end of T1 is after the beginning of T2, and the end of T1 is before the end of T2. | time:ProperInterval |
| time:intervalStartedBy | owl:ObjectProperty | If a proper interval T1 is intervalStarted another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is after the end of T2. | time:ProperInterval |
| time:intervalStarts | owl:ObjectProperty | If a proper interval T1 is intervalStarts another proper interval T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is before the end of T2. | time:ProperInterval |
| From class time:Interval | |||
| time:inside | owl:ObjectProperty | An instant that falls inside the interval. It is not intended to include beginnings and ends of intervals. | time:Instant |
| From class time:TemporalEntity | |||
| time:hasXSDDuration | owl:DatatypeProperty | Extent of a temporal entity, expressed using xsd:duration | xsd:duration |
| time:after | owl:ObjectProperty | Gives directionality to time. If a temporal entity T1 is after another temporal entity T2, then the beginning of T1 is after the end of T2. | time:TemporalEntity |
| time:before | owl:ObjectProperty | Gives directionality to time. If a temporal entity T1 is before another temporal entity T2, then the end of T1 is before the beginning of T2. Thus, "before" can be considered to be basic to instants and derived for intervals. | time:TemporalEntity |
| time:hasBeginning | owl:ObjectProperty | Beginning of a temporal entity | time:Instant |
| time:hasEnd | owl:ObjectProperty | End of a temporal entity. | time:Instant |
| time:hasTemporalDuration | owl:ObjectProperty | Duration of a temporal entity. | time:TemporalDuration |
| From class owl:Thing | |||
| dcterms:contributor | owl:AnnotationProperty | owl:Thing | |
| dcterms:created | owl:AnnotationProperty | owl:Thing | |
| dcterms:creator | owl:AnnotationProperty | owl:Thing | |
| dcterms:isVersionOf | owl:AnnotationProperty | owl:Thing | |
| dcterms:license | owl:AnnotationProperty | owl:Thing | |
| dcterms:modified | owl:AnnotationProperty | owl:Thing | |
| dcterms:rights | owl:AnnotationProperty | owl:Thing | |
| skos:changeNote | owl:AnnotationProperty | owl:Thing | |
| skos:definition | owl:AnnotationProperty | owl:Thing | |
| skos:editorialNote | owl:AnnotationProperty | owl:Thing | |
| skos:historyNote | owl:AnnotationProperty | owl:Thing | |
| skos:note | owl:AnnotationProperty | owl:Thing | |
| skos:prefLabel | owl:AnnotationProperty | owl:Thing | |
| skos:scopeNote | owl:AnnotationProperty | owl:Thing | |
| time:hasDuration | owl:ObjectProperty | Duration of a temporal entity, expressed as a scaled value or nominal value | time:Duration |
| time:hasDurationDescription | owl:ObjectProperty | Duration of a temporal entity, expressed using a structured description | time:GeneralDurationDescription |
| time:hasTime | owl:ObjectProperty | Supports the association of a temporal entity (instant or interval) to any thing | time:TemporalEntity |
| xsd:pattern | owl:AnnotationProperty | owl:Thing | |
@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 time: <http://www.w3.org/2006/time#> .
time:ProperInterval a owl:Class ;
rdfs:label "Proper interval"@en,
"intervalo propio"@es ;
rdfs:comment "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en,
"Una entidad temporal con extensión o duración distinta de cero, es decir, para la cual los valores de principio y fin del intervalo son diferentes."@es ;
rdfs:subClassOf time:Interval ;
skos:definition "A temporal entity with non-zero extent or duration, i.e. for which the value of the beginning and end are different"@en,
"Una entidad temporal con extensión o duración distinta de cero, es decir, para la cual los valores de principio y fin del intervalo son diferentes."@es .