@prefix : <http://sweetontology.net/matrRock/> .
@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 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 sorelch: <http://sweetontology.net/relaChemical/> .
@prefix sorelpr: <http://sweetontology.net/relaProvenance/> .
@prefix sostp: <http://sweetontology.net/statePhysical/> .
@base <http://sweetontology.net/matrRock> .

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

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

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


###  http://sweetontology.net/relaProvenance/hasGenesis
sorelpr:hasGenesis rdf:type owl:ObjectProperty .


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

###  http://sweetontology.net/matr/Mixture
soma:Mixture rdf:type owl:Class .


###  http://sweetontology.net/matr/SolidSubstance
soma:SolidSubstance rdf:type owl:Class .


###  http://sweetontology.net/matrRock/Breccia
somarock:Breccia rdf:type owl:Class ;
             rdfs:subClassOf somarock:Rock ;
             rdfs:label "breccia"@en .


###  http://sweetontology.net/matrRock/Chondrite
somarock:Chondrite rdf:type owl:Class ;
               rdfs:subClassOf somarock:Meteorite ;
               rdfs:label "chondrite"@en .


###  http://sweetontology.net/matrRock/Fossil
somarock:Fossil rdf:type owl:Class ;
            rdfs:subClassOf sostp:SubstanceForm ;
            rdfs:label "fossil"@en .


###  http://sweetontology.net/matrRock/HeterogenousRock
somarock:HeterogenousRock rdf:type owl:Class ;
                      rdfs:subClassOf somarock:SedimentaryRock ;
                      rdfs:label "heterogenous rock"@en .


###  http://sweetontology.net/matrRock/Macrofossil
somarock:Macrofossil rdf:type owl:Class ;
                 rdfs:subClassOf somarock:Fossil ;
                 rdfs:label "macrofossil"@en .


###  http://sweetontology.net/matrRock/Melange
somarock:Melange rdf:type owl:Class ;
             rdfs:subClassOf somarock:Rock ;
             rdfs:label "melange"@en .


###  http://sweetontology.net/matrRock/MetamorphicRock
somarock:MetamorphicRock rdf:type owl:Class ;
                     rdfs:subClassOf somarock:Rock ,
                                     [ rdf:type owl:Restriction ;
                                       owl:onProperty sorelpr:hasGenesis ;
                                       owl:allValuesFrom sophg:Metamorphic
                                     ] ;
                     rdfs:label "metamorphic rock"@en .


###  http://sweetontology.net/matrRock/Meteor
somarock:Meteor rdf:type owl:Class ;
            rdfs:subClassOf somarock:Rock ;
            rdfs:label "meteor"@en .


###  http://sweetontology.net/matrRock/Meteorite
somarock:Meteorite rdf:type owl:Class ;
               rdfs:subClassOf somarock:Meteor ;
               rdfs:label "meteorite"@en .


###  http://sweetontology.net/matrRock/Microfossil
somarock:Microfossil rdf:type owl:Class ;
                 rdfs:subClassOf somarock:Fossil ;
                 rdfs:label "microfossil"@en .


###  http://sweetontology.net/matrRock/Molasse
somarock:Molasse rdf:type owl:Class ;
             rdfs:subClassOf sophg:Sedimentary ;
             rdfs:label "molasse"@en .


###  http://sweetontology.net/matrRock/Regolith
somarock:Regolith rdf:type owl:Class ;
              rdfs:subClassOf soma:Mixture ;
              owl:disjointWith somarock:Rock ;
              rdfs:label "regolith"@en .


###  http://sweetontology.net/matrRock/Rock
somarock:Rock rdf:type owl:Class ;
          rdfs:subClassOf soma:Mixture ,
                          soma:SolidSubstance ;
          rdfs:label "rock"@en .


###  http://sweetontology.net/matrRock/RockBody
somarock:RockBody rdf:type owl:Class ;
              rdfs:subClassOf soma:Mixture ,
                              soma:SolidSubstance ,
                              [ rdf:type owl:Restriction ;
                                owl:onProperty sorelch:hasSubstance ;
                                owl:allValuesFrom somarock:Rock
                              ] ;
              rdfs:label "rock body"@en .


###  http://sweetontology.net/matrRock/SedimentaryRock
somarock:SedimentaryRock rdf:type owl:Class ;
                     rdfs:subClassOf somarock:Rock ,
                                     [ rdf:type owl:Restriction ;
                                       owl:onProperty sorelpr:hasGenesis ;
                                       owl:allValuesFrom sophg:Sedimentary
                                     ] ;
                     rdfs:label "sedimentary rock"@en .


###  http://sweetontology.net/matrRock/Serpentinite
somarock:Serpentinite rdf:type owl:Class ;
                  rdfs:subClassOf somarock:MetamorphicRock ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorelpr:hasGenesis ;
                                    owl:allValuesFrom somarock:Serpentinization
                                  ] ;
                  rdfs:label "serpentinite"@en .


###  http://sweetontology.net/matrRock/Serpentinization
somarock:Serpentinization rdf:type owl:Class ;
                      rdfs:subClassOf sophg:Metamorphic ;
                      rdfs:label "serpentinization"@en .


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


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


###  http://sweetontology.net/statePhysical/SubstanceForm
sostp:SubstanceForm rdf:type owl:Class .


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