@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