<?xml version="1.0" encoding="UTF-8"?> <rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata_def="http://data.bioontology.org/metadata/def/" xmlns:metadata="http://data.bioontology.org/metadata/"> <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000023"> <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/> <metadata_def:mappingLoom>role</metadata_def:mappingLoom> <metadata_def:prefLabel>role</metadata_def:prefLabel> <metadata:prefixIRI>BFO:0000023</metadata:prefixIRI> <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/> <rdfs:label xml:lang="en">role</rdfs:label> <obo_purl:IAO_0000116 xml:lang="en">BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role &amp; c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals – professor, sergeant, nurse – only during certain phases in their lives.</obo_purl:IAO_0000116> <obo_purl:IAO_0000600 xml:lang="en">b is a role means: b is a realizable entity &amp; b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be&amp; b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])</obo_purl:IAO_0000600> <obo_purl:IAO_0000112 xml:lang="en">the role of a boundary to demarcate two neighboring administrative territories</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the role of a stone in marking a property boundary</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the role of subject in a clinical trial</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the priest role</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the role of a building in serving as a military target</obo_purl:IAO_0000112> <obo_purl:IAO_0000112 xml:lang="en">the student role</obo_purl:IAO_0000112> <obo_purl:BFO_0000180>Role</obo_purl:BFO_0000180> <obo_purl:IAO_0000602>(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] </obo_purl:IAO_0000602> <obo_purl:BFO_0000179>role</obo_purl:BFO_0000179> </owl:Class> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000016"> <owl:disjointWith> <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000023"> <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/> </rdf:Description> </owl:disjointWith> </rdf:Description> </rdf:RDF>
<?xml version="1.0" encoding="UTF-8"?>
<rdf:RDF xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#" xmlns:obo_purl="http://purl.obolibrary.org/obo/" xmlns:owl="http://www.w3.org/2002/07/owl#" xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#" xmlns:metadata_def="http://data.bioontology.org/metadata/def/" xmlns:metadata="http://data.bioontology.org/metadata/">
  <owl:Class rdf:about="http://purl.obolibrary.org/obo/BFO_0000023">
    <rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
    <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/>
    <metadata_def:mappingLoom>role</metadata_def:mappingLoom>
    <metadata_def:prefLabel>role</metadata_def:prefLabel>
    <metadata:prefixIRI>BFO:0000023</metadata:prefixIRI>
    <rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
    <rdfs:label xml:lang="en">role</rdfs:label>
    <obo_purl:IAO_0000116 xml:lang="en">BFO 2 Reference: One major family of examples of non-rigid universals involves roles, and ontologies developed for corresponding administrative purposes may consist entirely of representatives of entities of this sort. Thus ‘professor’, defined as follows,b instance_of professor at t =Def. there is some c, c instance_of professor role &amp; c inheres_in b at t.denotes a non-rigid universal and so also do ‘nurse’, ‘student’, ‘colonel’, ‘taxpayer’, and so forth. (These terms are all, in the jargon of philosophy, phase sortals.) By using role terms in definitions, we can create a BFO conformant treatment of such entities drawing on the fact that, while an instance of professor may be simultaneously an instance of trade union member, no instance of the type professor role is also (at any time) an instance of the type trade union member role (any more than any instance of the type color is at any time an instance of the type length).If an ontology of employment positions should be defined in terms of roles following the above pattern, this enables the ontology to do justice to the fact that individuals instantiate the corresponding universals –  professor, sergeant, nurse – only during certain phases in their lives.</obo_purl:IAO_0000116>
    <obo_purl:IAO_0000600 xml:lang="en">b is a role means: b is a realizable entity &amp; b exists because there is some single bearer that is in some special physical, social, or institutional set of circumstances in which this bearer does not have to be&amp; b is not such that, if it ceases to exist, then the physical make-up of the bearer is thereby changed. (axiom label in BFO2 Reference: [061-001])</obo_purl:IAO_0000600>
    <obo_purl:IAO_0000112 xml:lang="en">the role of a boundary to demarcate two neighboring administrative territories</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the role of a stone in marking a property boundary</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the role of subject in a clinical trial</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">John’s role of husband to Mary is dependent on Mary’s role of wife to John, and both are dependent on the object aggregate comprising John and Mary as member parts joined together through the relational quality of being married.</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the priest role</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the role of a building in serving as a military target</obo_purl:IAO_0000112>
    <obo_purl:IAO_0000112 xml:lang="en">the student role</obo_purl:IAO_0000112>
    <obo_purl:BFO_0000180>Role</obo_purl:BFO_0000180>
    <obo_purl:IAO_0000602>(forall (x) (if (Role x) (RealizableEntity x))) // axiom label in BFO2 CLIF: [061-001] </obo_purl:IAO_0000602>
    <obo_purl:BFO_0000179>role</obo_purl:BFO_0000179>
  </owl:Class>
  <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000016">
    <owl:disjointWith>
      <rdf:Description rdf:about="http://purl.obolibrary.org/obo/BFO_0000023">
        <metadata_def:mappingSameURI rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/>
      </rdf:Description>
    </owl:disjointWith>
  </rdf:Description>
</rdf:RDF>