@prefix : <http://sweetontology.net/realmGeolOceanic/> .
@prefix soreagoc: <http://sweetontology.net/realmGeolOceanic/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@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 soma: <http://sweetontology.net/matr/> .
@prefix soreag: <http://sweetontology.net/realmGeol/> .
@prefix somarock: <http://sweetontology.net/matrRock/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix sorelch: <http://sweetontology.net/relaChemical/> .
@prefix soreao: <http://sweetontology.net/realmOcean/> .
@base <http://sweetontology.net/realmGeolOceanic> .

<http://sweetontology.net/realmGeolOceanic> rdf:type owl:Ontology ;
                                             owl:imports <http://sweetontology.net/matr> ,
                                                         <http://sweetontology.net/matrRock> ,
                                                         <http://sweetontology.net/realmGeol> ,
                                                         <http://sweetontology.net/realmOcean> ,
                                                         <http://sweetontology.net/rela> ,
                                                         <http://sweetontology.net/relaChemical> ;
                                             rdfs:label "SWEET Ontology Realm Geologic Oceanic" ;
                                             dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                             owl:versionInfo "3.6.0" .

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

###  http://sweetontology.net/rela/partOf
sorel:partOf rdf:type owl:ObjectProperty .


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

###  http://sweetontology.net/realmGeolOceanic/AccretionaryPrism
soreagoc:AccretionaryPrism rdf:type owl:Class ;
                      rdfs:subClassOf soma:Mixture ,
                                      soreag:GeologicStructure ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty sorelch:hasSubstance ;
                                        owl:allValuesFrom somarock:Melange
                                      ] ;
                      rdfs:label "accretionary prism"@en .


###  http://sweetontology.net/realmGeolOceanic/OceanicCrust
soreagoc:OceanicCrust rdf:type owl:Class ;
                 rdfs:subClassOf soreag:Crust ,
                                 soreao:OceanRegion ,
                                 [ rdf:type owl:Restriction ;
                                   owl:onProperty sorel:partOf ;
                                   owl:allValuesFrom soreagoc:OceanicLithosphere
                                 ] ;
                 rdfs:label "oceanic crust"@en .


###  http://sweetontology.net/realmGeolOceanic/OceanicLithosphere
soreagoc:OceanicLithosphere rdf:type owl:Class ;
                       owl:equivalentClass soreagoc:Submarine ;
                       rdfs:subClassOf soreag:Lithosphere ,
                                       soreao:OceanRegion ;
                       rdfs:label "oceanic lithosphere"@en .


###  http://sweetontology.net/realmGeolOceanic/Submarine
soreagoc:Submarine rdf:type owl:Class ;
              rdfs:label "submarine"@en .


###  http://sweetontology.net/realmOcean/OceanRegion
soreao:OceanRegion rdf:type owl:Class .


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