@prefix : . @prefix owl: . @prefix dcterms: . @prefix rdf: . @prefix xml: . @prefix xsd: . @prefix rdfs: . @prefix sorel: . @prefix sorelm: . @prefix sostf: . @prefix sostp: . @prefix sostsy: . @base . rdf:type owl:Ontology ; owl:imports , , , ; rdfs:label "SWEET Ontology State Fluid" ; dcterms:license ; owl:versionInfo "3.6.0" . ################################################################# # Object Properties ################################################################# ### http://sweetontology.net/relaMath/approximates sorelm:approximates rdf:type owl:ObjectProperty . ### http://sweetontology.net/rela/hasState sorel:hasState rdf:type owl:ObjectProperty . ################################################################# # Classes ################################################################# ### http://sweetontology.net/stateFluid/FluidEquilibriumState sostf:FluidEquilibriumState rdf:type owl:Class ; rdfs:subClassOf sostf:FluidState , sostsy:EquilibriumState ; rdfs:label "fluid equilibrium state"@en . ### http://sweetontology.net/stateFluid/FluidState sostf:FluidState rdf:type owl:Class ; rdfs:subClassOf sostp:PhysicalState , [ rdf:type owl:Restriction ; owl:onProperty sorel:hasState ; owl:hasValue sostp:Fluid ] ; rdfs:label "fluid state"@en . ### http://sweetontology.net/statePhysical/PhysicalState sostp:PhysicalState rdf:type owl:Class . ### http://sweetontology.net/stateSystem/EquilibriumState sostsy:EquilibriumState rdf:type owl:Class . ################################################################# # Individuals ################################################################# ### http://sweetontology.net/stateFluid/Ageostrophic sostf:Ageostrophic rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "ageostrophic"@en . ### http://sweetontology.net/stateFluid/Baroclinic sostf:Baroclinic rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "baroclinic"@en . ### http://sweetontology.net/stateFluid/Barotropic sostf:Barotropic rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "barotropic"@en . ### http://sweetontology.net/stateFluid/Buoyant sostf:Buoyant rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "buoyant"@en . ### http://sweetontology.net/stateFluid/Convective sostf:Convective rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "convective"@en . ### http://sweetontology.net/stateFluid/Ekman sostf:Ekman rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "ekman"@en . ### http://sweetontology.net/stateFluid/Geostrophic sostf:Geostrophic rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "geostrophic"@en . ### http://sweetontology.net/stateFluid/Halosteric sostf:Halosteric rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "halosteric"@en . ### http://sweetontology.net/stateFluid/Hydrostatic sostf:Hydrostatic rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "hydrostatic"@en . ### http://sweetontology.net/stateFluid/Laminar sostf:Laminar rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "laminar"@en . ### http://sweetontology.net/stateFluid/Miscible sostf:Miscible rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "miscible"@en . ### http://sweetontology.net/stateFluid/Newtonian sostf:Newtonian rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "newtonian"@en . ### http://sweetontology.net/stateFluid/NonNewtonian sostf:NonNewtonian rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "non newtonian"@en . ### http://sweetontology.net/stateFluid/Nonhydrostatic sostf:Nonhydrostatic rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "nonhydrostatic"@en . ### http://sweetontology.net/stateFluid/Pressurized sostf:Pressurized rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "pressurized"@en . ### http://sweetontology.net/stateFluid/QuasiGeostrophic sostf:QuasiGeostrophic rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; sorelm:approximates sostf:Geostrophic ; rdfs:label "quasi geostrophic"@en . ### http://sweetontology.net/stateFluid/QuasiHydrostatic sostf:QuasiHydrostatic rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; sorelm:approximates sostf:Hydrostatic ; rdfs:label "quasi hydrostatic"@en . ### http://sweetontology.net/stateFluid/Rareified sostf:Rareified rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "rareified"@en . ### http://sweetontology.net/stateFluid/SemiGeostrophic sostf:SemiGeostrophic rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "semi geostrophic"@en . ### http://sweetontology.net/stateFluid/Steric sostf:Steric rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "steric"@en . ### http://sweetontology.net/stateFluid/Stratification sostf:Stratification rdf:type owl:NamedIndividual , sostf:FluidState ; owl:sameAs sostf:Stratified ; rdfs:label "stratification"@en . ### http://sweetontology.net/stateFluid/Stratified sostf:Stratified rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "stratified"@en . ### http://sweetontology.net/stateFluid/SverdrupBalance sostf:SverdrupBalance rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "sverdrup balance"@en . ### http://sweetontology.net/stateFluid/Thermosteric sostf:Thermosteric rdf:type owl:NamedIndividual , sostf:FluidEquilibriumState ; rdfs:label "thermosteric"@en . ### http://sweetontology.net/stateFluid/Turbulent sostf:Turbulent rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "turbulent"@en . ### http://sweetontology.net/stateFluid/Unpressurized sostf:Unpressurized rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "unpressurized"@en . ### http://sweetontology.net/stateFluid/Viscous sostf:Viscous rdf:type owl:NamedIndividual , sostf:FluidState ; rdfs:label "viscous"@en . ### http://sweetontology.net/statePhysical/Fluid sostp:Fluid rdf:type owl:NamedIndividual . ################################################################# # General axioms ################################################################# [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostf:Ageostrophic sostf:Geostrophic ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostf:Baroclinic sostf:Barotropic ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostf:Hydrostatic sostf:Nonhydrostatic ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostf:Laminar sostf:Turbulent ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostf:Newtonian sostf:NonNewtonian ) ] . [ rdf:type owl:AllDifferent ; owl:distinctMembers ( sostf:Pressurized sostf:Unpressurized ) ] . ### Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi