@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