@prefix : <http://sweetontology.net/matrRockIgneous/> .
@prefix somarocki: <http://sweetontology.net/matrRockIgneous/> .
@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 sophg: <http://sweetontology.net/phenGeol/> .
@prefix somarock: <http://sweetontology.net/matrRock/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix sost: <http://sweetontology.net/state/> .
@prefix sorelpr: <http://sweetontology.net/relaProvenance/> .
@prefix sostso: <http://sweetontology.net/stateSolid/> .
@base <http://sweetontology.net/matrRockIgneous> .

<http://sweetontology.net/matrRockIgneous> rdf:type owl:Ontology ;
                                            owl:imports <http://sweetontology.net/matr> ,
                                                        <http://sweetontology.net/matrRock> ,
                                                        <http://sweetontology.net/phenGeol> ,
                                                        <http://sweetontology.net/rela> ,
                                                        <http://sweetontology.net/relaProvenance> ,
                                                        <http://sweetontology.net/state> ,
                                                        <http://sweetontology.net/stateSolid> ;
                                            rdfs:label "SWEET Ontology Material Rock Igneous" ;
                                            dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                            owl:versionInfo "3.6.0" .

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

###  http://sweetontology.net/matrRockIgneous/Aa
somarocki:Aa rdf:type owl:Class ;
       rdfs:subClassOf somarocki:ExtrusiveRock ,
                       somarocki:Lava ;
       rdfs:label "aa"@en .


###  http://sweetontology.net/matrRockIgneous/Andesite
somarocki:Andesite rdf:type owl:Class ;
             rdfs:subClassOf somarocki:VolcanicRock ;
             rdfs:label "andesite"@en .


###  http://sweetontology.net/matrRockIgneous/AnorogenicIgneousRock
somarocki:AnorogenicIgneousRock rdf:type owl:Class ;
                          rdfs:subClassOf somarocki:IntrusiveRock ;
                          rdfs:label "anorogenic igneous rock"@en .


###  http://sweetontology.net/matrRockIgneous/Anorthosite
somarocki:Anorthosite rdf:type owl:Class ;
                rdfs:subClassOf somarocki:IgneousRock ;
                rdfs:label "anorthosite"@en .


###  http://sweetontology.net/matrRockIgneous/Aphanite
somarocki:Aphanite rdf:type owl:Class ;
             rdfs:subClassOf somarocki:IgneousRock ;
             rdfs:label "aphanite"@en .


###  http://sweetontology.net/matrRockIgneous/Basalt
somarocki:Basalt rdf:type owl:Class ;
           rdfs:subClassOf somarocki:ExtrusiveRock ;
           rdfs:label "basalt"@en .


###  http://sweetontology.net/matrRockIgneous/CinderCone
somarocki:CinderCone rdf:type owl:Class ;
               rdfs:subClassOf somarocki:VolcanicCone ;
               rdfs:label "cinder cone"@en .


###  http://sweetontology.net/matrRockIgneous/CompositeCone
somarocki:CompositeCone rdf:type owl:Class ;
                  rdfs:subClassOf somarocki:VolcanicCone ;
                  rdfs:label "composite cone"@en .


###  http://sweetontology.net/matrRockIgneous/Dacite
somarocki:Dacite rdf:type owl:Class ;
           rdfs:subClassOf somarocki:VolcanicRock ;
           rdfs:label "dacite"@en .


###  http://sweetontology.net/matrRockIgneous/ExtrusiveRock
somarocki:ExtrusiveRock rdf:type owl:Class ;
                  rdfs:subClassOf somarocki:IgneousRock ;
                  rdfs:label "extrusive rock"@en .


###  http://sweetontology.net/matrRockIgneous/Felsic
somarocki:Felsic rdf:type owl:Class ;
           rdfs:subClassOf somarocki:IgneousRock ;
           owl:disjointWith somarocki:Mafic ;
           rdfs:label "felsic"@en .


###  http://sweetontology.net/matrRockIgneous/Hypabyssal
somarocki:Hypabyssal rdf:type owl:Class ;
               rdfs:subClassOf somarocki:IgneousRock ;
               rdfs:label "hypabyssal"@en .


###  http://sweetontology.net/matrRockIgneous/IgneousRock
somarocki:IgneousRock rdf:type owl:Class ;
                rdfs:subClassOf somarock:Rock ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty sorelpr:hasGenesis ;
                                  owl:allValuesFrom sophg:Igneous
                                ] ;
                rdfs:label "igneous rock"@en .


###  http://sweetontology.net/matrRockIgneous/IntrusiveRock
somarocki:IntrusiveRock rdf:type owl:Class ;
                  rdfs:subClassOf somarocki:IgneousRock ;
                  rdfs:label "intrusive rock"@en .


###  http://sweetontology.net/matrRockIgneous/Kimberlite
somarocki:Kimberlite rdf:type owl:Class ;
               rdfs:subClassOf somarocki:IgneousRock ;
               rdfs:label "kimberlite"@en .


###  http://sweetontology.net/matrRockIgneous/Lava
somarocki:Lava rdf:type owl:Class ;
         rdfs:subClassOf somarocki:ExtrusiveRock ,
                         somarocki:VolcanicRock ;
         rdfs:label "lava"@en .


###  http://sweetontology.net/matrRockIgneous/Mafic
somarocki:Mafic rdf:type owl:Class ;
          rdfs:subClassOf somarocki:IgneousRock ;
          rdfs:label "mafic"@en .


###  http://sweetontology.net/matrRockIgneous/Magma
somarocki:Magma rdf:type owl:Class ;
          rdfs:subClassOf somarocki:VolcanicRock ;
          rdfs:label "magma"@en .


###  http://sweetontology.net/matrRockIgneous/Obsidian
somarocki:Obsidian rdf:type owl:Class ;
             rdfs:subClassOf somarocki:ExtrusiveRock ,
                             somarocki:Lava ;
             rdfs:label "obsidian"@en .


###  http://sweetontology.net/matrRockIgneous/Pahoehoe
somarocki:Pahoehoe rdf:type owl:Class ;
             rdfs:subClassOf somarocki:ExtrusiveRock ,
                             somarocki:Lava ;
             rdfs:label "pahoehoe"@en .


###  http://sweetontology.net/matrRockIgneous/Peridotite
somarocki:Peridotite rdf:type owl:Class ;
               rdfs:subClassOf somarocki:IgneousRock ;
               rdfs:label "peridotite"@en .


###  http://sweetontology.net/matrRockIgneous/PillowLava
somarocki:PillowLava rdf:type owl:Class ;
               rdfs:subClassOf somarocki:ExtrusiveRock ,
                               somarocki:Lava ;
               rdfs:label "pillow lava"@en .


###  http://sweetontology.net/matrRockIgneous/Pluton
somarocki:Pluton rdf:type owl:Class ;
           owl:equivalentClass somarocki:PlutonicRock ;
           rdfs:subClassOf somarocki:IntrusiveRock ;
           rdfs:label "pluton"@en .


###  http://sweetontology.net/matrRockIgneous/PlutonicRock
somarocki:PlutonicRock rdf:type owl:Class ;
                 rdfs:label "plutonic rock"@en .


###  http://sweetontology.net/matrRockIgneous/Pumice
somarocki:Pumice rdf:type owl:Class ;
           rdfs:subClassOf somarocki:VolcanicRock ;
           rdfs:label "pumice"@en .


###  http://sweetontology.net/matrRockIgneous/Pyroclastic
somarocki:Pyroclastic rdf:type owl:Class ;
                rdfs:subClassOf somarocki:ExtrusiveRock ,
                                somarocki:VolcanicRock ;
                rdfs:label "pyroclastic"@en .


###  http://sweetontology.net/matrRockIgneous/Rhyolite
somarocki:Rhyolite rdf:type owl:Class ;
             rdfs:subClassOf somarocki:VolcanicRock ;
             rdfs:label "rhyolite"@en .


###  http://sweetontology.net/matrRockIgneous/SpatterCone
somarocki:SpatterCone rdf:type owl:Class ;
                rdfs:subClassOf somarocki:VolcanicRock ;
                rdfs:label "spatter cone"@en .


###  http://sweetontology.net/matrRockIgneous/Tephra
somarocki:Tephra rdf:type owl:Class ;
           rdfs:subClassOf somarocki:ExtrusiveRock ,
                           somarocki:VolcanicRock ;
           rdfs:label "tephra"@en .


###  http://sweetontology.net/matrRockIgneous/Trachyandesite
somarocki:Trachyandesite rdf:type owl:Class ;
                   rdfs:subClassOf somarocki:VolcanicRock ;
                   rdfs:label "trachyandesite"@en .


###  http://sweetontology.net/matrRockIgneous/Trachybasalt
somarocki:Trachybasalt rdf:type owl:Class ;
                 rdfs:subClassOf somarocki:VolcanicRock ;
                 rdfs:label "trachybasalt"@en .


###  http://sweetontology.net/matrRockIgneous/Trachyte
somarocki:Trachyte rdf:type owl:Class ;
             rdfs:subClassOf somarocki:VolcanicRock ;
             rdfs:label "trachyte"@en .


###  http://sweetontology.net/matrRockIgneous/Tuff
somarocki:Tuff rdf:type owl:Class ;
         rdfs:subClassOf somarocki:Pyroclastic ;
         rdfs:label "tuff"@en .


###  http://sweetontology.net/matrRockIgneous/TuffCone
somarocki:TuffCone rdf:type owl:Class ;
             rdfs:subClassOf somarocki:VolcanicCone ;
             rdfs:label "tuff cone"@en .


###  http://sweetontology.net/matrRockIgneous/TuffRing
somarocki:TuffRing rdf:type owl:Class ;
             rdfs:subClassOf somarocki:VolcanicRock ;
             rdfs:label "tuff ring"@en .


###  http://sweetontology.net/matrRockIgneous/Ultramaphic
somarocki:Ultramaphic rdf:type owl:Class ;
                rdfs:subClassOf somarocki:ExtrusiveRock ,
                                somarocki:VolcanicRock ;
                rdfs:label "ultramaphic"@en .


###  http://sweetontology.net/matrRockIgneous/VolcanicCone
somarocki:VolcanicCone rdf:type owl:Class ;
                 rdfs:subClassOf somarocki:VolcanicRock ;
                 rdfs:label "volcanic cone"@en .


###  http://sweetontology.net/matrRockIgneous/VolcanicNeck
somarocki:VolcanicNeck rdf:type owl:Class ;
                 rdfs:subClassOf somarocki:VolcanicRock ;
                 rdfs:label "volcanic neck"@en .


###  http://sweetontology.net/matrRockIgneous/VolcanicRock
somarocki:VolcanicRock rdf:type owl:Class ;
                 rdfs:subClassOf somarocki:ExtrusiveRock ;
                 rdfs:label "volcanic rock"@en .


###  http://sweetontology.net/matrRockIgneous/Xenocryst
somarocki:Xenocryst rdf:type owl:Class ;
              rdfs:subClassOf soma:Mixture ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty sorel:hasState ;
                                owl:hasValue sostso:Crystal
                              ] ;
              rdfs:label "xenocryst"@en .


###  http://sweetontology.net/matrRockIgneous/Xenolith
somarocki:Xenolith rdf:type owl:Class ;
             rdfs:subClassOf somarock:Rock ;
             rdfs:label "xenolith"@en .


###  http://sweetontology.net/phenGeol/Igneous
sophg:Igneous rdf:type owl:Class .


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

###  http://sweetontology.net/stateSolid/Crystal
sostso:Crystal rdf:type owl:NamedIndividual .


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