@prefix : .
@prefix owl: .
@prefix dcterms: .
@prefix rdf: .
@prefix sorear: .
@prefix xml: .
@prefix xsd: .
@prefix sorepm: .
@prefix owlt: .
@prefix rdfs: .
@prefix sorep: .
@prefix sorept: .
@prefix sorepsu: .
@prefix sorelsc: .
@base .
rdf:type owl:Ontology ;
owl:imports ,
,
,
,
;
rdfs:label "SWEET Ontology Representation Time" ;
dcterms:license ;
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