Tag KINSOL as ODE solver again.

SED-ML · Mar 14, 2024 · 8176bbb · 8176bbb
1 parent 939c58b
commit 8176bbb
Showing 1 changed file with 6 additions and 0 deletions.
diff --git a/kisao.owl b/kisao.owl
@@ -4165,6 +4165,12 @@ Reduced models can be determined in many ways such as using mass conservation la
                 <owl:someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000373"/>
             </owl:Restriction>
         </rdfs:subClassOf>
+        <rdfs:subClassOf>
+            <owl:Restriction>
+                <owl:onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000245"/>
+                <owl:someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000374"/>
+            </owl:Restriction>
+        </rdfs:subClassOf>
         <rdfs:subClassOf>
             <owl:Restriction>
                 <owl:onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>