@prefix : <http://sweetontology.net/reprMathFunctionOrthogonal/> .
@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 sorepmf: <http://sweetontology.net/reprMathFunction/> .
@prefix sorepm: <http://sweetontology.net/reprMath/> .
@prefix sorepmfo: <http://sweetontology.net/reprMathFunctionOrthogonal/> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .
@prefix sorep: <http://sweetontology.net/repr/> .
@prefix sorelm: <http://sweetontology.net/relaMath/> .
@base <http://sweetontology.net/reprMathFunctionOrthogonal> .

<http://sweetontology.net/reprMathFunctionOrthogonal> rdf:type owl:Ontology ;
                                                       owl:imports <http://sweetontology.net/relaMath> ,
                                                                   <http://sweetontology.net/repr> ,
                                                                   <http://sweetontology.net/reprMath> ;
                                                       rdfs:label "SWEET Ontology Representation Mathematics Function Orthogonal" ;
                                                       dcterms:license <https://creativecommons.org/publicdomain/zero/1.0/> ;
                                                       owl:versionInfo "3.6.0" .

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

###  http://sweetontology.net/reprMathFunctionOrthogonal/Coefficient
sorepmfo:Coefficient rdf:type owl:Class ;
                 rdfs:subClassOf sorepm:Scalar ;
                 rdfs:label "coefficient"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/Degree
sorepmfo:Degree rdf:type owl:Class ;
            rdfs:subClassOf sorepmfo:Harmonic ;
            rdfs:label "degree"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/Fourier
sorepmfo:Fourier rdf:type owl:Class ;
             owl:equivalentClass sorepmfo:FourierFunction ;
             rdfs:subClassOf sorepmf:ExponentialFunction ;
             rdfs:label "fourier"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/FourierFunction
sorepmfo:FourierFunction rdf:type owl:Class ;
                     rdfs:label "fourier function"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/Harmonic
sorepmfo:Harmonic rdf:type owl:Class ;
              rdfs:subClassOf sorep:Coordinate ;
              rdfs:label "harmonic"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/Mode
sorepmfo:Mode rdf:type owl:Class ;
          rdfs:subClassOf sorepmfo:Harmonic ;
          rdfs:label "mode"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/Order
sorepmfo:Order rdf:type owl:Class ;
           rdfs:subClassOf sorepmfo:Harmonic ;
           rdfs:label "order"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/OrthogonalFunction
sorepmfo:OrthogonalFunction rdf:type owl:Class ;
                        rdfs:subClassOf sorepmf:BasisFunction ;
                        rdfs:label "orthogonal function"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/SphericalHarmonic
sorepmfo:SphericalHarmonic rdf:type owl:Class ;
                       owl:equivalentClass sorepmfo:SphericalHarmonicFunction ;
                       rdfs:subClassOf sorepmf:TranscendentalFunction ,
                                       sorepmfo:OrthogonalFunction ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty sorelm:hasDegree ;
                                         owl:cardinality "1"^^xsd:nonNegativeInteger
                                       ] ,
                                       [ rdf:type owl:Restriction ;
                                         owl:onProperty sorelm:hasOrder ;
                                         owl:cardinality "1"^^xsd:nonNegativeInteger
                                       ] ;
                       rdfs:label "spherical harmonic"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/SphericalHarmonicFunction
sorepmfo:SphericalHarmonicFunction rdf:type owl:Class ;
                               rdfs:label "spherical harmonic function"@en .


###  http://sweetontology.net/reprMathFunctionOrthogonal/WaveletFunction
sorepmfo:WaveletFunction rdf:type owl:Class ;
                     rdfs:subClassOf sorepmfo:OrthogonalFunction ;
                     rdfs:label "wavelet function"@en .

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