@prefix :     <https://dataset-dl.liris.cnrs.fr/rdf-owl-urban-data-ontologies/Ontologies/Time/time-extension#> .
@prefix time: <http://www.w3.org/2006/time#> .
@prefix owl:  <http://www.w3.org/2002/07/owl#> .
@prefix xsd:  <http://www.w3.org/2001/XMLSchema#> .
@prefix skos: <http://www.w3.org/2004/02/skos/core#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix rdf:  <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .

<https://dataset-dl.liris.cnrs.fr/rdf-owl-urban-data-ontologies/Ontologies/Time/time-extension>
        a                owl:Ontology ;
        owl:imports      <http://www.w3.org/2006/time> ;
        skos:definition  "An extention of the OWL-Time ontology to provide instant-interval properties"@en .

:hasExistenceTime a owl:ObjectProperty ;
        rdfs:range              time:TemporalEntity ;
        rdfs:subPropertyOf      time:hasTime ;
        rdfs:comment            "Supports the association of a temporal entity (instant or interval) to any thing where the temporal entity represents the time when that thing exists in the real-world."@en ;
        skos:definition         "Supports the association of a temporal entity (instant or interval) to any thing where the temporal entity represents the time when that thing exists in the real-world."@en .

:hasTransactionTime a owl:ObjectProperty ;
        rdfs:range              time:TemporalEntity ;
        rdfs:subPropertyOf      time:hasTime ;
        rdfs:comment            "Supports the association of a temporal entity (instant or interval) to any thing where the temporal entity represents the time when that thing is up-to-date in a dataset or database."@en ;
        skos:definition         "Supports the association of a temporal entity (instant or interval) to any thing where the temporal entity represents the time when that thing is up-to-date in a dataset or database."@en .

:starts a owl:ObjectProperty ;
        rdfs:subPropertyOf      :in ;
        rdfs:domain             time:Instant ;
        rdfs:range              time:ProperInterval ;
        owl:inverseOf           :startedBy ;
        rdfs:comment            "If an instant T1 is starts a proper interval T2, then the beginning and end of T1 is coincident with the beginning of T2, and the end of T1 is before the end of T2."@en ;
        skos:definition         "If an instant T1 is starts a proper interval T2, then the beginning and end of T1 is coincident with the beginning of T2, and the end of T1 is before the end of T2."@en .

:startedBy a owl:ObjectProperty ;
           rdfs:domain     time:ProperInterval ;
           rdfs:range      time:Instant ;
           owl:inverseOf   :starts ;
           rdfs:comment    "If a proper interval T1 is started by another instant T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is after the end of T2."@en ;
           skos:definition "If a proper interval T1 is started by another instant T2, then the beginning of T1 is coincident with the beginning of T2, and the end of T1 is after the end of T2."@en .

:during a owl:ObjectProperty ;
        rdfs:subPropertyOf      :in ;
        rdfs:domain             time:Instant ;
        rdfs:range              time:ProperInterval ;
        owl:inverseOf           :contains ;
        rdfs:comment            "If an instant T1 is during a proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before with the end of T2."@en ;
        skos:definition         "If an instant T1 is during a proper interval T2, then the beginning of T1 is after the beginning of T2, and the end of T1 is before with the end of T2."@en .

:contains a owl:ObjectProperty ;
        rdfs:domain     time:ProperInterval ;
        rdfs:range      time:Instant ;
        owl:inverseOf   :during ;
        rdfs:comment    "If a proper interval T1 contains an instant T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after with the end of T2."@en ;
        skos:definition "If a proper interval T1 contains an instant T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is after with the end of T2."@en .

:finishes a owl:ObjectProperty ;
        rdfs:subPropertyOf      :in ;
        rdfs:domain             time:Instant ;
        rdfs:range              time:ProperInterval ;
        owl:inverseOf           :finishedBy ;
        rdfs:comment            "If an instant T1 finishes a 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."@en ;
        skos:definition         "If an instant T1 finishes a 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."@en .

:finishedBy a owl:ObjectProperty ;
        rdfs:domain     time:ProperInterval ;
        rdfs:range      time:Instant ;
        owl:inverseOf   :finishes ;
        rdfs:comment    "If a proper interval T1 is finishedBy an instant T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is coincident with the end of T2."@en ;
        skos:definition "If a proper interval T1 is finishedBy an instant T2, then the beginning of T1 is before the beginning of T2, and the end of T1 is coincident with the end of T2."@en .

:in     a owl:ObjectProperty ;
        rdfs:domain     time:Instant ;
        rdfs:range      time:ProperInterval ;
        rdfs:comment    "If an instant T1 is in a 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."@en ;
        skos:definition "If an instant T1 is in a 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."@en .

:equals a owl:ObjectProperty ;
        rdfs:domain     time:Instant ;
        rdfs:range      time:Instant ;
        rdfs:comment    "If an instant T1 equals another instant 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."@en ;
        skos:definition "If an instant T1 equals another instant 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."@en .