@prefix : <http://sweetontology.net/stateRealm/> .
@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 sostre: <http://sweetontology.net/stateRealm/> .
@prefix sostp: <http://sweetontology.net/statePhysical/> .
@base <http://sweetontology.net/stateRealm> .

<http://sweetontology.net/stateRealm> rdf:type owl:Ontology ;
                                       owl:imports <http://sweetontology.net/statePhysical> ;
                                       rdfs:label "SWEET Ontology State Realm" ;
                                       dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                       owl:versionInfo "3.6.0" .

#################################################################
#    Classes
#################################################################

###  http://sweetontology.net/stateRealm/RealmConfiguration
sostre:RealmConfiguration rdf:type owl:Class ;
                        rdfs:subClassOf sostp:PhysicalState ;
                        rdfs:label "realm configuration"@en .


#################################################################
#    Individuals
#################################################################

###  http://sweetontology.net/stateRealm/Airborne
sostre:Airborne rdf:type owl:NamedIndividual ,
                       sostre:RealmConfiguration ;
              owl:sameAs sostre:Aloft ;
              rdfs:label "airborne"@en .


###  http://sweetontology.net/stateRealm/Aloft
sostre:Aloft rdf:type owl:NamedIndividual ,
                    sostre:RealmConfiguration ;
           rdfs:label "aloft"@en .


###  http://sweetontology.net/stateRealm/Aquatic
sostre:Aquatic rdf:type owl:NamedIndividual ,
                      sostre:RealmConfiguration ;
             rdfs:label "aquatic"@en .


###  http://sweetontology.net/stateRealm/Atmospheric
sostre:Atmospheric rdf:type owl:NamedIndividual ,
                          sostre:RealmConfiguration ;
                 rdfs:label "atmospheric"@en .


###  http://sweetontology.net/stateRealm/Benthic
sostre:Benthic rdf:type owl:NamedIndividual ,
                      sostre:RealmConfiguration ;
             rdfs:label "benthic"@en .


###  http://sweetontology.net/stateRealm/Buried
sostre:Buried rdf:type owl:NamedIndividual ,
                     sostre:RealmConfiguration ;
            rdfs:label "buried"@en .


###  http://sweetontology.net/stateRealm/Extraterrestrial
sostre:Extraterrestrial rdf:type owl:NamedIndividual ,
                               sostre:RealmConfiguration ;
                      rdfs:label "extraterrestrial"@en .


###  http://sweetontology.net/stateRealm/Geologic
sostre:Geologic rdf:type owl:NamedIndividual ,
                       sostre:RealmConfiguration ;
              owl:sameAs sostre:Geological ;
              rdfs:label "geologic"@en .


###  http://sweetontology.net/stateRealm/Geological
sostre:Geological rdf:type owl:NamedIndividual ,
                         sostre:RealmConfiguration ;
                rdfs:label "geological"@en .


###  http://sweetontology.net/stateRealm/Neritic
sostre:Neritic rdf:type owl:NamedIndividual ,
                      sostre:RealmConfiguration ;
             rdfs:label "neritic"@en .


###  http://sweetontology.net/stateRealm/Oceanic
sostre:Oceanic rdf:type owl:NamedIndividual ,
                      sostre:RealmConfiguration ;
             rdfs:label "oceanic"@en .


###  http://sweetontology.net/stateRealm/Offshore
sostre:Offshore rdf:type owl:NamedIndividual ,
                       sostre:RealmConfiguration ;
              rdfs:label "offshore"@en .


###  http://sweetontology.net/stateRealm/Onshore
sostre:Onshore rdf:type owl:NamedIndividual ,
                      sostre:RealmConfiguration ;
             rdfs:label "onshore"@en .


###  http://sweetontology.net/stateRealm/Spaceborne
sostre:Spaceborne rdf:type owl:NamedIndividual ,
                         sostre:RealmConfiguration ;
                rdfs:label "spaceborne"@en .


###  http://sweetontology.net/stateRealm/Subaqueous
sostre:Subaqueous rdf:type owl:NamedIndividual ,
                         sostre:RealmConfiguration ;
                rdfs:label "subaqueous"@en .


###  http://sweetontology.net/stateRealm/Submerged
sostre:Submerged rdf:type owl:NamedIndividual ,
                        sostre:RealmConfiguration ;
               rdfs:label "submerged"@en .


###  http://sweetontology.net/stateRealm/Sunken
sostre:Sunken rdf:type owl:NamedIndividual ,
                     sostre:RealmConfiguration ;
            rdfs:label "sunken"@en .


###  http://sweetontology.net/stateRealm/Terrestrial
sostre:Terrestrial rdf:type owl:NamedIndividual ,
                          sostre:RealmConfiguration ;
                 rdfs:label "terrestrial"@en .


###  http://sweetontology.net/stateRealm/Underwater
sostre:Underwater rdf:type owl:NamedIndividual ,
                         sostre:RealmConfiguration ;
                rdfs:label "underwater"@en .


#################################################################
#    General axioms
#################################################################

[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Airborne
                        sostre:Spaceborne
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Airborne
                        sostre:Subaqueous
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Airborne
                        sostre:Sunken
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Atmospheric
                        sostre:Oceanic
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Extraterrestrial
                        sostre:Oceanic
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Extraterrestrial
                        sostre:Terrestrial
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Oceanic
                        sostre:Terrestrial
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Offshore
                        sostre:Onshore
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Spaceborne
                        sostre:Subaqueous
                      )
] .


[ rdf:type owl:AllDifferent ;
  owl:distinctMembers ( sostre:Spaceborne
                        sostre:Sunken
                      )
] .


###  Generated by the OWL API (version 4.5.9.2019-02-01T07:24:44Z) https://github.com/owlcs/owlapi