@prefix : <http://sweetontology.net/realmAstroHelio/> .
@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 sostsb: <http://sweetontology.net/stateSpectralBand/> .
@prefix sopropo: <http://sweetontology.net/propOrdinal/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix soreaah: <http://sweetontology.net/realmAstroHelio/> .
@prefix sorelph: <http://sweetontology.net/relaPhysical/> .
@prefix sorelsp: <http://sweetontology.net/relaSpace/> .
@prefix sorea: <http://sweetontology.net/realm/> .
@prefix sostp: <http://sweetontology.net/statePhysical/> .
@base <http://sweetontology.net/realmAstroHelio> .

<http://sweetontology.net/realmAstroHelio> rdf:type owl:Ontology ;
                                            owl:imports <http://sweetontology.net/propOrdinal> ,
                                                        <http://sweetontology.net/realm> ,
                                                        <http://sweetontology.net/rela> ,
                                                        <http://sweetontology.net/relaPhysical> ,
                                                        <http://sweetontology.net/relaSpace> ,
                                                        <http://sweetontology.net/state> ,
                                                        <http://sweetontology.net/statePhysical> ,
                                                        <http://sweetontology.net/stateSpectralBand> ;
                                            rdfs:label "SWEET Ontology Realm Astrophysical Heliosphere" ;
                                            dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                            owl:versionInfo "3.6.0" .

#################################################################
#    Annotation properties
#################################################################

###  http://www.w3.org/2002/07/owl#versionInfo
owl:versionInfo rdf:type owl:AnnotationProperty .


#################################################################
#    Object Properties
#################################################################

###  http://sweetontology.net/relaPhysical/hasSpectralBand
sorelph:hasSpectralBand rdf:type owl:ObjectProperty .


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

###  http://sweetontology.net/realmAstroHelio/DLayer
soreaah:DLayer rdf:type owl:Class ;
             rdfs:subClassOf sorea:PlanetaryLayer ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty sorel:hasRealm ;
                               owl:someValuesFrom soreaah:Ionosphere
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty sorelph:hasSpectralBand ;
                               owl:hasValue sostsb:HardXRay
                             ] ;
             rdfs:label "d layer"@en .


###  http://sweetontology.net/realmAstroHelio/ELayer
soreaah:ELayer rdf:type owl:Class ;
             rdfs:subClassOf sorea:PlanetaryLayer ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty sorel:hasRealm ;
                               owl:someValuesFrom soreaah:Ionosphere
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty sorelph:hasSpectralBand ;
                               owl:hasValue sostsb:SoftXRay
                             ] ;
             rdfs:label "e layer"@en .


###  http://sweetontology.net/realmAstroHelio/Exosphere
soreaah:Exosphere rdf:type owl:Class ;
                rdfs:subClassOf sorea:PlanetaryLayer ;
                rdfs:label "exosphere"@en .


###  http://sweetontology.net/realmAstroHelio/FLayer
soreaah:FLayer rdf:type owl:Class ;
             rdfs:subClassOf sorea:PlanetaryLayer ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty sorel:hasRealm ;
                               owl:someValuesFrom soreaah:Ionosphere
                             ] ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty sorelph:hasSpectralBand ;
                               owl:hasValue sostsb:EUV
                             ] ;
             rdfs:label "f layer"@en .


###  http://sweetontology.net/realmAstroHelio/Heliopause
soreaah:Heliopause rdf:type owl:Class ;
                 rdfs:subClassOf sorea:PlanetarySurfaceLevel ;
                 rdfs:label "heliopause"@en .


###  http://sweetontology.net/realmAstroHelio/Heliosphere
soreaah:Heliosphere rdf:type owl:Class ;
                  rdfs:subClassOf sorea:PlanetaryLayer ;
                  rdfs:label "heliosphere"@en .


###  http://sweetontology.net/realmAstroHelio/Ionosphere
soreaah:Ionosphere rdf:type owl:Class ;
                 rdfs:subClassOf sorea:PlanetaryLayer ;
                 rdfs:label "ionosphere"@en .


###  http://sweetontology.net/realmAstroHelio/LowerHeliosphere
soreaah:LowerHeliosphere rdf:type owl:Class ;
                       rdfs:subClassOf sorea:PlanetaryLayer ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty sorel:hasRealm ;
                                         owl:someValuesFrom soreaah:Heliosphere
                                       ] ;
                       rdfs:label "lower heliosphere"@en .


###  http://sweetontology.net/realmAstroHelio/Magnetosphere
soreaah:Magnetosphere rdf:type owl:Class ;
                    rdfs:subClassOf sorea:PlanetaryLayer ;
                    rdfs:label "magnetosphere"@en .


###  http://sweetontology.net/realmAstroHelio/Plasmapause
soreaah:Plasmapause rdf:type owl:Class ;
                  rdfs:subClassOf sorea:PlanetaryBoundary ;
                  rdfs:label "plasmapause"@en .


###  http://sweetontology.net/realmAstroHelio/Plasmasphere
soreaah:Plasmasphere rdf:type owl:Class ;
                   rdfs:subClassOf sorea:PlanetaryLayer ,
                                   [ rdf:type owl:Restriction ;
                                     owl:onProperty sorel:hasRealm ;
                                     owl:someValuesFrom soreaah:LowerHeliosphere
                                   ] ,
                                   [ rdf:type owl:Restriction ;
                                     owl:onProperty sorelsp:hasUpperBoundary ;
                                     owl:allValuesFrom soreaah:Plasmapause
                                   ] ,
                                   [ rdf:type owl:Restriction ;
                                     owl:onProperty sorel:hasState ;
                                     owl:hasValue sostp:Plasma
                                   ] ;
                   rdfs:label "plasmasphere"@en .


###  http://sweetontology.net/realmAstroHelio/RadiationBelt
soreaah:RadiationBelt rdf:type owl:Class ;
                    owl:equivalentClass soreaah:VanAllenBelt ;
                    rdfs:subClassOf sorea:PlanetaryLayer ,
                                    [ rdf:type owl:Restriction ;
                                      owl:onProperty sorel:hasRealm ;
                                      owl:allValuesFrom soreaah:Heliosphere
                                    ] ;
                    rdfs:label "radiation belt"@en .


###  http://sweetontology.net/realmAstroHelio/UpperHeliosphere
soreaah:UpperHeliosphere rdf:type owl:Class ;
                       rdfs:subClassOf sorea:PlanetaryLayer ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty sorel:hasRealm ;
                                         owl:allValuesFrom soreaah:Heliosphere
                                       ] ;
                       rdfs:label "upper heliosphere"@en .


###  http://sweetontology.net/realmAstroHelio/VanAllenBelt
soreaah:VanAllenBelt rdf:type owl:Class ;
                   rdfs:label "van allen belt"@en .


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

###  http://sweetontology.net/stateSpectralBand/EUV
sostsb:EUV rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateSpectralBand/HardXRay
sostsb:HardXRay rdf:type owl:NamedIndividual .


###  http://sweetontology.net/stateSpectralBand/SoftXRay
sostsb:SoftXRay rdf:type owl:NamedIndividual .


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