@prefix : <http://sweetontology.net/realmAstroBody/> .
@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 soreaab: <http://sweetontology.net/realmAstroBody/> .
@prefix sorepsg3: <http://sweetontology.net/reprSpaceGeometry3D/> .
@prefix sorelph: <http://sweetontology.net/relaPhysical/> .
@prefix sorea: <http://sweetontology.net/realm/> .
@base <http://sweetontology.net/realmAstroBody> .

<http://sweetontology.net/realmAstroBody> rdf:type owl:Ontology ;
                                           owl:imports <http://sweetontology.net/matr> ,
                                                       <http://sweetontology.net/propTime> ,
                                                       <http://sweetontology.net/realm> ,
                                                       <http://sweetontology.net/relaPhysical> ,
                                                       <http://sweetontology.net/reprSpaceGeometry3D> ;
                                           rdfs:label "SWEET Ontology Realm Astrophysical Body" ;
                                           dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                           owl:versionInfo "3.6.0" .

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

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


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

###  http://sweetontology.net/realmAstroBody/Asteroid
soreaab:Asteroid rdf:type owl:Class ;
               rdfs:subClassOf soreaab:AstronomicalBody ;
               rdfs:label "asteroid"@en .


###  http://sweetontology.net/realmAstroBody/AstronomicalBody
soreaab:AstronomicalBody rdf:type owl:Class ;
                       rdfs:subClassOf sorepsg3:Body ;
                       rdfs:label "astronomical body"@en .


###  http://sweetontology.net/realmAstroBody/Comet
soreaab:Comet rdf:type owl:Class ;
            rdfs:subClassOf soreaab:AstronomicalBody ;
            rdfs:label "comet"@en .


###  http://sweetontology.net/realmAstroBody/Extraterrestrial
soreaab:Extraterrestrial rdf:type owl:Class ;
                       rdfs:subClassOf soreaab:AstronomicalBody ;
                       rdfs:label "extraterrestrial"@en .


###  http://sweetontology.net/realmAstroBody/Galaxy
soreaab:Galaxy rdf:type owl:Class ;
             rdfs:subClassOf soreaab:AstronomicalBody ;
             rdfs:label "galaxy"@en .


###  http://sweetontology.net/realmAstroBody/Moon
soreaab:Moon rdf:type owl:Class ;
           rdfs:subClassOf soreaab:AstronomicalBody ,
                           [ rdf:type owl:Restriction ;
                             owl:onProperty sorelph:revolvesAround ;
                             owl:allValuesFrom soreaab:Planet
                           ] ;
           rdfs:label "moon"@en .


###  http://sweetontology.net/realmAstroBody/OuterSpace
soreaab:OuterSpace rdf:type owl:Class ;
                 rdfs:subClassOf sorea:Realm ;
                 rdfs:label "outer space"@en .


###  http://sweetontology.net/realmAstroBody/Planet
soreaab:Planet rdf:type owl:Class ;
             rdfs:subClassOf soreaab:AstronomicalBody ,
                             [ rdf:type owl:Restriction ;
                               owl:onProperty sorelph:revolvesAround ;
                               owl:allValuesFrom soreaab:Star
                             ] ;
             rdfs:label "planet"@en .


###  http://sweetontology.net/realmAstroBody/Satellite
soreaab:Satellite rdf:type owl:Class ;
                rdfs:subClassOf soreaab:AstronomicalBody ;
                rdfs:label "satellite"@en .


###  http://sweetontology.net/realmAstroBody/Star
soreaab:Star rdf:type owl:Class ;
           rdfs:subClassOf soreaab:AstronomicalBody ;
           rdfs:label "star"@en .


###  http://sweetontology.net/reprSpaceGeometry3D/Body
sorepsg3:Body rdf:type owl:Class .


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