@prefix : .
@prefix owl: .
@prefix dcterms: .
@prefix rdf: .
@prefix xml: .
@prefix xsd: .
@prefix sopropo: .
@prefix rdfs: .
@prefix sopropt: .
@prefix sorelm: .
@prefix sorelph: .
@prefix sostp: .
@prefix sostsy: .
@prefix sostth: .
@base .
rdf:type owl:Ontology ;
owl:imports ,
,
,
,
,
;
rdfs:label "SWEET Ontology State Thermodynamic" ;
dcterms:license ;
owl:versionInfo "3.6.0" .
#################################################################
# Object properties
#################################################################
### http://sweetontology.net/relaPhysical/warmerThan
sorelph:warmerThan rdf:type owl:ObjectProperty .
#################################################################
# Classes
#################################################################
### http://sweetontology.net/propOrdinal/TemperatureRange
sopropo:TemperatureRange rdf:type owl:Class .
### http://sweetontology.net/stateThermodynamic/ThermodynamicState
sostth:ThermodynamicState rdf:type owl:Class ;
rdfs:subClassOf sostp:PhysicalState ;
rdfs:label "thermodynamic state"@en .
#################################################################
# Individuals
#################################################################
### http://sweetontology.net/stateThermodynamic/Adiabatic
sostth:Adiabatic rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "adiabatic"@en .
### http://sweetontology.net/stateThermodynamic/BlackBody
sostth:BlackBody rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "black body"@en .
### http://sweetontology.net/stateThermodynamic/BoilingHot
sostth:BoilingHot rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
sorelph:warmerThan sostth:Warm ;
rdfs:label "boiling hot"@en .
### http://sweetontology.net/stateThermodynamic/Cold
sostth:Cold rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
rdfs:label "cold"@en .
### http://sweetontology.net/stateThermodynamic/Cool
sostth:Cool rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
sorelph:warmerThan sostth:Cold ,
sostth:FreezingCold ;
rdfs:label "cool"@en .
### http://sweetontology.net/stateThermodynamic/Diabatic
sostth:Diabatic rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "diabatic"@en .
### http://sweetontology.net/stateThermodynamic/DryAdiabat
sostth:DryAdiabat rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
owl:sameAs sostth:DryAdiabatic ;
rdfs:label "dry adiabat"@en .
### http://sweetontology.net/stateThermodynamic/DryAdiabatic
sostth:DryAdiabatic rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "dry adiabatic"@en .
### http://sweetontology.net/stateThermodynamic/FreezingCold
sostth:FreezingCold rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
rdfs:label "freezing cold"@en .
### http://sweetontology.net/stateThermodynamic/Hot
sostth:Hot rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
sorelph:warmerThan sostth:Warm ;
rdfs:label "hot"@en .
### http://sweetontology.net/stateThermodynamic/Inversion
sostth:Inversion rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "inversion"@en .
### http://sweetontology.net/stateThermodynamic/Isentropic
sostth:Isentropic rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "isentropic"@en .
### http://sweetontology.net/stateThermodynamic/Isothermal
sostth:Isothermal rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "isothermal"@en .
### http://sweetontology.net/stateThermodynamic/LTE
sostth:LTE rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
owl:sameAs sostth:LocalThermodynamicEquilibrium ;
rdfs:label "lte"@en .
### http://sweetontology.net/stateThermodynamic/LocalThermodynamicEquilibrium
sostth:LocalThermodynamicEquilibrium rdf:type owl:NamedIndividual ,
sostsy:EquilibriumState ,
sostth:ThermodynamicState ;
rdfs:label "local thermodynamic equilibrium"@en .
### http://sweetontology.net/stateThermodynamic/Lukewarm
sostth:Lukewarm rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
owl:sameAs sostth:Tepid ;
sorelph:warmerThan sostth:Cool ;
rdfs:label "lukewarm"@en .
### http://sweetontology.net/stateThermodynamic/MaximumEntropy
sostth:MaximumEntropy rdf:type owl:NamedIndividual ,
sostsy:EquilibriumState ,
sostth:ThermodynamicState ;
rdfs:label "maximum entropy"@en .
### http://sweetontology.net/stateThermodynamic/Pseudoadiabatic
sostth:Pseudoadiabatic rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
sorelm:approximates sostth:Adiabatic ;
rdfs:label "pseudoadiabatic"@en .
### http://sweetontology.net/stateThermodynamic/Superadiabatic
sostth:Superadiabatic rdf:type owl:NamedIndividual ,
sostth:ThermodynamicState ;
rdfs:label "superadiabatic"@en .
### http://sweetontology.net/stateThermodynamic/Tepid
sostth:Tepid rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
rdfs:label "tepid"@en .
### http://sweetontology.net/stateThermodynamic/ThermodynamicEquilibrium
sostth:ThermodynamicEquilibrium rdf:type owl:NamedIndividual ,
sostsy:EquilibriumState ,
sostth:ThermodynamicState ;
rdfs:label "thermodynamic equilibrium"@en .
### http://sweetontology.net/stateThermodynamic/Warm
sostth:Warm rdf:type owl:NamedIndividual ,
sopropo:TemperatureRange ;
sorelph:warmerThan sostth:Lukewarm ;
rdfs:label "warm"@en .
#################################################################
# General axioms
#################################################################
[ rdf:type owl:AllDifferent ;
owl:distinctMembers ( sostth:Adiabatic
sostth:Diabatic
)
] .
[ rdf:type owl:AllDifferent ;
owl:distinctMembers ( sostth:Adiabatic
sostth:Superadiabatic
)
] .
### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi