@prefix : <http://sweetontology.net/phenGeol/> .
@prefix sopropsp: <http://sweetontology.net/propSpeed/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix sorepsp: <http://sweetontology.net/reprSciProvenance/> .
@prefix somarocki: <http://sweetontology.net/matrRockIgneous/> .
@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#> .
@prefix sophgt: <http://sweetontology.net/phenGeolTectonic/> .
@prefix xml: <http://www.w3.org/XML/1998/namespace> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .
@prefix sophg: <http://sweetontology.net/phenGeol/> .
@prefix soreagor: <http://sweetontology.net/realmGeolOrogen/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix soreagb: <http://sweetontology.net/realmGeolBasin/> .
@prefix sorelch: <http://sweetontology.net/relaChemical/> .
@prefix soreag: <http://sweetontology.net/realmGeol/> .
@prefix sorepmg: <http://sweetontology.net/reprMathGraph/> .
@prefix soph: <http://sweetontology.net/phen/> .
@prefix sorelph: <http://sweetontology.net/relaPhysical/> .
@base <http://sweetontology.net/phenGeol> .

<http://sweetontology.net/phenGeol> rdf:type owl:Ontology ;
                                     owl:imports <http://sweetontology.net/matrRockIgneous> ,
                                                 <http://sweetontology.net/phen> ,
                                                 <http://sweetontology.net/phenGeolTectonic> ,
                                                 <http://sweetontology.net/propSpeed> ,
                                                 <http://sweetontology.net/realmGeol> ,
                                                 <http://sweetontology.net/realmGeolBasin> ,
                                                 <http://sweetontology.net/realmGeolOrogen> ,
                                                 <http://sweetontology.net/rela> ,
                                                 <http://sweetontology.net/relaChemical> ,
                                                 <http://sweetontology.net/relaPhysical> ,
                                                 <http://sweetontology.net/reprMathGraph> ,
                                                 <http://sweetontology.net/reprSciProvenance> ;
                                     rdfs:label "SWEET Ontology Phenomena Geologic" ;
                                     dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                     owl:versionInfo "3.6.0" .

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

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


###  http://sweetontology.net/relaChemical/hasSubstance
sorelch:hasSubstance rdf:type owl:ObjectProperty .


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


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

###  http://sweetontology.net/phenGeol/CompositeProcess
sophg:CompositeProcess rdf:type owl:Class ;
                      rdfs:subClassOf sorepsp:Genesis ;
                      rdfs:label "composite process"@en .


###  http://sweetontology.net/phenGeol/Differentiation
sophg:Differentiation rdf:type owl:Class ;
                     rdfs:subClassOf sophg:GeologicalPhenomena ;
                     rdfs:label "differentiation"@en .


###  http://sweetontology.net/phenGeol/Fluvial
sophg:Fluvial rdf:type owl:Class ;
             rdfs:subClassOf sophg:GeologicalPhenomena ;
             rdfs:label "fluvial"@en .


###  http://sweetontology.net/phenGeol/GeologicalPhenomena
sophg:GeologicalPhenomena rdf:type owl:Class ;
                         owl:equivalentClass sophg:GeospherePhenomena ;
                         rdfs:subClassOf soph:PlanetaryPhenomena ,
                                         [ rdf:type owl:Restriction ;
                                           owl:onProperty sorel:hasRealm ;
                                           owl:allValuesFrom soreag:SolidEarth
                                         ] ;
                         rdfs:label "geological phenomena"@en .


###  http://sweetontology.net/phenGeol/GeospherePhenomena
sophg:GeospherePhenomena rdf:type owl:Class ;
                        rdfs:label "geosphere phenomena"@en .


###  http://sweetontology.net/phenGeol/Igneous
sophg:Igneous rdf:type owl:Class ;
             rdfs:subClassOf sophg:RockCycleProcess ;
             rdfs:label "igneous"@en .


###  http://sweetontology.net/phenGeol/IntraplateProcess
sophg:IntraplateProcess rdf:type owl:Class ;
                       rdfs:subClassOf sophgt:TectonicPhenomena ;
                       rdfs:label "intraplate process"@en .


###  http://sweetontology.net/phenGeol/Metamorphic
sophg:Metamorphic rdf:type owl:Class ;
                 rdfs:subClassOf sophg:RockCycleProcess ;
                 rdfs:label "metamorphic"@en .


###  http://sweetontology.net/phenGeol/Orogenesis
sophg:Orogenesis rdf:type owl:Class ;
                rdfs:subClassOf sophg:GeologicalPhenomena ;
                rdfs:label "orogenesis"@en .


###  http://sweetontology.net/phenGeol/OrogenicCollapse
sophg:OrogenicCollapse rdf:type owl:Class ;
                      rdfs:subClassOf sophgt:TectonicPhenomena ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty sorel:hasRealm ;
                                        owl:allValuesFrom soreagor:Orogen
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty sorelch:hasSubstance ;
                                        owl:allValuesFrom somarocki:AnorogenicIgneousRock
                                      ] ,
                                      [ rdf:type owl:Restriction ;
                                        owl:onProperty sorelph:hasPlanetaryStructure ;
                                        owl:allValuesFrom soreagb:SuccessorBasin
                                      ] ;
                      rdfs:label "orogenic collapse"@en .


###  http://sweetontology.net/phenGeol/Orogeny
sophg:Orogeny rdf:type owl:Class ;
             rdfs:subClassOf sophgt:TectonicPhenomena ;
             rdfs:label "orogeny"@en .


###  http://sweetontology.net/phenGeol/Paleomagnetism
sophg:Paleomagnetism rdf:type owl:Class ;
                    rdfs:subClassOf sophg:GeologicalPhenomena ;
                    rdfs:label "paleomagnetism"@en .


###  http://sweetontology.net/phenGeol/Pedogenesis
sophg:Pedogenesis rdf:type owl:Class ;
                 rdfs:subClassOf sorepsp:Genesis ;
                 rdfs:label "pedogenesis"@en .


###  http://sweetontology.net/phenGeol/RockCycle
sophg:RockCycle rdf:type owl:Class ;
               owl:equivalentClass sophg:RockCycleProcess ;
               rdfs:subClassOf sophg:GeologicalPhenomena ,
                               sorepmg:Cycle ;
               rdfs:label "rock cycle"@en .


###  http://sweetontology.net/phenGeol/RockCycleProcess
sophg:RockCycleProcess rdf:type owl:Class ;
                      rdfs:label "rock cycle process"@en .


###  http://sweetontology.net/phenGeol/Sedimentary
sophg:Sedimentary rdf:type owl:Class ;
                 rdfs:subClassOf sophg:RockCycleProcess ;
                 rdfs:label "sedimentary"@en .


###  http://sweetontology.net/phenGeol/StratigraphicSequence
sophg:StratigraphicSequence rdf:type owl:Class ;
                           rdfs:subClassOf sorepsp:History ;
                           rdfs:label "stratigraphic sequence"@en .


###  http://sweetontology.net/phenGeol/Unconformity
sophg:Unconformity rdf:type owl:Class ;
                  rdfs:subClassOf sorepsp:History ;
                  rdfs:label "unconformity"@en .


###  http://sweetontology.net/phenGeol/WilsonCycle
sophg:WilsonCycle rdf:type owl:Class ;
                 rdfs:subClassOf sophg:RockCycle ;
                 rdfs:label "wilson cycle"@en .


###  http://sweetontology.net/phenGeolTectonic/TectonicPhenomena
sophgt:TectonicPhenomena rdf:type owl:Class .


###  http://sweetontology.net/realmGeol/SolidEarth
soreag:SolidEarth rdf:type owl:Class .


###  http://sweetontology.net/realmGeolBasin/SuccessorBasin
soreagb:SuccessorBasin rdf:type owl:Class .


###  http://sweetontology.net/realmGeolOrogen/Orogen
soreagor:Orogen rdf:type owl:Class .


###  http://sweetontology.net/reprMathGraph/Cycle
sorepmg:Cycle rdf:type owl:Class .


###  http://sweetontology.net/reprSciProvenance/Genesis
sorepsp:Genesis rdf:type owl:Class .


###  http://sweetontology.net/reprSciProvenance/History
sorepsp:History rdf:type owl:Class .


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