@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