@prefix : <http://sweetontology.net/stateSystem/> .
@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 sopropo: <http://sweetontology.net/propOrdinal/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix sost: <http://sweetontology.net/state/> .
@prefix sorelsc: <http://sweetontology.net/relaSci/> .
@prefix sostsy: <http://sweetontology.net/stateSystem/> .
@base <http://sweetontology.net/stateSystem> .

<http://sweetontology.net/stateSystem> rdf:type owl:Ontology ;
                                        owl:imports <http://sweetontology.net/propOrdinal> ,
                                                    <http://sweetontology.net/rela> ,
                                                    <http://sweetontology.net/relaSci> ,
                                                    <http://sweetontology.net/state> ;
                                        rdfs:label "SWEET Ontology State System" ;
                                        dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                        owl:versionInfo "3.6.0" .

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

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


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


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

###  http://sweetontology.net/propOrdinal/ActivityLevel
sopropo:ActivityLevel rdf:type owl:Class .


###  http://sweetontology.net/stateSystem/Coherent
sostsy:Coherent rdf:type owl:Class ;
                rdfs:subClassOf sostsy:SystemState ;
                rdfs:label "coherent"@en .


###  http://sweetontology.net/stateSystem/Complex
sostsy:Complex rdf:type owl:Class ;
               rdfs:subClassOf sostsy:SystemState ;
               rdfs:label "complex"@en .


###  http://sweetontology.net/stateSystem/Deficit
sostsy:Deficit rdf:type owl:Class ;
               rdfs:subClassOf sostsy:SystemState ;
               owl:disjointWith sostsy:Excess ;
               rdfs:label "deficit"@en .


###  http://sweetontology.net/stateSystem/EquilibriumState
sostsy:EquilibriumState rdf:type owl:Class ;
                        rdfs:subClassOf sostsy:SystemState ,
                                        [ rdf:type owl:Restriction ;
                                          owl:onProperty sorel:hasState ;
                                          owl:hasValue sostsy:Equilibrium
                                        ] ;
                        rdfs:label "equilibrium state"@en .


###  http://sweetontology.net/stateSystem/Excess
sostsy:Excess rdf:type owl:Class ;
              rdfs:subClassOf sostsy:SystemState ;
              rdfs:label "excess"@en .


###  http://sweetontology.net/stateSystem/Homeostasis
sostsy:Homeostasis rdf:type owl:Class ;
                   rdfs:subClassOf sostsy:SystemState ;
                   rdfs:label "homeostasis"@en .


###  http://sweetontology.net/stateSystem/Instability
sostsy:Instability rdf:type owl:Class ;
                   owl:equivalentClass sostsy:Unstable ;
                   rdfs:label "instability"@en .


###  http://sweetontology.net/stateSystem/Overflow
sostsy:Overflow rdf:type owl:Class ;
                rdfs:subClassOf sostsy:SystemState ;
                rdfs:label "overflow"@en .


###  http://sweetontology.net/stateSystem/Resilient
sostsy:Resilient rdf:type owl:Class ;
                 rdfs:subClassOf sostsy:SystemState ;
                 rdfs:label "resilient"@en .


###  http://sweetontology.net/stateSystem/Stability
sostsy:Stability rdf:type owl:Class ;
                 owl:equivalentClass sostsy:Stable ;
                 owl:disjointWith sostsy:Unstable ;
                 rdfs:label "stability"@en .


###  http://sweetontology.net/stateSystem/Stable
sostsy:Stable rdf:type owl:Class ;
              rdfs:subClassOf sostsy:SystemState ;
              rdfs:label "stable"@en .


###  http://sweetontology.net/stateSystem/SystemState
sostsy:SystemState rdf:type owl:Class ;
                   rdfs:subClassOf sost:State ;
                   rdfs:label "system state"@en .


###  http://sweetontology.net/stateSystem/Unstable
sostsy:Unstable rdf:type owl:Class ;
                rdfs:subClassOf sostsy:SystemState ;
                rdfs:label "unstable"@en .


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

###  http://sweetontology.net/stateSystem/Active
sostsy:Active rdf:type owl:NamedIndividual ,
                       sopropo:ActivityLevel ;
              sorelsc:moreActiveThan sostsy:Inactive ;
              rdfs:label "active"@en .


###  http://sweetontology.net/stateSystem/Artificial
sostsy:Artificial rdf:type owl:NamedIndividual ,
                           sostsy:SystemState ;
                  rdfs:label "artificial"@en .


###  http://sweetontology.net/stateSystem/Balance
sostsy:Balance rdf:type owl:NamedIndividual ,
                        sostsy:SystemState ;
               owl:sameAs sostsy:Balanced ;
               rdfs:label "balance"@en .


###  http://sweetontology.net/stateSystem/Balanced
sostsy:Balanced rdf:type owl:NamedIndividual ,
                         sostsy:SystemState ;
                rdfs:label "balanced"@en .


###  http://sweetontology.net/stateSystem/Broken
sostsy:Broken rdf:type owl:NamedIndividual ,
                       sostsy:SystemState ;
              rdfs:label "broken"@en .


###  http://sweetontology.net/stateSystem/Chaos
sostsy:Chaos rdf:type owl:NamedIndividual ,
                      sostsy:SystemState ;
             owl:sameAs sostsy:Chaotic ;
             rdfs:label "chaos"@en .


###  http://sweetontology.net/stateSystem/Chaotic
sostsy:Chaotic rdf:type owl:NamedIndividual ,
                        sostsy:SystemState ;
               rdfs:label "chaotic"@en .


###  http://sweetontology.net/stateSystem/Closed
sostsy:Closed rdf:type owl:NamedIndividual ,
                       sostsy:SystemState ;
              rdfs:label "closed"@en .


###  http://sweetontology.net/stateSystem/Complete
sostsy:Complete rdf:type owl:NamedIndividual ,
                         sostsy:SystemState ;
                rdfs:label "complete"@en .


###  http://sweetontology.net/stateSystem/Coupled
sostsy:Coupled rdf:type owl:NamedIndividual ,
                        sostsy:SystemState ;
               rdfs:label "coupled"@en .


###  http://sweetontology.net/stateSystem/Critical
sostsy:Critical rdf:type owl:NamedIndividual ,
                         sostsy:SystemState ;
                rdfs:label "critical"@en .


###  http://sweetontology.net/stateSystem/Dependent
sostsy:Dependent rdf:type owl:NamedIndividual ,
                          sostsy:SystemState ;
                 rdfs:label "dependent"@en .


###  http://sweetontology.net/stateSystem/Deterministic
sostsy:Deterministic rdf:type owl:NamedIndividual ,
                              sostsy:SystemState ;
                     rdfs:label "deterministic"@en .


###  http://sweetontology.net/stateSystem/Disturbed
sostsy:Disturbed rdf:type owl:NamedIndividual ,
                          sostsy:SystemState ;
                 rdfs:label "disturbed"@en .


###  http://sweetontology.net/stateSystem/Dormant
sostsy:Dormant rdf:type owl:NamedIndividual ,
                        sopropo:ActivityLevel ;
               sorelsc:moreActiveThan sostsy:Inactive ;
               rdfs:label "dormant"@en .


###  http://sweetontology.net/stateSystem/Dynamic
sostsy:Dynamic rdf:type owl:NamedIndividual ,
                        sostsy:SystemState ;
               owl:sameAs sostsy:TimeDependent ,
                          sostsy:TimeVarying ;
               rdfs:label "dynamic"@en .


###  http://sweetontology.net/stateSystem/Endogenous
sostsy:Endogenous rdf:type owl:NamedIndividual ,
                           sostsy:SystemState ;
                  rdfs:label "endogenous"@en .


###  http://sweetontology.net/stateSystem/Equilibrium
sostsy:Equilibrium rdf:type owl:NamedIndividual ,
                            sostsy:SystemState ;
                   rdfs:label "equilibrium"@en .


###  http://sweetontology.net/stateSystem/Eruptive
sostsy:Eruptive rdf:type owl:NamedIndividual ,
                         sopropo:ActivityLevel ;
                sorelsc:moreActiveThan sostsy:Inactive ;
                rdfs:label "eruptive"@en .


###  http://sweetontology.net/stateSystem/Exogenous
sostsy:Exogenous rdf:type owl:NamedIndividual ,
                          sostsy:SystemState ;
                 rdfs:label "exogenous"@en .


###  http://sweetontology.net/stateSystem/Extinct
sostsy:Extinct rdf:type owl:NamedIndividual ,
                        sopropo:ActivityLevel ;
               rdfs:label "extinct"@en .


###  http://sweetontology.net/stateSystem/Heterogeneous
sostsy:Heterogeneous rdf:type owl:NamedIndividual ,
                              sostsy:SystemState ;
                     rdfs:label "heterogeneous"@en .


###  http://sweetontology.net/stateSystem/Homogeneous
sostsy:Homogeneous rdf:type owl:NamedIndividual ,
                            sostsy:SystemState ;
                   rdfs:label "homogeneous"@en .


###  http://sweetontology.net/stateSystem/Hyperactive
sostsy:Hyperactive rdf:type owl:NamedIndividual ,
                            sopropo:ActivityLevel ;
                   sorelsc:moreActiveThan sostsy:Active ;
                   rdfs:label "hyperactive"@en .


###  http://sweetontology.net/stateSystem/Hysteresis
sostsy:Hysteresis rdf:type owl:NamedIndividual ,
                           sostsy:SystemState ;
                  rdfs:label "hysteresis"@en .


###  http://sweetontology.net/stateSystem/Inactive
sostsy:Inactive rdf:type owl:NamedIndividual ,
                         sopropo:ActivityLevel ;
                rdfs:label "inactive"@en .


###  http://sweetontology.net/stateSystem/Incomplete
sostsy:Incomplete rdf:type owl:NamedIndividual ,
                           sostsy:SystemState ;
                  rdfs:label "incomplete"@en .


###  http://sweetontology.net/stateSystem/Independent
sostsy:Independent rdf:type owl:NamedIndividual ,
                            sostsy:SystemState ;
                   rdfs:label "independent"@en .


###  http://sweetontology.net/stateSystem/Inhomogeneous
sostsy:Inhomogeneous rdf:type owl:NamedIndividual ,
                              sostsy:SystemState ;
                     rdfs:label "inhomogeneous"@en .


###  http://sweetontology.net/stateSystem/Intermittent
sostsy:Intermittent rdf:type owl:NamedIndividual ,
                             sostsy:SystemState ;
                    rdfs:label "intermittent"@en .


###  http://sweetontology.net/stateSystem/Irreversible
sostsy:Irreversible rdf:type owl:NamedIndividual ,
                             sostsy:SystemState ;
                    rdfs:label "irreversible"@en .


###  http://sweetontology.net/stateSystem/Native
sostsy:Native rdf:type owl:NamedIndividual ,
                       sostsy:SystemState ;
              rdfs:label "native"@en .


###  http://sweetontology.net/stateSystem/Natural
sostsy:Natural rdf:type owl:NamedIndividual ,
                        sostsy:SystemState ;
               rdfs:label "natural"@en .


###  http://sweetontology.net/stateSystem/NonEquilibrium
sostsy:NonEquilibrium rdf:type owl:NamedIndividual ,
                               sostsy:SystemState ;
                      rdfs:label "non equilibrium"@en .


###  http://sweetontology.net/stateSystem/NonLinear
sostsy:NonLinear rdf:type owl:NamedIndividual ,
                          sostsy:SystemState ;
                 rdfs:label "non linear"@en .


###  http://sweetontology.net/stateSystem/Open
sostsy:Open rdf:type owl:NamedIndividual ,
                     sostsy:SystemState ;
            rdfs:label "open"@en .


###  http://sweetontology.net/stateSystem/Quiet
sostsy:Quiet rdf:type owl:NamedIndividual ,
                      sopropo:ActivityLevel ;
             sorelsc:moreActiveThan sostsy:Extinct ;
             rdfs:label "quiet"@en .


###  http://sweetontology.net/stateSystem/Random
sostsy:Random rdf:type owl:NamedIndividual ,
                       sostsy:SystemState ;
              rdfs:label "random"@en .


###  http://sweetontology.net/stateSystem/Reversible
sostsy:Reversible rdf:type owl:NamedIndividual ,
                           sostsy:SystemState ;
                  rdfs:label "reversible"@en .


###  http://sweetontology.net/stateSystem/Static
sostsy:Static rdf:type owl:NamedIndividual ,
                       sostsy:SystemState ;
              rdfs:label "static"@en .


###  http://sweetontology.net/stateSystem/Stochastic
sostsy:Stochastic rdf:type owl:NamedIndividual ,
                           sostsy:SystemState ;
                  rdfs:label "stochastic"@en .


###  http://sweetontology.net/stateSystem/TimeDependent
sostsy:TimeDependent rdf:type owl:NamedIndividual ,
                              sostsy:SystemState ;
                     rdfs:label "time dependent"@en .


###  http://sweetontology.net/stateSystem/TimeVarying
sostsy:TimeVarying rdf:type owl:NamedIndividual ,
                            sostsy:SystemState ;
                   rdfs:label "time varying"@en .


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

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Artificial
                        sostsy:Natural
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Closed
                        sostsy:Open
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Complete
                        sostsy:Incomplete
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Dependent
                        sostsy:Independent
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Deterministic
                        sostsy:Stochastic
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Dynamic
                        sostsy:Static
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Endogenous
                        sostsy:Exogenous
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Equilibrium
                        sostsy:NonEquilibrium
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Heterogeneous
                        sostsy:Homogeneous
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Heterogeneous
                        sostsy:Inhomogeneous
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostsy:Irreversible
                        sostsy:Reversible
                      )
] .


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