@prefix : <http://sweetontology.net/reprTime/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sorear: <http://sweetontology.net/realmRegion/> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix sorepm: <http://sweetontology.net/reprMath/> .
@prefix owlt: <http://www.w3.org/2006/time#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorep: <http://sweetontology.net/repr/> .
@prefix sorept: <http://sweetontology.net/reprTime/> .
@prefix sorepsu: <http://sweetontology.net/reprSciUnits/> .
@prefix sorelsc: <http://sweetontology.net/relaSci/> .
@base <http://sweetontology.net/reprTime> .

<http://sweetontology.net/reprTime> rdf:type owl:Ontology ;
                                     owl:imports <http://sweetontology.net/realmRegion> ,
                                                 <http://sweetontology.net/relaSci> ,
                                                 <http://sweetontology.net/repr> ,
                                                 <http://sweetontology.net/reprMath> ,
                                                 <http://sweetontology.net/reprSciUnits> ;
                                     rdfs:label "SWEET Ontology Representation Time" ;
                                     dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                     owl:versionInfo "3.6.0" .

#################################################################
#    Object Properties
#################################################################

###  http://sweetontology.net/relaSci/hasDefaultUnit
sorelsc:hasDefaultUnit rdf:type owl:ObjectProperty .


#################################################################
#    Classes
#################################################################

###  http://sweetontology.net/reprTime/Duration
sorept:Duration rdf:type owl:Class ;
              owl:equivalentClass sorept:TemporalEntity ;
              rdfs:label "duration"@en .


###  http://sweetontology.net/reprTime/Local
sorept:Local rdf:type owl:Class ;
           rdfs:subClassOf sorept:LocalTime ;
           rdfs:label "local"@en .


###  http://sweetontology.net/reprTime/LocalTime
sorept:LocalTime rdf:type owl:Class ;
               rdfs:subClassOf sorept:TimeZone ;
               rdfs:label "local time"@en .


###  http://sweetontology.net/reprTime/SolarTime
sorept:SolarTime rdf:type owl:Class ;
               rdfs:subClassOf sorept:LocalTime ;
               rdfs:label "solar time"@en .


###  http://sweetontology.net/reprTime/TemporalEntity
sorept:TemporalEntity rdf:type owl:Class ;
                    rdfs:subClassOf sorepm:NumericalEntity ;
                    rdfs:label "temporal entity"@en .


###  http://sweetontology.net/reprTime/TemporalReference
sorept:TemporalReference rdf:type owl:Class ;
                       owl:equivalentClass sorept:TimeReference ;
                       rdfs:subClassOf sorept:TemporalEntity ;
                       rdfs:label "temporal reference"@en .


###  http://sweetontology.net/reprTime/Time
sorept:Time rdf:type owl:Class ;
          rdfs:subClassOf sorep:Dimension ,
                          [ rdf:type owl:Restriction ;
                            owl:onProperty sorelsc:hasDefaultUnit ;
                            owl:hasValue sorepsu:second
                          ] ;
          rdfs:label "time"@en .


###  http://sweetontology.net/reprTime/TimeFrame
sorept:TimeFrame rdf:type owl:Class ;
               rdfs:subClassOf sorep:ReferenceFrame ,
                               sorept:Time ;
               rdfs:label "time frame"@en .


###  http://sweetontology.net/reprTime/TimeReference
sorept:TimeReference rdf:type owl:Class ;
                   rdfs:label "time reference"@en .


###  http://sweetontology.net/reprTime/TimeZone
sorept:TimeZone rdf:type owl:Class ;
              rdfs:subClassOf sorept:TemporalReference ;
              rdfs:label "time zone"@en .


###  http://www.w3.org/2006/time#Instant
owlt:Instant rdf:type owl:Class ;
             rdfs:subClassOf sorepm:Point ,
                             sorept:Time .


###  http://www.w3.org/2006/time#TemporalEntity
owlt:TemporalEntity rdf:type owl:Class ;
                    rdfs:subClassOf sorept:Time .


#################################################################
#    Individuals
#################################################################

###  http://sweetontology.net/reprSciUnits/second
sorepsu:second rdf:type owl:NamedIndividual .


###  http://sweetontology.net/reprTime/Sidereal
sorept:Sidereal rdf:type owl:NamedIndividual ,
                       sorept:TimeFrame ;
              rdfs:label "sidereal"@en .


###  http://sweetontology.net/reprTime/Synodic
sorept:Synodic rdf:type owl:NamedIndividual ,
                      sorept:TimeFrame ;
             rdfs:label "synodic"@en .


###  http://sweetontology.net/reprTime/UT
sorept:UT rdf:type owl:NamedIndividual ,
                 sorept:TimeZone ;
        owl:sameAs sorept:UniversalTime ;
        rdfs:label "ut"@en .


###  http://sweetontology.net/reprTime/UniversalTime
sorept:UniversalTime rdf:type owl:NamedIndividual ,
                            sorept:TimeZone ;
                   rdfs:label "universal time"@en .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi