@prefix : <http://sweetontology.net/stateFluid/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@prefix sostf: <http://sweetontology.net/stateFluid/> .
@prefix sostp: <http://sweetontology.net/statePhysical/> .
@prefix sostsy: <http://sweetontology.net/stateSystem/> .
@base <http://sweetontology.net/stateFluid> .

<http://sweetontology.net/stateFluid> rdf:type owl:Ontology ;
                                       owl:imports <http://sweetontology.net/rela> ,
                                                   <http://sweetontology.net/relaMath> ,
                                                   <http://sweetontology.net/statePhysical> ,
                                                   <http://sweetontology.net/stateSystem> ;
                                       rdfs:label "SWEET Ontology State Fluid" ;
                                       dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                       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