<?xml version="1.0"?>
<!DOCTYPE rdf:RDF [
  <!ENTITY rdfs 'http://www.w3.org/2000/01/rdf-schema#'>
  <!ENTITY ro 'http://sswapmeet.sswap.info/RO/'>
  <!ENTITY xsd 'http://www.w3.org/2001/XMLSchema#'>
  <!ENTITY owl 'http://www.w3.org/2002/07/owl#'>
  <!ENTITY rdf 'http://www.w3.org/1999/02/22-rdf-syntax-ns#'>
  <!ENTITY oboInOwl 'http://sswapmeet.sswap.info/oboInOwl/'>]>
<rdf:RDF
    xmlns:rdf="&rdf;"
    xmlns:ro="&ro;"
    xmlns:owl="&owl;"
    xmlns:xsd="&xsd;"
    xmlns:oboInOwl="&oboInOwl;"
    xmlns:rdfs="&rdfs;">
    <owl:Ontology rdf:about="&ro;owlOntology">
        <owl:imports rdf:resource="&ro;owlOntology"/>
    </owl:Ontology>
    <owl:ObjectProperty rdf:about="&ro;relationship"/>
    <owl:TransitiveProperty rdf:about="&ro;derives_from">
        <oboInOwl:hasExactSynonym>
            <oboInOwl:Synonym>
                <rdfs:label xml:lang="en">derived_from</rdfs:label>
            </oboInOwl:Synonym>
        </oboInOwl:hasExactSynonym>
        <rdfs:label xml:lang="en">derives_from</rdfs:label>
        <oboInOwl:hasOBONamespace rdf:datatype="&xsd;string">relationship</oboInOwl:hasOBONamespace>
        <rdfs:subPropertyOf rdf:resource="&ro;relationship"/>
        <rdfs:comment rdf:datatype="&xsd;string">Derivation as a relation between instances. The temporal relation of derivation is more complex. Transformation, on the instance level, is just the relation of identity: each adult is identical to some child existing at some earlier time. Derivation on the instance-level is a relation holding between non-identicals. More precisely, it holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. Thus we will have axioms to the effect that from c derives_from c1 we can infer that c and c1 are not identical and that there is some instant of time t such that c1 exists only prior to and c only subsequent to t. We will also be able to infer that the spatial region occupied by c as it begins to exist at t overlaps with the spatial region occupied by c1 as it ceases to exist in the same instant.</rdfs:comment>
        <oboInOwl:hasDefinition>
            <oboInOwl:Definition>
                <oboInOwl:hasDbXref>
                    <oboInOwl:DbXref>
                        <oboInOwl:hasURI rdf:datatype="&xsd;anyURI"
                        >http://sswapmeet.sswap.info/obo/owl/PMID#PMID_15892874</oboInOwl:hasURI>
                        <rdfs:label rdf:datatype="&xsd;string"
                        >PMID:15892874</rdfs:label>
                    </oboInOwl:DbXref>
                </oboInOwl:hasDbXref>
                <rdfs:label xml:lang="en">Derivation on the instance level (*derives_from*) holds between distinct material continuants when one succeeds the other across a temporal divide in such a way that at least a biologically significant portion of the matter of the earlier continuant is inherited by the later. We say that one class C derives_from class C' if instances of C are connected to instances of C' via some chain of instance-level derivation relations. Example: osteocyte derives_from osteoblast. Formally: C derives_immediately_from C' if and only if: given any c and any t, if c instantiates C at time t, then there is some c' and some t', such that c' instantiates C' at t' and t' earlier-than t and c *derives_from* c'. C derives_from C' if and only if: there is an chain of immediate derivation relations connecting C to C'.</rdfs:label>
            </oboInOwl:Definition>
        </oboInOwl:hasDefinition>
    </owl:TransitiveProperty>
</rdf:RDF>
