@prefix : <http://sweetontology.net/reprSciLaw/> .
@prefix sorepsl: <http://sweetontology.net/reprSciLaw/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix sorepsmo: <http://sweetontology.net/reprSciModel/> .
@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 sorep: <http://sweetontology.net/repr/> .
@prefix sophatmopc: <http://sweetontology.net/phenAtmoPrecipitation/> .
@prefix sopropp: <http://sweetontology.net/propPressure/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorel: <http://sweetontology.net/rela/> .
@prefix sopropsp: <http://sweetontology.net/propSpeed/> .
@prefix soprocw: <http://sweetontology.net/procWave/> .
@prefix sophatmow: <http://sweetontology.net/phenAtmoWind/> .
@prefix sostp: <http://sweetontology.net/statePhysical/> .
@base <http://sweetontology.net/reprSciLaw> .

<http://sweetontology.net/reprSciLaw> rdf:type owl:Ontology ;
                                       owl:imports <http://sweetontology.net/phenAtmoPrecipitation> ,
                                                   <http://sweetontology.net/phenAtmoWind> ,
                                                   <http://sweetontology.net/procWave> ,
                                                   <http://sweetontology.net/propPressure> ,
                                                   <http://sweetontology.net/propSpeed> ,
                                                   <http://sweetontology.net/rela> ,
                                                   <http://sweetontology.net/repr> ,
                                                   <http://sweetontology.net/reprSciModel> ,
                                                   <http://sweetontology.net/statePhysical> ;
                                       rdfs:label "SWEET Ontology Representation Scientific Law" ;
                                       dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                       owl:versionInfo "3.6.0" .

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

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


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


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


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


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

###  http://sweetontology.net/phenAtmoPrecipitation/Rainfall
sophatmopc:Rainfall rdf:type owl:Class .


###  http://sweetontology.net/phenAtmoWind/Wind
sophatmow:Wind rdf:type owl:Class .


###  http://sweetontology.net/procWave/Attenuation
soprocw:Attenuation rdf:type owl:Class .


###  http://sweetontology.net/propPressure/Pressure
sopropp:Pressure rdf:type owl:Class .


###  http://sweetontology.net/propSpeed/Velocity
sopropsp:Velocity rdf:type owl:Class .


###  http://sweetontology.net/reprSciLaw/BernoulliTheorem
sorepsl:BernoulliTheorem rdf:type owl:Class ;
                     rdfs:subClassOf sorepsl:PhysicalLaw ,
                                     [ rdf:type owl:Restriction ;
                                       owl:onProperty sorel:hasProperty ;
                                       owl:someValuesFrom sopropsp:Velocity
                                     ] ;
                     rdfs:label "bernoulli theorem"@en .


###  http://sweetontology.net/reprSciLaw/BouguerLaw
sorepsl:BouguerLaw rdf:type owl:Class ;
               rdfs:subClassOf sorepsl:EmpiricalLaw ,
                               [ rdf:type owl:Restriction ;
                                 owl:onProperty sorel:hasProcess ;
                                 owl:allValuesFrom soprocw:Attenuation
                               ] ;
               rdfs:label "bouguer law"@en .


###  http://sweetontology.net/reprSciLaw/BuysBallotLaw
sorepsl:BuysBallotLaw rdf:type owl:Class ;
                  rdfs:subClassOf sorepsl:EmpiricalLaw ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorel:hasProperty ;
                                    owl:someValuesFrom sopropp:Pressure
                                  ] ,
                                  [ rdf:type owl:Restriction ;
                                    owl:onProperty sorel:hasPhenomena ;
                                    owl:allValuesFrom sophatmow:Wind
                                  ] ;
                  rdfs:label "buys ballot law"@en .


###  http://sweetontology.net/reprSciLaw/DarcysLaw
sorepsl:DarcysLaw rdf:type owl:Class ;
              rdfs:subClassOf sorepsl:EmpiricalLaw ;
              rdfs:label "darcys law"@en .


###  http://sweetontology.net/reprSciLaw/EmpiricalLaw
sorepsl:EmpiricalLaw rdf:type owl:Class ;
                 rdfs:subClassOf sorep:Knowledge ;
                 rdfs:label "empirical law"@en .


###  http://sweetontology.net/reprSciLaw/HookesLaw
sorepsl:HookesLaw rdf:type owl:Class ;
              rdfs:subClassOf sorepsl:EmpiricalLaw ;
              rdfs:label "hookes law"@en .


###  http://sweetontology.net/reprSciLaw/IdealGasLaw
sorepsl:IdealGasLaw rdf:type owl:Class ;
                rdfs:subClassOf sorepsl:PhysicalLaw ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty sorel:hasState ;
                                  owl:hasValue sostp:Gas
                                ] ;
                rdfs:label "ideal gas law"@en .


###  http://sweetontology.net/reprSciLaw/MathematicalTheorem
sorepsl:MathematicalTheorem rdf:type owl:Class ;
                        rdfs:subClassOf sorep:Knowledge ;
                        rdfs:label "mathematical theorem"@en .


###  http://sweetontology.net/reprSciLaw/PhysicalLaw
sorepsl:PhysicalLaw rdf:type owl:Class ;
                rdfs:subClassOf sorep:Knowledge ;
                rdfs:label "physical law"@en .


###  http://sweetontology.net/reprSciLaw/StokesLaw
sorepsl:StokesLaw rdf:type owl:Class ;
              rdfs:subClassOf sorepsmo:PhysicalApproximation ;
              rdfs:label "stokes law"@en .


###  http://sweetontology.net/reprSciLaw/WalthersLaw
sorepsl:WalthersLaw rdf:type owl:Class ;
                rdfs:subClassOf sorepsl:EmpiricalLaw ;
                rdfs:label "walthers law"@en .


###  http://sweetontology.net/reprSciLaw/Z_RRelation
sorepsl:Z_RRelation rdf:type owl:Class ;
                rdfs:subClassOf sorepsl:EmpiricalLaw ,
                                [ rdf:type owl:Restriction ;
                                  owl:onProperty sorel:hasPhenomena ;
                                  owl:allValuesFrom sophatmopc:Rainfall
                                ] ;
                rdfs:label "z-r relation"@en .


###  http://sweetontology.net/reprSciModel/PhysicalApproximation
sorepsmo:PhysicalApproximation rdf:type owl:Class .


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

###  http://sweetontology.net/statePhysical/Gas
sostp:Gas rdf:type owl:NamedIndividual .


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