KINSOL isn't a DAE solver.

SED-ML · Mar 14, 2024 · 55216c2 · 55216c2
1 parent 1e855b8
commit 55216c2
Showing 1 changed file with 0 additions and 6 deletions.
diff --git a/kisao.owl b/kisao.owl
@@ -4159,12 +4159,6 @@ Reduced models can be determined in many ways such as using mass conservation la
                 </owl:complementOf>
             </owl:Class>
         </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_0000373"/>
-            </owl:Restriction>
-        </rdfs:subClassOf>
         <rdfs:subClassOf>
             <owl:Restriction>
                 <owl:onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>