@prefix : . @prefix owl: . @prefix dcterms: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix sopropo: . @prefix rdfs: . @prefix sorel: . @prefix sost: . @prefix sorelsc: . @prefix sostsy: . @base . rdf:type owl:Ontology ; owl:imports , , , ; rdfs:label "SWEET Ontology State System" ; dcterms:license ; 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