From 55216c2d88d50be4037a0e04e243d7ffaaf34f31 Mon Sep 17 00:00:00 2001
From: Lucian Smith <lpsmith@uw.edu>
Date: Wed, 13 Mar 2024 17:04:30 -0700
Subject: [PATCH] KINSOL isn't a DAE solver.

---
 kisao.owl | 6 ------
 1 file changed, 6 deletions(-)

diff --git a/kisao.owl b/kisao.owl
index 9e4c0e3..9317840 100644
--- 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"/>