<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/KISAO?iri=http://www.biomodels.net/kisao/KISAO%23KISAO_0000314"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:ns5="http://www.biomodels.net/kisao/KISAO#"
     xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
     xmlns:owl="http://www.w3.org/2002/07/owl#"
     xmlns:oboInOwl="http://www.geneontology.org/formats/oboInOwl#"
     xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
     xmlns:dcterms="http://purl.org/dc/terms/"
     xmlns:skos="http://www.w3.org/2004/02/skos/core#"
     xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
     xmlns:obo="http://purl.obolibrary.org/obo/"
     xmlns:foaf="http://xmlns.com/foaf/0.1/"
     xmlns:dc="http://purl.org/dc/elements/1.1/">
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Annotation properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#definition"/>
    <AnnotationProperty rdf:about="http://purl.org/dc/terms/creator"/>
    <AnnotationProperty rdf:about="http://purl.org/dc/terms/created"/>
    <AnnotationProperty rdf:about="http://www.biomodels.net/kisao/KISAO#isImplementedIn"/>
    <AnnotationProperty rdf:about="http://www.w3.org/2004/02/skos/core#altLabel"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Datatypes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.w3.org/2001/XMLSchema#date -->

    <rdfs:Datatype rdf:about="http://www.w3.org/2001/XMLSchema#date"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Object Properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000245 -->

    <ObjectProperty rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000245">
        <rdfs:label xml:lang="en">has characteristic</rdfs:label>
    </ObjectProperty>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Classes
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000000 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000000">
        <rdfs:label xml:lang="en">modelling and simulation algorithm</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000103 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000103">
        <rdfs:label xml:lang="en">deterministic system behaviour</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000107 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000107">
        <rdfs:label xml:lang="en">progression with adaptive time step</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000237 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000237">
        <rdfs:label xml:lang="en">approximate solution</rdfs:label>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000314 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000314">
        <rdfs:label xml:lang="en">S-System power-law canonical differential equations solver</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000000"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000245"/>
                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000374"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000245"/>
                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000237"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000245"/>
                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000107"/>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000245"/>
                <someValuesFrom rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000103"/>
            </Restriction>
        </rdfs:subClassOf>
        <dcterms:created rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2011-05-20</dcterms:created>
        <ns5:isImplementedIn rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/biosimulators/ecell4</ns5:isImplementedIn>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/doi/10.1137/0727042</rdfs:seeAlso>
        <dcterms:creator xml:lang="en">AZ</dcterms:creator>
        <skos:altLabel xml:lang="en">ESSYNS GMA</skos:altLabel>
        <skos:definition xml:lang="en">Ordinary differential equations can be recast into a nonlinear canonical form called an S-system. Evidence for the generality of this class comes from extensive empirical examples that have been recast and from the discovery that sets of differential equations and functions, recognized as among the most general, are special cases of S-systems. Identification of this nonlinear canonical form suggests a radically different approach to numerical solution of ordinary differential equations. By capitalizing on the regular structure of S-systems, efficient formulas for a variable-order, variable-step Taylor-series method are developed. </skos:definition>
    </Class>
    


    <!-- http://www.biomodels.net/kisao/KISAO#KISAO_0000374 -->

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000374">
        <rdfs:label xml:lang="en">ordinary differential equation problem</rdfs:label>
    </Class>
</rdf:RDF>



<!-- Generated by the OWL API (version 3.2.4.1806) http://owlapi.sourceforge.net -->



