@prefix : <http://sweetontology.net/reprTimeSeason/> .
@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 xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix owlt: <http://www.w3.org/2006/time#> .
@prefix sostp: <http://sweetontology.net/statePhysical/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix sorep: <http://sweetontology.net/repr/> .
@prefix sorepts: <http://sweetontology.net/reprTimeSeason/> .
@prefix sopropt: <http://sweetontology.net/propTemperature/> .
@prefix sopropti: <http://sweetontology.net/propTime/> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@prefix sorelt: <http://sweetontology.net/relaTime/> .
@prefix sorepsu: <http://sweetontology.net/reprSciUnits/> .
@prefix sorelsc: <http://sweetontology.net/relaSci/> .
@base <http://sweetontology.net/reprTimeSeason> .

<http://sweetontology.net/reprTimeSeason> rdf:type owl:Ontology ;
                                           owl:imports <http://sweetontology.net/propTemperature> ,
                                                       <http://sweetontology.net/propTime> ,
                                                       <http://sweetontology.net/rela> ,
                                                       <http://sweetontology.net/relaMath> ,
                                                       <http://sweetontology.net/relaSci> ,
                                                       <http://sweetontology.net/relaTime> ,
                                                       <http://sweetontology.net/repr> ,
                                                       <http://sweetontology.net/reprSciUnits> ,
                                                       <http://sweetontology.net/statePhysical> ;
                                           rdfs:label "SWEET Ontology Representation Time Season" ;
                                           dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                           owl:versionInfo "3.6.0" .

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

###  http://www.w3.org/2006/time#hasBeginning
owlt:hasBeginning rdf:type owl:ObjectProperty .


###  http://www.w3.org/2006/time#hasEnd
owlt:hasEnd rdf:type owl:ObjectProperty .


###  http://sweetontology.net/relaTime/hasNHTime
sorelt:hasNHTime rdf:type owl:ObjectProperty .


###  http://sweetontology.net/relaTime/hasSHTime
sorelt:hasSHTime rdf:type owl:ObjectProperty .


###  http://sweetontology.net/rela/hasState
sorel:hasState rdf:type owl:ObjectProperty .


###  http://sweetontology.net/relaMath/hasMaximum
sorelm:hasMaximum rdf:type owl:ObjectProperty .


###  http://sweetontology.net/relaMath/hasMinimum
sorelm:hasMinimum rdf:type owl:ObjectProperty .


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


#################################################################
#    Data Properties
#################################################################

###  http://sweetontology.net/relaTime/dayOfYear
sorelt:dayOfYear rdf:type owl:DatatypeProperty .


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

###  http://sweetontology.net/propTemperature/Temperature
sopropt:Temperature rdf:type owl:Class .


###  http://sweetontology.net/propTime/Time
sopropti:Time rdf:type owl:Class .


###  http://sweetontology.net/reprTimeSeason/ColdestMonth
sorepts:ColdestMonth rdf:type owl:Class ;
                  rdfs:subClassOf sopropti:Time ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorelm:hasMinimum ;
                                    owl:someValuesFrom sopropt:Temperature
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorelsc:hasUnit ;
                                    owl:hasValue sorepsu:month
                                  ] ;
                  rdfs:label "coldest month"@en .


###  http://sweetontology.net/reprTimeSeason/DrySeason
sorepts:DrySeason rdf:type owl:Class ;
               rdfs:subClassOf sorepts:Season ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty sorel:hasState ;
                                 owl:hasValue sostp:Dry
                               ] ;
               rdfs:label "dry season"@en .


###  http://sweetontology.net/reprTimeSeason/Equinox
sorepts:Equinox rdf:type owl:Class ;
             rdfs:subClassOf owlt:Instant ;
             rdfs:label "equinox"@en .


###  http://sweetontology.net/reprTimeSeason/Season
sorepts:Season rdf:type owl:Class ;
            rdfs:subClassOf owlt:ProperInterval ;
            rdfs:label "season"@en .


###  http://sweetontology.net/reprTimeSeason/Solstice
sorepts:Solstice rdf:type owl:Class ;
              rdfs:subClassOf owlt:Instant ;
              rdfs:label "solstice"@en .


###  http://sweetontology.net/reprTimeSeason/WarmestMonth
sorepts:WarmestMonth rdf:type owl:Class ;
                  rdfs:subClassOf sopropti:Time ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorelm:hasMaximum ;
                                    owl:someValuesFrom sopropt:Temperature
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorelsc:hasUnit ;
                                    owl:hasValue sorepsu:month
                                  ] ;
                  rdfs:label "warmest month"@en .


###  http://sweetontology.net/reprTimeSeason/WetSeason
sorepts:WetSeason rdf:type owl:Class ;
               rdfs:subClassOf sorepts:Season ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty sorel:hasState ;
                                 owl:hasValue sostp:Wet
                               ] ;
               rdfs:label "wet season"@en .


###  http://www.w3.org/2006/time#Instant
owlt:Instant rdf:type owl:Class .


###  http://www.w3.org/2006/time#ProperInterval
owlt:ProperInterval rdf:type owl:Class .


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

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


###  http://sweetontology.net/reprTimeSeason/Autumn
sorepts:Autumn rdf:type owl:NamedIndividual ,
                     sorepts:Season ;
            owl:sameAs sorepts:Fall ;
            rdfs:label "autumn"@en ;
            owlt:hasBeginning sorepts:AutumnalEquinox ;
            owlt:hasEnd sorepts:WinterSolstice .


###  http://sweetontology.net/reprTimeSeason/AutumnalEquinox
sorepts:AutumnalEquinox rdf:type owl:NamedIndividual ,
                              sorepts:Equinox ;
                     owl:sameAs sorepts:FallEquinox ;
                     rdfs:label "autumnal equinox"@en .


###  http://sweetontology.net/reprTimeSeason/DecemberSolstice
sorepts:DecemberSolstice rdf:type owl:NamedIndividual ,
                               sorepts:Solstice ;
                      sorelt:dayOfYear "355"^^xsd:nonNegativeInteger ;
                      rdfs:label "december solstice"@en .


###  http://sweetontology.net/reprTimeSeason/Fall
sorepts:Fall rdf:type owl:NamedIndividual ,
                   sorepts:Season ;
          rdfs:label "fall"@en .


###  http://sweetontology.net/reprTimeSeason/FallEquinox
sorepts:FallEquinox rdf:type owl:NamedIndividual ,
                          sorepts:Equinox ;
                 rdfs:label "fall equinox"@en .


###  http://sweetontology.net/reprTimeSeason/JuneSolstice
sorepts:JuneSolstice rdf:type owl:NamedIndividual ,
                           sorepts:Solstice ;
                  sorelt:dayOfYear "172"^^xsd:nonNegativeInteger ;
                  rdfs:label "june solstice"@en .


###  http://sweetontology.net/reprTimeSeason/Spring
sorepts:Spring rdf:type owl:NamedIndividual ,
                     sorepts:Season ;
            rdfs:label "spring"@en ;
            owlt:hasBeginning sorepts:SpringEquinox ;
            owlt:hasEnd sorepts:SummerSolstice .


###  http://sweetontology.net/reprTimeSeason/SpringEquinox
sorepts:SpringEquinox rdf:type owl:NamedIndividual ,
                            sorepts:Equinox ;
                   rdfs:label "spring equinox"@en .


###  http://sweetontology.net/reprTimeSeason/Summer
sorepts:Summer rdf:type owl:NamedIndividual ,
                     sorepts:Season ;
            rdfs:label "summer"@en ;
            owlt:hasBeginning sorepts:SummerSolstice ;
            owlt:hasEnd sorepts:FallEquinox .


###  http://sweetontology.net/reprTimeSeason/SummerSolstice
sorepts:SummerSolstice rdf:type owl:NamedIndividual ,
                             sorepts:Solstice ;
                    sorelt:hasNHTime sorepts:JuneSolstice ;
                    sorelt:hasSHTime sorepts:DecemberSolstice ;
                    rdfs:label "summer solstice"@en .


###  http://sweetontology.net/reprTimeSeason/Winter
sorepts:Winter rdf:type owl:NamedIndividual ,
                     sorepts:Season ;
            rdfs:label "winter"@en ;
            owlt:hasBeginning sorepts:WinterSolstice ;
            owlt:hasEnd sorepts:SpringEquinox .


###  http://sweetontology.net/reprTimeSeason/WinterSolstice
sorepts:WinterSolstice rdf:type owl:NamedIndividual ,
                             sorepts:Solstice ;
                    sorelt:hasNHTime sorepts:DecemberSolstice ;
                    sorelt:hasSHTime sorepts:JuneSolstice ;
                    rdfs:label "winter solstice"@en .


###  http://sweetontology.net/statePhysical/Dry
sostp:Dry rdf:type owl:NamedIndividual .


###  http://sweetontology.net/statePhysical/Wet
sostp:Wet rdf:type owl:NamedIndividual .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sorepts:FallEquinox
                        sorepts:SpringEquinox
                      )
] .


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