<?xml version="1.0"?>
<?xml-stylesheet type="text/xsl" href="https://ontobee.org/ontology/view/KISAO?iri=http://www.biomodels.net/kisao/KISAO%23KISAO_0000436"?>
<rdf:RDF xmlns="http://www.w3.org/2002/07/owl#"
     xml:base="http://www.w3.org/2002/07/owl"
     xmlns:KISAO="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"/>
    


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // 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_0000259 -->

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


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

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


    <!-- 
    ///////////////////////////////////////////////////////////////////////////////////////
    //
    // Data properties
    //
    ///////////////////////////////////////////////////////////////////////////////////////
     -->

    


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

    <DatatypeProperty rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000275">
        <rdfs:label xml:lang="en">has Runge-Kutta method order</rdfs:label>
    </DatatypeProperty>
    


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

    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000064">
        <rdfs:label xml:lang="en">Runge-Kutta based method</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000302">
        <rdfs:label xml:lang="en">embedded Runge-Kutta method</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000436">
        <rdfs:label xml:lang="en">Dormand-Prince 8(5,3) method</rdfs:label>
        <rdfs:subClassOf rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000302"/>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000541"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000064"/>
                            <Restriction>
                                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000275"/>
                                <hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">8</hasValue>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000559"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000538"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000540"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000259"/>
                <onClass rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000539"/>
                <maxQualifiedCardinality rdf:datatype="http://www.w3.org/2001/XMLSchema#nonNegativeInteger">1</maxQualifiedCardinality>
            </Restriction>
        </rdfs:subClassOf>
        <rdfs:subClassOf>
            <Restriction>
                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000360"/>
                <someValuesFrom>
                    <Class>
                        <intersectionOf rdf:parseType="Collection">
                            <rdf:Description rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000064"/>
                            <Restriction>
                                <onProperty rdf:resource="http://www.biomodels.net/kisao/KISAO#KISAO_0000275"/>
                                <hasValue rdf:datatype="http://www.w3.org/2001/XMLSchema#integer">5</hasValue>
                            </Restriction>
                        </intersectionOf>
                    </Class>
                </someValuesFrom>
            </Restriction>
        </rdfs:subClassOf>
        <dcterms:created rdf:datatype="http://www.w3.org/2001/XMLSchema#date">2012-09-26</dcterms:created>
        <rdfs:seeAlso rdf:datatype="http://www.w3.org/2001/XMLSchema#anyURI">http://identifiers.org/isbn/978-3-540-56670-0</rdfs:seeAlso>
        <dcterms:creator xml:lang="en">AZ</dcterms:creator>
        <skos:definition xml:lang="en">This method is based on an 8(6) method by Dormand and Prince (i.e. order 8 for the integration and order 6 for error estimation) modified by Hairer and Wanner to use a 5th order error estimator with 3rd order correction.</skos:definition>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000538">
        <rdfs:label xml:lang="en">safety factor on new step selection</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000539">
        <rdfs:label xml:lang="en">minimum factor to change step size by</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000540">
        <rdfs:label xml:lang="en">maximum factor to change step size by</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000541">
        <rdfs:label xml:lang="en">beta parameter for stabilized step size control</rdfs:label>
    </Class>
    


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

    <Class rdf:about="http://www.biomodels.net/kisao/KISAO#KISAO_0000559">
        <rdfs:label xml:lang="en">initial step size</rdfs:label>
    </Class>
</rdf:RDF>



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



