Commits

Flávio Coelho committed 4d295a7

added computational model types
added control strategies

  • Participants
  • Parent commits 40eff44

Comments (0)

Files changed (1)

EpidemicModeling/EpidemicModeling.owl

 
 
 <Ontology xmlns="http://www.w3.org/2002/07/owl#"
-     xml:base="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl"
+     xml:base="https://bitbucket.org/fccoelho/math-model-ontology/raw/2973f8304c08/Modeling%20Ontology/MathModels.owl"
      xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
      xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
      xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
      xmlns:xml="http://www.w3.org/XML/1998/namespace"
-     ontologyIRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl">
+     ontologyIRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/2973f8304c08/Modeling%20Ontology/MathModels.owl">
+    <Prefix name="daml" IRI="http://www.daml.org/2001/03/daml+oil#"/>
+    <Prefix name="MathML" IRI="http://www.w3.org/Math/XMLSchema/mathml3/#"/>
+    <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
+    <Prefix name="ont" IRI="http://www.co-ode.org/ontologies/ont.owl#"/>
     <Prefix name="xsd" IRI="http://www.w3.org/2001/XMLSchema#"/>
+    <Prefix name="j.0" IRI="http://localhost/default#Mathematical%20"/>
     <Prefix name="owl" IRI="http://www.w3.org/2002/07/owl#"/>
-    <Prefix name="" IRI="http://www.w3.org/2002/07/owl#"/>
-    <Prefix name="rdf" IRI="http://www.w3.org/1999/02/22-rdf-syntax-ns#"/>
+    <Prefix name="ace_lexicon" IRI="http://attempto.ifi.uzh.ch/ace_lexicon#"/>
+    <Prefix name="oboInOwl" IRI="http://www.geneontology.org/formats/oboInOwl#"/>
+    <Prefix name="obo" IRI="http://purl.obolibrary.org/obo/"/>
+    <Prefix name="" IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#"/>
     <Prefix name="rdfs" IRI="http://www.w3.org/2000/01/rdf-schema#"/>
-    <Import>https://bitbucket.org/fccoelho/math-model-ontology/raw/2973f8304c08/Modeling%20Ontology/MathModels.owl</Import>
+    <Prefix name="dc" IRI="http://purl.org/dc/elements/1.1/"/>
+    <Import>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication</Import>
+    <Import>http://purl.obolibrary.org/obo/ido.owl</Import>
     <Annotation>
-        <AnnotationProperty IRI="http://purl.org/dc/elements/1.1/title"/>
-        <Literal datatypeIRI="&xsd;string">Ontology of Mathematical Epidemic Models</Literal>
+        <AnnotationProperty abbreviatedIRI="dc:title"/>
+        <Literal datatypeIRI="&xsd;string">Mathematical Model Ontology</Literal>
     </Annotation>
     <Annotation>
-        <AnnotationProperty IRI="http://purl.org/dc/elements/1.1/creator"/>
-        <Literal datatypeIRI="&xsd;string">Flávio Codeço Coelho</Literal>
+        <AnnotationProperty abbreviatedIRI="dc:creator"/>
+        <Literal datatypeIRI="&xsd;string">Flavio Codeço Coelho</Literal>
     </Annotation>
     <Annotation>
-        <AnnotationProperty IRI="http://purl.org/dc/elements/1.1/creator"/>
+        <AnnotationProperty abbreviatedIRI="dc:creator"/>
+        <Literal datatypeIRI="&xsd;string">Claudia Torres Codeco</Literal>
+    </Annotation>
+    <Annotation>
+        <AnnotationProperty abbreviatedIRI="dc:description"/>
+        <Literal datatypeIRI="&xsd;string">This Ontology aims to describe the field of mathematical modeling, and provide a comprehensive classification of existing works of modeling</Literal>
+    </Annotation>
+    <Annotation>
+        <AnnotationProperty abbreviatedIRI="dc:creator"/>
         <Literal datatypeIRI="&xsd;string">Renato Rocha Souza</Literal>
     </Annotation>
-    <Annotation>
-        <AnnotationProperty IRI="http://purl.org/dc/elements/1.1/creator"/>
-        <Literal datatypeIRI="&xsd;string">Cláudia Torres Codeço</Literal>
-    </Annotation>
-    <Annotation>
-        <AnnotationProperty IRI="http://purl.org/dc/elements/1.1/language"/>
-        <Literal datatypeIRI="&xsd;string">english</Literal>
-    </Annotation>
     <Declaration>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class abbreviatedIRI="ont:Area_based"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Continuous_Space"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Continuous_Time"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Continuous_Time_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Discrete_Space"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Discrete_Time"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Discrete_Time_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Irregular_Steps"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Mathematical_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Modelling_Domain"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Point_based"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Regular_Steps"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Space"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Static_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI="ont:Time"/>
+    </Declaration>
+    <Declaration>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Agent_Based_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Algebraic_Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Algorithmic"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Cellular_Automaton"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Complex"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Computational_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Continuity_Partition"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Continuous"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Deterministic_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Difference_Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Differential-algebraic_Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Differential_Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Discrete"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Equilibria"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Individual_Based_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Integer"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Integral_Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Integro-Differential_Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Mathematical"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Network_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Nonrandom"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Number_Domain"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#ODE_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#PDE_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Parameter"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Partial_Differential_Equation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Random"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Randomness_Partition"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Rational"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Real"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Representation"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Stable_Equilibrium"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Stochastic_Model"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Susceptible_Infected_Recovered"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Unstable_Equilibrium"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Value_Partition"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="#Variable"/>
     </Declaration>
     <Declaration>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Air_borne"/>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Water_borne"/>
     </Declaration>
     <Declaration>
-        <Class IRI="#SEI"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Biological_control"/>
     </Declaration>
     <Declaration>
-        <Class IRI="#SEIR"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Chemical_control"/>
     </Declaration>
     <Declaration>
-        <Class IRI="#SEIS"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Control_Strategies"/>
     </Declaration>
     <Declaration>
-        <Class IRI="#SIRS"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
     </Declaration>
     <Declaration>
-        <Class IRI="#SIS"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Isolation"/>
     </Declaration>
     <Declaration>
-        <Class IRI="#Susceptible_Infected"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Physical_control"/>
     </Declaration>
     <Declaration>
-        <ObjectProperty IRI="#hasImmunologicalState"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Prophylaxis"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Quarantine"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEI"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEIR"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEIS"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SIRS"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SIS"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Susceptible_Infected"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Treatment"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vaccination"/>
+    </Declaration>
+    <Declaration>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vector_Based"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty abbreviatedIRI="ont:hasDimension"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty abbreviatedIRI="ont:hasSpace"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty abbreviatedIRI="ont:hasTime"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#componentOf"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasComponent"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasContinuity"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasDomain"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasEquation"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasEquilibria"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasParameter"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasRandomness"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasRepresentation"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasSource"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#hasVariable"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#parameterOf"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#sourceOf"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="#variableOf"/>
+    </Declaration>
+    <Declaration>
+        <ObjectProperty IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#hasImmunologicalState"/>
+    </Declaration>
+    <Declaration>
+        <DataProperty IRI="#IsHomogeneous"/>
+    </Declaration>
+    <Declaration>
+        <DataProperty IRI="#hasComplexValue"/>
+    </Declaration>
+    <Declaration>
+        <DataProperty IRI="#hasIntegerValue"/>
+    </Declaration>
+    <Declaration>
+        <DataProperty IRI="#hasRealValue"/>
+    </Declaration>
+    <Declaration>
+        <DataProperty IRI="#hasValue"/>
+    </Declaration>
+    <Declaration>
+        <DataProperty IRI="#isAutonomous"/>
+    </Declaration>
+    <Declaration>
+        <DataProperty IRI="#isLinear"/>
     </Declaration>
     <Declaration>
         <NamedIndividual IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Adams2006"/>
     <Declaration>
         <NamedIndividual IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Zhang_C"/>
     </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_pl"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_sg"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:TV_pl"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:TV_sg"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:TV_vbg"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000118"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="dc:coverage"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="dc:creator"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="dc:description"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="dc:title"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="rdfs:comment"/>
+    </Declaration>
+    <Declaration>
+        <AnnotationProperty abbreviatedIRI="rdfs:seeAlso"/>
+    </Declaration>
+    <EquivalentClasses>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+        <ObjectIntersectionOf>
+            <Class abbreviatedIRI="ont:Mathematical_Model"/>
+            <ObjectSomeValuesFrom>
+                <ObjectProperty abbreviatedIRI="ont:hasTime"/>
+                <Class abbreviatedIRI="ont:Time"/>
+            </ObjectSomeValuesFrom>
+        </ObjectIntersectionOf>
+    </EquivalentClasses>
+    <EquivalentClasses>
+        <Class abbreviatedIRI="ont:Static_Model"/>
+        <ObjectIntersectionOf>
+            <Class abbreviatedIRI="ont:Mathematical_Model"/>
+            <ObjectComplementOf>
+                <Class abbreviatedIRI="ont:Dynamic_Model"/>
+            </ObjectComplementOf>
+        </ObjectIntersectionOf>
+    </EquivalentClasses>
+    <EquivalentClasses>
+        <Class IRI="#Continuity_Partition"/>
+        <ObjectUnionOf>
+            <Class IRI="#Continuous"/>
+            <Class IRI="#Discrete"/>
+        </ObjectUnionOf>
+    </EquivalentClasses>
+    <EquivalentClasses>
+        <Class IRI="#ODE_Model"/>
+        <ObjectIntersectionOf>
+            <ObjectUnionOf>
+                <Class abbreviatedIRI="ont:Continuous_Time_Model"/>
+                <ObjectAllValuesFrom>
+                    <ObjectProperty IRI="#hasContinuity"/>
+                    <Class IRI="#Continuous"/>
+                </ObjectAllValuesFrom>
+            </ObjectUnionOf>
+            <ObjectSomeValuesFrom>
+                <ObjectProperty IRI="#hasEquation"/>
+                <Class IRI="#Differential_Equation"/>
+            </ObjectSomeValuesFrom>
+            <ObjectAllValuesFrom>
+                <ObjectProperty IRI="#hasRepresentation"/>
+                <Class IRI="#Mathematical"/>
+            </ObjectAllValuesFrom>
+        </ObjectIntersectionOf>
+    </EquivalentClasses>
+    <EquivalentClasses>
+        <Class IRI="#Randomness_Partition"/>
+        <ObjectUnionOf>
+            <Class IRI="#Nonrandom"/>
+            <Class IRI="#Random"/>
+        </ObjectUnionOf>
+    </EquivalentClasses>
+    <EquivalentClasses>
+        <Class IRI="#Stochastic_Model"/>
+        <ObjectIntersectionOf>
+            <Class abbreviatedIRI="ont:Mathematical_Model"/>
+            <ObjectSomeValuesFrom>
+                <ObjectProperty IRI="#hasEquation"/>
+                <ObjectIntersectionOf>
+                    <Class IRI="#Equation"/>
+                    <ObjectSomeValuesFrom>
+                        <ObjectProperty IRI="#hasVariable"/>
+                        <ObjectIntersectionOf>
+                            <Class IRI="#Variable"/>
+                            <ObjectSomeValuesFrom>
+                                <ObjectProperty IRI="#hasRandomness"/>
+                                <Class IRI="#Random"/>
+                            </ObjectSomeValuesFrom>
+                        </ObjectIntersectionOf>
+                    </ObjectSomeValuesFrom>
+                </ObjectIntersectionOf>
+            </ObjectSomeValuesFrom>
+        </ObjectIntersectionOf>
+    </EquivalentClasses>
     <EquivalentClasses>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Recovered"/>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Removed"/>
     </EquivalentClasses>
+    <EquivalentClasses>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
+        <ObjectUnionOf>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Isolation"/>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Prophylaxis"/>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Quarantine"/>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Treatment"/>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vaccination"/>
+        </ObjectUnionOf>
+    </EquivalentClasses>
+    <EquivalentClasses>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Isolation"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Quarantine"/>
+    </EquivalentClasses>
+    <EquivalentClasses>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vector_Based"/>
+        <ObjectUnionOf>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Biological_control"/>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Chemical_control"/>
+            <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Physical_control"/>
+        </ObjectUnionOf>
+    </EquivalentClasses>
     <SubClassOf>
-        <Class IRI="http://www.co-ode.org/ontologies/ont.owl#Modelling_Domain"/>
-        <Class abbreviatedIRI=":Thing"/>
+        <Class abbreviatedIRI="ont:Area_based"/>
+        <Class abbreviatedIRI="ont:Discrete_Space"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
-        <Class IRI="http://www.co-ode.org/ontologies/ont.owl#Dynamic_Model"/>
+        <Class abbreviatedIRI="ont:Continuous_Space"/>
+        <Class abbreviatedIRI="ont:Space"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class abbreviatedIRI="ont:Continuous_Time"/>
+        <Class abbreviatedIRI="ont:Time"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Continuous_Time"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasContinuity"/>
+            <Class IRI="#Continuous"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Continuous_Time_Model"/>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Continuous_Time_Model"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasEquation"/>
+            <ObjectUnionOf>
+                <Class IRI="#Differential-algebraic_Equation"/>
+                <Class IRI="#Differential_Equation"/>
+                <Class IRI="#Partial_Differential_Equation"/>
+            </ObjectUnionOf>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Continuous_Time_Model"/>
+        <ObjectAllValuesFrom>
+            <ObjectProperty abbreviatedIRI="ont:hasTime"/>
+            <Class abbreviatedIRI="ont:Continuous_Time"/>
+        </ObjectAllValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Discrete_Space"/>
+        <Class abbreviatedIRI="ont:Space"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Discrete_Time"/>
+        <Class abbreviatedIRI="ont:Time"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Discrete_Time_Model"/>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Discrete_Time_Model"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasEquation"/>
+            <Class IRI="#Difference_Equation"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Discrete_Time_Model"/>
+        <ObjectAllValuesFrom>
+            <ObjectProperty abbreviatedIRI="ont:hasTime"/>
+            <Class abbreviatedIRI="ont:Discrete_Time"/>
+        </ObjectAllValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasEquilibria"/>
+            <Class IRI="#Equilibria"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Irregular_Steps"/>
+        <Class abbreviatedIRI="ont:Discrete_Time"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Mathematical_Model"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasRepresentation"/>
+            <Class IRI="#Mathematical"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Modelling_Domain"/>
+        <Class abbreviatedIRI="owl:Thing"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Point_based"/>
+        <Class abbreviatedIRI="ont:Discrete_Space"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI="ont:Regular_Steps"/>
+        <Class abbreviatedIRI="ont:Discrete_Time"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
         <ObjectSomeValuesFrom>
             <ObjectProperty IRI="http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#contains"/>
             <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Immunological_State"/>
         </ObjectSomeValuesFrom>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Susceptible_Infected_Recovered"/>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class abbreviatedIRI=":Susceptible_Infected_Recovered"/>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Susceptible_Infected_Recovered"/>
+        <Class abbreviatedIRI=":Susceptible_Infected_Recovered"/>
         <ObjectAllValuesFrom>
             <ObjectProperty IRI="http://www.obofoundry.org/ro/ro.owl#contains"/>
             <ObjectIntersectionOf>
         </ObjectAllValuesFrom>
     </SubClassOf>
     <SubClassOf>
+        <Class IRI="#Agent_Based_Model"/>
+        <Class IRI="#Individual_Based_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Algebraic_Equation"/>
+        <Class IRI="#Equation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Algorithmic"/>
+        <Class IRI="#Representation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Cellular_Automaton"/>
+        <Class IRI="#Computational_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Complex"/>
+        <Class IRI="#Number_Domain"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Computational_Model"/>
+        <ObjectAllValuesFrom>
+            <ObjectProperty IRI="#hasRepresentation"/>
+            <Class IRI="#Algorithmic"/>
+        </ObjectAllValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Continuity_Partition"/>
+        <Class IRI="#Value_Partition"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Continuous"/>
+        <Class IRI="#Continuity_Partition"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Deterministic_Model"/>
+        <ObjectIntersectionOf>
+            <Class abbreviatedIRI="ont:Mathematical_Model"/>
+            <ObjectSomeValuesFrom>
+                <ObjectProperty IRI="#hasEquation"/>
+                <ObjectIntersectionOf>
+                    <Class IRI="#Equation"/>
+                    <ObjectSomeValuesFrom>
+                        <ObjectProperty IRI="#hasVariable"/>
+                        <ObjectIntersectionOf>
+                            <Class IRI="#Variable"/>
+                            <ObjectAllValuesFrom>
+                                <ObjectProperty IRI="#hasRandomness"/>
+                                <Class IRI="#Nonrandom"/>
+                            </ObjectAllValuesFrom>
+                        </ObjectIntersectionOf>
+                    </ObjectSomeValuesFrom>
+                </ObjectIntersectionOf>
+            </ObjectSomeValuesFrom>
+        </ObjectIntersectionOf>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Difference_Equation"/>
+        <Class IRI="#Equation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Differential-algebraic_Equation"/>
+        <Class IRI="#Equation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Differential_Equation"/>
+        <Class IRI="#Equation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Discrete"/>
+        <Class IRI="#Continuity_Partition"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Equation"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasParameter"/>
+            <Class IRI="#Parameter"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Equation"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasVariable"/>
+            <Class IRI="#Variable"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Individual_Based_Model"/>
+        <Class IRI="#Computational_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Integer"/>
+        <Class IRI="#Number_Domain"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Integral_Equation"/>
+        <Class IRI="#Equation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Integro-Differential_Equation"/>
+        <Class IRI="#Equation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Mathematical"/>
+        <Class IRI="#Representation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Mathematical"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasEquation"/>
+            <Class IRI="#Equation"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Network_Model"/>
+        <Class IRI="#Computational_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Nonrandom"/>
+        <Class IRI="#Randomness_Partition"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#PDE_Model"/>
+        <Class abbreviatedIRI="ont:Mathematical_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#PDE_Model"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasEquation"/>
+            <ObjectIntersectionOf>
+                <Class IRI="#Partial_Differential_Equation"/>
+                <ObjectSomeValuesFrom>
+                    <ObjectProperty IRI="#hasVariable"/>
+                    <ObjectIntersectionOf>
+                        <Class IRI="#Variable"/>
+                        <ObjectAllValuesFrom>
+                            <ObjectProperty IRI="#hasContinuity"/>
+                            <Class IRI="#Continuous"/>
+                        </ObjectAllValuesFrom>
+                    </ObjectIntersectionOf>
+                </ObjectSomeValuesFrom>
+            </ObjectIntersectionOf>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Partial_Differential_Equation"/>
+        <Class IRI="#Equation"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Random"/>
+        <Class IRI="#Randomness_Partition"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Randomness_Partition"/>
+        <Class IRI="#Value_Partition"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Rational"/>
+        <Class IRI="#Number_Domain"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Real"/>
+        <Class IRI="#Number_Domain"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Stable_Equilibrium"/>
+        <Class IRI="#Equilibria"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Unstable_Equilibrium"/>
+        <Class IRI="#Equilibria"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Variable"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasContinuity"/>
+            <Class IRI="#Continuity_Partition"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Variable"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasDomain"/>
+            <Class IRI="#Number_Domain"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="#Variable"/>
+        <ObjectSomeValuesFrom>
+            <ObjectProperty IRI="#hasRandomness"/>
+            <Class IRI="#Randomness_Partition"/>
+        </ObjectSomeValuesFrom>
+    </SubClassOf>
+    <SubClassOf>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Air_borne"/>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Indirect_transmission"/>
     </SubClassOf>
     <SubClassOf>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Host"/>
         <ObjectSomeValuesFrom>
-            <ObjectProperty IRI="#hasImmunologicalState"/>
+            <ObjectProperty IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#hasImmunologicalState"/>
             <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Immunological_State"/>
         </ObjectSomeValuesFrom>
     </SubClassOf>
     </SubClassOf>
     <SubClassOf>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Mathematical_Epidemiology"/>
-        <Class IRI="http://www.co-ode.org/ontologies/ont.owl#Modelling_Domain"/>
+        <Class abbreviatedIRI="ont:Modelling_Domain"/>
     </SubClassOf>
     <SubClassOf>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Mathematical_Epidemiology"/>
     <SubClassOf>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Vector"/>
         <ObjectSomeValuesFrom>
-            <ObjectProperty IRI="#hasImmunologicalState"/>
+            <ObjectProperty IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#hasImmunologicalState"/>
             <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Immunological_State"/>
         </ObjectSomeValuesFrom>
     </SubClassOf>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Indirect_transmission"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SEI"/>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Biological_control"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vector_Based"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SEIR"/>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Chemical_control"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vector_Based"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SEIR"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Control_Strategies"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Mathematical_Epidemiology_Core_Concepts"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Control_Strategies"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Isolation"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Physical_control"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vector_Based"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Prophylaxis"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Quarantine"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEI"/>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEIR"/>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEIR"/>
         <ObjectAllValuesFrom>
             <ObjectProperty IRI="http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#contains"/>
             <ObjectIntersectionOf>
         </ObjectAllValuesFrom>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SEIS"/>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEIS"/>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SEIS"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SEIS"/>
         <ObjectAllValuesFrom>
             <ObjectProperty IRI="http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#contains"/>
             <ObjectIntersectionOf>
         </ObjectAllValuesFrom>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SIRS"/>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SIRS"/>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SIRS"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SIRS"/>
         <ObjectAllValuesFrom>
             <ObjectProperty IRI="http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#contains"/>
             <ObjectIntersectionOf>
         </ObjectAllValuesFrom>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SIS"/>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SIS"/>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#SIS"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#SIS"/>
         <ObjectAllValuesFrom>
             <ObjectProperty IRI="http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#contains"/>
             <ObjectIntersectionOf>
         </ObjectAllValuesFrom>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#Susceptible_Infected"/>
-        <Class IRI="http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#Epidemic_Model"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Susceptible_Infected"/>
+        <Class abbreviatedIRI=":Epidemic_Model"/>
     </SubClassOf>
     <SubClassOf>
-        <Class IRI="#Susceptible_Infected"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Susceptible_Infected"/>
         <ObjectAllValuesFrom>
             <ObjectProperty IRI="http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#contains"/>
             <ObjectIntersectionOf>
             </ObjectIntersectionOf>
         </ObjectAllValuesFrom>
     </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Treatment"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vaccination"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Host_Based"/>
+    </SubClassOf>
+    <SubClassOf>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Vector_Based"/>
+        <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#Control_Strategies"/>
+    </SubClassOf>
+    <DisjointClasses>
+        <Class abbreviatedIRI="ont:Continuous_Time"/>
+        <Class abbreviatedIRI="ont:Discrete_Time"/>
+    </DisjointClasses>
+    <DisjointClasses>
+        <Class abbreviatedIRI="ont:Continuous_Time_Model"/>
+        <Class abbreviatedIRI="ont:Discrete_Time_Model"/>
+    </DisjointClasses>
+    <DisjointClasses>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+        <Class abbreviatedIRI="ont:Static_Model"/>
+    </DisjointClasses>
+    <DisjointClasses>
+        <Class abbreviatedIRI="ont:Irregular_Steps"/>
+        <Class abbreviatedIRI="ont:Regular_Steps"/>
+    </DisjointClasses>
+    <DisjointClasses>
+        <Class IRI="#Continuous"/>
+        <Class IRI="#Discrete"/>
+    </DisjointClasses>
+    <DisjointClasses>
+        <Class IRI="#Nonrandom"/>
+        <Class IRI="#Random"/>
+    </DisjointClasses>
+    <DisjointClasses>
+        <Class IRI="#Parameter"/>
+        <Class IRI="#Variable"/>
+    </DisjointClasses>
     <ClassAssertion>
         <Class IRI="http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#Article"/>
         <NamedIndividual IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Adams2006"/>
         <NamedIndividual IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Zhang_C"/>
         <NamedIndividual IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Adams2006"/>
     </ObjectPropertyAssertion>
+    <SubObjectPropertyOf>
+        <ObjectProperty abbreviatedIRI="ont:hasSpace"/>
+        <ObjectProperty abbreviatedIRI="ont:hasDimension"/>
+    </SubObjectPropertyOf>
+    <SubObjectPropertyOf>
+        <ObjectProperty abbreviatedIRI="ont:hasTime"/>
+        <ObjectProperty abbreviatedIRI="ont:hasDimension"/>
+    </SubObjectPropertyOf>
+    <SubObjectPropertyOf>
+        <ObjectProperty IRI="#hasParameter"/>
+        <ObjectProperty IRI="#hasComponent"/>
+    </SubObjectPropertyOf>
+    <SubObjectPropertyOf>
+        <ObjectProperty IRI="#hasVariable"/>
+        <ObjectProperty IRI="#hasComponent"/>
+    </SubObjectPropertyOf>
+    <SubObjectPropertyOf>
+        <ObjectProperty IRI="#parameterOf"/>
+        <ObjectProperty IRI="#componentOf"/>
+    </SubObjectPropertyOf>
+    <SubObjectPropertyOf>
+        <ObjectProperty IRI="#variableOf"/>
+        <ObjectProperty IRI="#componentOf"/>
+    </SubObjectPropertyOf>
+    <InverseObjectProperties>
+        <ObjectProperty IRI="#componentOf"/>
+        <ObjectProperty IRI="#hasComponent"/>
+    </InverseObjectProperties>
+    <InverseObjectProperties>
+        <ObjectProperty IRI="#parameterOf"/>
+        <ObjectProperty IRI="#hasParameter"/>
+    </InverseObjectProperties>
+    <InverseObjectProperties>
+        <ObjectProperty IRI="#sourceOf"/>
+        <ObjectProperty IRI="#hasSource"/>
+    </InverseObjectProperties>
+    <InverseObjectProperties>
+        <ObjectProperty IRI="#variableOf"/>
+        <ObjectProperty IRI="#hasVariable"/>
+    </InverseObjectProperties>
+    <TransitiveObjectProperty>
+        <ObjectProperty IRI="#hasContinuity"/>
+    </TransitiveObjectProperty>
+    <TransitiveObjectProperty>
+        <ObjectProperty IRI="#hasRandomness"/>
+    </TransitiveObjectProperty>
     <ObjectPropertyDomain>
-        <ObjectProperty IRI="#hasImmunologicalState"/>
+        <ObjectProperty abbreviatedIRI="ont:hasDimension"/>
+        <Class abbreviatedIRI="ont:Mathematical_Model"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasComponent"/>
+        <Class IRI="#Equation"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasContinuity"/>
+        <Class IRI="#Variable"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasEquation"/>
+        <Class abbreviatedIRI="ont:Mathematical_Model"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasEquilibria"/>
+        <Class abbreviatedIRI="ont:Dynamic_Model"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasParameter"/>
+        <Class IRI="#Equation"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasRandomness"/>
+        <Class IRI="#Variable"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasRepresentation"/>
+        <Class abbreviatedIRI="ont:Mathematical_Model"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasRepresentation"/>
+        <Class IRI="#Computational_Model"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="#hasVariable"/>
+        <Class IRI="#Equation"/>
+    </ObjectPropertyDomain>
+    <ObjectPropertyDomain>
+        <ObjectProperty IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#hasImmunologicalState"/>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Host"/>
     </ObjectPropertyDomain>
     <ObjectPropertyDomain>
-        <ObjectProperty IRI="#hasImmunologicalState"/>
+        <ObjectProperty IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#hasImmunologicalState"/>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Vector"/>
     </ObjectPropertyDomain>
     <ObjectPropertyRange>
-        <ObjectProperty IRI="#hasImmunologicalState"/>
+        <ObjectProperty abbreviatedIRI="ont:hasDimension"/>
+        <Class abbreviatedIRI="ont:Space"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty abbreviatedIRI="ont:hasDimension"/>
+        <Class abbreviatedIRI="ont:Time"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasContinuity"/>
+        <Class IRI="#Continuity_Partition"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasDomain"/>
+        <Class IRI="#Complex"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasDomain"/>
+        <Class IRI="#Integer"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasDomain"/>
+        <Class IRI="#Rational"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasDomain"/>
+        <Class IRI="#Real"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasEquation"/>
+        <Class IRI="#Equation"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasEquilibria"/>
+        <Class IRI="#Equilibria"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasParameter"/>
+        <Class IRI="#Parameter"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasRandomness"/>
+        <Class IRI="#Randomness_Partition"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasRepresentation"/>
+        <Class IRI="#Algorithmic"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasRepresentation"/>
+        <Class IRI="#Mathematical"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="#hasVariable"/>
+        <Class IRI="#Variable"/>
+    </ObjectPropertyRange>
+    <ObjectPropertyRange>
+        <ObjectProperty IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/tip/EpidemicModeling/EpidemicModeling.owl#hasImmunologicalState"/>
         <Class IRI="https://bitbucket.org/fccoelho/math-model-ontology/raw/795d675c89cd/EpidemicModeling/EpidemicModeling.owl#Immunological_State"/>
     </ObjectPropertyRange>
-    <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#CN_pl"/>
+    <SubDataPropertyOf>
+        <DataProperty IRI="#hasComplexValue"/>
+        <DataProperty IRI="#hasValue"/>
+    </SubDataPropertyOf>
+    <SubDataPropertyOf>
+        <DataProperty IRI="#hasIntegerValue"/>
+        <DataProperty IRI="#hasValue"/>
+    </SubDataPropertyOf>
+    <SubDataPropertyOf>
+        <DataProperty IRI="#hasRealValue"/>
+        <DataProperty IRI="#hasValue"/>
+    </SubDataPropertyOf>
+    <FunctionalDataProperty>
+        <DataProperty IRI="#IsHomogeneous"/>
+    </FunctionalDataProperty>
+    <FunctionalDataProperty>
+        <DataProperty IRI="#hasValue"/>
+    </FunctionalDataProperty>
+    <FunctionalDataProperty>
+        <DataProperty IRI="#isAutonomous"/>
+    </FunctionalDataProperty>
+    <FunctionalDataProperty>
+        <DataProperty IRI="#isLinear"/>
+    </FunctionalDataProperty>
+    <DataPropertyDomain>
+        <DataProperty IRI="#hasValue"/>
+        <Class IRI="#Parameter"/>
+    </DataPropertyDomain>
+    <DataPropertyRange>
+        <DataProperty IRI="#IsHomogeneous"/>
+        <Datatype abbreviatedIRI="xsd:boolean"/>
+    </DataPropertyRange>
+    <DataPropertyRange>
+        <DataProperty IRI="#hasIntegerValue"/>
+        <Datatype abbreviatedIRI="xsd:integer"/>
+    </DataPropertyRange>
+    <DataPropertyRange>
+        <DataProperty IRI="#hasRealValue"/>
+        <Datatype abbreviatedIRI="xsd:double"/>
+    </DataPropertyRange>
+    <DataPropertyRange>
+        <DataProperty IRI="#isAutonomous"/>
+        <Datatype abbreviatedIRI="xsd:boolean"/>
+    </DataPropertyRange>
+    <DataPropertyRange>
+        <DataProperty IRI="#isLinear"/>
+        <Datatype abbreviatedIRI="xsd:boolean"/>
+    </DataPropertyRange>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_pl"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#Article</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">Articles</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#CN_sg"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_sg"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#Article</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">Article</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#CN_pl"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_pl"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#Author</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">Authors</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#CN_sg"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_sg"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#Author</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">Author</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#CN_pl"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_pl"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#Journal</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">Journals</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#CN_sg"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:CN_sg"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#Journal</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">Journal</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#TV_pl"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:TV_pl"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#isAuthorOf</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">isAuthorOf</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#TV_sg"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:TV_sg"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#isAuthorOf</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">isAuthorOfs</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#TV_vbg"/>
+        <AnnotationProperty abbreviatedIRI="ace_lexicon:TV_vbg"/>
         <IRI>http://mapekus.fiit.stuba.sk/mapekus/ontologies/v0.2/publication#isAuthorOf</IRI>
         <Literal datatypeIRI="&rdf;PlainLiteral">isAuthorOfed</Literal>
     </AnnotationAssertion>
     <AnnotationAssertion>
-        <AnnotationProperty IRI="http://attempto.ifi.uzh.ch/ace_lexicon#CN_pl"/>
-        <IRI>http://www.co-ode.org/ontologies/ont.owl#Mathematical_Model</IRI>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000078</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000125</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000111</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000122</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000112</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000122</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000115</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000122</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000116</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000122</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000117</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000122</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000118</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000125</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000119</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000122</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000225</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000125</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000232</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000122</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0000412</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000125</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000114"/>
+        <AbbreviatedIRI>obo:IAO_0100001</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:IAO_0000125</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <AbbreviatedIRI>obo:OBI_0100026</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:obi.owl</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <AbbreviatedIRI>obo:OGMS_0000020</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:ogms.owl</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <AbbreviatedIRI>obo:OGMS_0000031</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:ogms.owl</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <AbbreviatedIRI>obo:OGMS_0000045</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:ogms.owl</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <AbbreviatedIRI>obo:OGMS_0000063</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:ogms.owl</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <AbbreviatedIRI>obo:OGMS_0000087</AbbreviatedIRI>
+        <AbbreviatedIRI>obo:ogms.owl</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:contributor</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:coverage</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:creator</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:date</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:description</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:format</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:identifier</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:language</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:publisher</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:relation</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:rights</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:source</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:subject</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:title</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="rdfs:isDefinedBy"/>
+        <AbbreviatedIRI>dc:type</AbbreviatedIRI>
+        <AbbreviatedIRI>dc:</AbbreviatedIRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/CARO#CARO_0000000</IRI>
+        <IRI>http://purl.org/obo/owl/CARO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/CHEBI#CHEBI_23367</IRI>
+        <IRI>http://purl.org/obo/owl/CHEBI</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/CL#CL_0000000</IRI>
+        <IRI>http://purl.org/obo/owl/CL</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/CL#CL_0000738</IRI>
+        <IRI>http://purl.org/obo/owl/CL</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/ENVO#ENVO_00002036</IRI>
+        <IRI>http://purl.org/obo/owl/ENVO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0000003</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0002250</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0002443</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0006955</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0006959</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0008150</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0016265</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0019814</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0019815</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0032502</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0032991</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0040007</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0042101</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0043093</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0044403</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0044406</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0044409</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0044411</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0045087</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0048525</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0050777</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0051093</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0051234</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0051704</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0065007</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0085030</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/GO#GO_0085031</IRI>
+        <IRI>http://purl.org/obo/owl/GO</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/NCBITaxon#NCBITaxon_10239</IRI>
+        <IRI>http://purl.org/obo/owl/NCBITaxon</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/NCBITaxon#NCBITaxon_2</IRI>
+        <IRI>http://purl.org/obo/owl/NCBITaxon</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/NCBITaxon#NCBITaxon_2759</IRI>
+        <IRI>http://purl.org/obo/owl/NCBITaxon</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="obo:IAO_0000412"/>
+        <IRI>http://purl.org/obo/owl/NCBITaxon#NCBITaxon_33154</IRI>
+        <IRI>http://purl.org/obo/owl/NCBITaxon</IRI>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid165"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid168"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid170"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid162"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid163"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid164"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid167"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid172"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#bearer_of</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid173"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_function</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid264"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_function</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid266"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_function</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid268"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_output</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid105"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_output</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid107"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_output</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid109"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_role</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid150"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_role</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid152"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#has_role</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid154"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#inheres_in</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid177"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#inheres_in</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid179"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#inheres_in</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid181"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#inheres_in</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid174"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#inheres_in</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid175"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#inheres_in</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid176"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#negatively_regulates</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid240"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#negatively_regulates</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid241"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#negatively_regulates</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid242"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#positively_regulates</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid147"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#positively_regulates</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid148"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#positively_regulates</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid149"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid189"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid192"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid194"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid196"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid198"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid205"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid191"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid200"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid202"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid203"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid207"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid209"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid201"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid204"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid208"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid210"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid211"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realized_by</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid212"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid141"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid143"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasDefinition"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid145"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid129"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid130"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid131"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid133"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid138"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasExactSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid139"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid132"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>
+        <AnnotationProperty abbreviatedIRI="oboInOwl:hasRelatedSynonym"/>
+        <IRI>http://purl.org/obo/owl/OBO_REL#realizes</IRI>
+        <AnonymousIndividual nodeID="_:http://www.semanticweb.org/ontologies/2011/4/MathModels.owl#genid134"/>
+    </AnnotationAssertion>
+    <AnnotationAssertion>