@prefix : <http://sweetontology.net/stateTimeFrequency/> .
@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 soproptf: <http://sweetontology.net/propTimeFrequency/> .
@prefix sorepm: <http://sweetontology.net/reprMath/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorep: <http://sweetontology.net/repr/> .
@prefix sosttf: <http://sweetontology.net/stateTimeFrequency/> .
@prefix sostti: <http://sweetontology.net/stateTime/> .
@prefix sorelt: <http://sweetontology.net/relaTime/> .
@prefix sorepsu: <http://sweetontology.net/reprSciUnits/> .
@base <http://sweetontology.net/stateTimeFrequency> .

<http://sweetontology.net/stateTimeFrequency> rdf:type owl:Ontology ;
                                               owl:imports <http://sweetontology.net/propTimeFrequency> ,
                                                           <http://sweetontology.net/relaTime> ,
                                                           <http://sweetontology.net/repr> ,
                                                           <http://sweetontology.net/reprMath> ,
                                                           <http://sweetontology.net/reprSciUnits> ,
                                                           <http://sweetontology.net/stateTime> ;
                                               rdfs:label "SWEET Ontology State Time Frequency" ;
                                               dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                               owl:versionInfo "3.6.0" .

#################################################################
#    Object properties
#################################################################

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


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


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

###  http://sweetontology.net/propTimeFrequency/Frequency
soproptf:Frequency rdf:type owl:Class .


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

###  http://sweetontology.net/stateTime/day
sostti:day rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateTime/hour
sostti:hour rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateTime/month
sostti:month rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateTime/week
sostti:week rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateTime/year
sostti:year rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateTimeFrequency/Accidental
sosttf:Accidental rdf:type owl:NamedIndividual ,
                          soproptf:Frequency ;
                 rdfs:label "accidental"@en .


###  http://sweetontology.net/stateTimeFrequency/Annual
sosttf:Annual rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             owl:sameAs sosttf:Yearly ;
             sorelt:hasPeriod sostti:year ;
             rdfs:label "annual"@en .


###  http://sweetontology.net/stateTimeFrequency/Biannual
sosttf:Biannual rdf:type owl:NamedIndividual ,
                        soproptf:Frequency ;
               sorelt:hasPeriod sostti:year ;
               rdfs:label "biannual"@en .


###  http://sweetontology.net/stateTimeFrequency/Biweekly
sosttf:Biweekly rdf:type owl:NamedIndividual ,
                        soproptf:Frequency ;
               sorelt:hasPeriod sostti:week ;
               rdfs:label "biweekly"@en .


###  http://sweetontology.net/stateTimeFrequency/Common
sosttf:Common rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             sorelt:moreFrequentThan sosttf:Rare ;
             rdfs:label "common"@en .


###  http://sweetontology.net/stateTimeFrequency/Consistent
sosttf:Consistent rdf:type owl:NamedIndividual ,
                          soproptf:Frequency ;
                 rdfs:label "consistent"@en .


###  http://sweetontology.net/stateTimeFrequency/Cyclic
sosttf:Cyclic rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             rdfs:label "cyclic"@en .


###  http://sweetontology.net/stateTimeFrequency/Daily
sosttf:Daily rdf:type owl:NamedIndividual ,
                     soproptf:Frequency ;
            owl:sameAs sosttf:Diurnal ;
            rdfs:label "daily"@en .


###  http://sweetontology.net/stateTimeFrequency/Decadal
sosttf:Decadal rdf:type owl:NamedIndividual ,
                       soproptf:Frequency ;
              sorelt:hasPeriod sostti:year ;
              rdfs:label "decadal"@en .


###  http://sweetontology.net/stateTimeFrequency/Diurnal
sosttf:Diurnal rdf:type owl:NamedIndividual ,
                       soproptf:Frequency ;
              sorelt:hasPeriod sostti:day ;
              rdfs:label "diurnal"@en .


###  http://sweetontology.net/stateTimeFrequency/Episodic
sosttf:Episodic rdf:type owl:NamedIndividual ,
                        soproptf:Frequency ;
               rdfs:label "episodic"@en .


###  http://sweetontology.net/stateTimeFrequency/Erratic
sosttf:Erratic rdf:type owl:NamedIndividual ,
                       soproptf:Frequency ;
              rdfs:label "erratic"@en .


###  http://sweetontology.net/stateTimeFrequency/Frequent
sosttf:Frequent rdf:type owl:NamedIndividual ,
                        soproptf:Frequency ;
               sorelt:moreFrequentThan sosttf:Infrequent ,
                                      sosttf:Rare ;
               rdfs:label "frequent"@en .


###  http://sweetontology.net/stateTimeFrequency/Hourly
sosttf:Hourly rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             sorelt:hasPeriod sostti:hour ;
             rdfs:label "hourly"@en .


###  http://sweetontology.net/stateTimeFrequency/Infrequent
sosttf:Infrequent rdf:type owl:NamedIndividual ,
                          soproptf:Frequency ;
                 rdfs:label "infrequent"@en .


###  http://sweetontology.net/stateTimeFrequency/Interrupted
sosttf:Interrupted rdf:type owl:NamedIndividual ,
                           soproptf:Frequency ;
                  rdfs:label "interrupted"@en .


###  http://sweetontology.net/stateTimeFrequency/Monthly
sosttf:Monthly rdf:type owl:NamedIndividual ,
                       soproptf:Frequency ;
              sorelt:hasPeriod sostti:month ;
              rdfs:label "monthly"@en .


###  http://sweetontology.net/stateTimeFrequency/NonStationary
sosttf:NonStationary rdf:type owl:NamedIndividual ,
                             soproptf:Frequency ;
                    rdfs:label "non stationary"@en .


###  http://sweetontology.net/stateTimeFrequency/Pentad
sosttf:Pentad rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             sorelt:hasPeriod sostti:day ;
             rdfs:label "pentad"@en .


###  http://sweetontology.net/stateTimeFrequency/Periodic
sosttf:Periodic rdf:type owl:NamedIndividual ,
                        soproptf:Frequency ;
               rdfs:label "periodic"@en .


###  http://sweetontology.net/stateTimeFrequency/Rare
sosttf:Rare rdf:type owl:NamedIndividual ,
                    soproptf:Frequency ;
           rdfs:label "rare"@en .


###  http://sweetontology.net/stateTimeFrequency/Seasonal
sosttf:Seasonal rdf:type owl:NamedIndividual ,
                        soproptf:Frequency ;
               sorelt:hasPeriod sostti:month ;
               rdfs:label "seasonal"@en .


###  http://sweetontology.net/stateTimeFrequency/Secular
sosttf:Secular rdf:type owl:NamedIndividual ,
                       soproptf:Frequency ;
              rdfs:label "secular"@en .


###  http://sweetontology.net/stateTimeFrequency/SemiAnnual
sosttf:SemiAnnual rdf:type owl:NamedIndividual ,
                          soproptf:Frequency ;
                 sorelt:hasPeriod sostti:month ;
                 rdfs:label "semi annual"@en .


###  http://sweetontology.net/stateTimeFrequency/SemiDiurnal
sosttf:SemiDiurnal rdf:type owl:NamedIndividual ,
                           soproptf:Frequency ;
                  sorelt:hasPeriod sostti:hour ;
                  rdfs:label "semi diurnal"@en .


###  http://sweetontology.net/stateTimeFrequency/Spasmodic
sosttf:Spasmodic rdf:type owl:NamedIndividual ,
                         soproptf:Frequency ;
                rdfs:label "spasmodic"@en .


###  http://sweetontology.net/stateTimeFrequency/Stationary
sosttf:Stationary rdf:type owl:NamedIndividual ,
                          soproptf:Frequency ;
                 rdfs:label "stationary"@en .


###  http://sweetontology.net/stateTimeFrequency/Steady
sosttf:Steady rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             rdfs:label "steady"@en .


###  http://sweetontology.net/stateTimeFrequency/Uninterrupted
sosttf:Uninterrupted rdf:type owl:NamedIndividual ,
                             soproptf:Frequency ;
                    rdfs:label "uninterrupted"@en .


###  http://sweetontology.net/stateTimeFrequency/Unusual
sosttf:Unusual rdf:type owl:NamedIndividual ,
                       soproptf:Frequency ;
              rdfs:label "unusual"@en .


###  http://sweetontology.net/stateTimeFrequency/Usual
sosttf:Usual rdf:type owl:NamedIndividual ,
                     soproptf:Frequency ;
            sorelt:moreFrequentThan sosttf:Unusual ;
            rdfs:label "usual"@en .


###  http://sweetontology.net/stateTimeFrequency/Weekly
sosttf:Weekly rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             sorelt:hasPeriod sostti:week ;
             rdfs:label "weekly"@en .


###  http://sweetontology.net/stateTimeFrequency/Yearly
sosttf:Yearly rdf:type owl:NamedIndividual ,
                      soproptf:Frequency ;
             rdfs:label "yearly"@en .


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

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sosttf:Cyclic
                        sosttf:Secular
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sosttf:Interrupted
                        sosttf:Uninterrupted
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sosttf:NonStationary
                        sosttf:Stationary
                      )
] .


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