updated realizedBy/realizes properties

This commit is contained in:
brianjlowe 2013-08-27 11:13:52 -04:00
parent f0ba88badc
commit 74cd0e062d
3 changed files with 45 additions and 82 deletions

View file

@ -67,11 +67,6 @@
<!-- http://purl.obolibrary.org/obo/OBI_0000300 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/OBI_0000300"/>
<!-- http://purl.obolibrary.org/obo/OBI_0000316 -->
@ -164,41 +159,6 @@
<!-- http://purl.obolibrary.org/obo/OBI_0000571 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/OBI_0000571">
<rdfs:label xml:lang="en">manufacturer role</rdfs:label>
<rdfs:subClassOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000023"/>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://purl.obolibrary.org/obo/OBI_0000300"/>
<owl:someValuesFrom rdf:resource="http://purl.obolibrary.org/obo/OBI_0000457"/>
</owl:Restriction>
</rdfs:subClassOf>
<rdfs:subClassOf>
<owl:Restriction>
<owl:onProperty rdf:resource="http://purl.obolibrary.org/obo/RO_0000052"/>
<owl:someValuesFrom>
<owl:Class>
<owl:unionOf rdf:parseType="Collection">
<rdf:Description rdf:about="http://purl.obolibrary.org/obo/NCBITaxon_9606"/>
<rdf:Description rdf:about="http://xmlns.com/foaf/0.1/Organization"/>
</owl:unionOf>
</owl:Class>
</owl:someValuesFrom>
</owl:Restriction>
</rdfs:subClassOf>
<obo:IAO_0000117 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">GROUP: Role Branch</obo:IAO_0000117>
<obo:IAO_0000115 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Manufacturer role is a role which inheres in a person or organization and which is realized by a manufacturing process.</obo:IAO_0000115>
<obo:IAO_0000119 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">OBI</obo:IAO_0000119>
<obo:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">With respect to The Accuri C6 Flow Cytometer System, the organization Accuri bears the role manufacturer role. With respect to a transformed line of tissue culture cells derived by a specific lab, the lab whose personnel isolated the cll line bears the role manufacturer role. With respect to a specific antibody produced by an individual scientist, the scientist who purifies, characterizes and distributes the anitbody bears the role manufacturer role.</obo:IAO_0000112>
<obo:IAO_0000111 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">manufacturer role</obo:IAO_0000111>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000123"/>
<obo:IAO_0000412 rdf:resource="http://purl.obolibrary.org/obo/obi.owl"/>
</owl:Class>
<!-- http://purl.obolibrary.org/obo/OBI_0000835 -->
<owl:Class rdf:about="http://purl.obolibrary.org/obo/OBI_0000835">

View file

@ -919,21 +919,6 @@ there is a measurement process p that has specified output m, a measurement datu
<!-- http://purl.obolibrary.org/obo/OBI_0000300 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/OBI_0000300">
<rdfs:label xml:lang="en">is_realized_by</rdfs:label>
<obo:IAO_0000117 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">GROUP:OBI:&lt;http://obi.sourceforge.net&gt;</obo:IAO_0000117>
<obo:IAO_0000117 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">PERSON: Chris Mungall</obo:IAO_0000117>
<obo:IAO_0000115 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Relation between a realizable and a process. Reciprocal relation of realizes [GOC:cjm]</obo:IAO_0000115>
<obo:IAO_0000118 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">executed_during</obo:IAO_0000118>
<obo:IAO_0000118 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">has_realization</obo:IAO_0000118>
<obo:IAO_0000118 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">is_realized_as</obo:IAO_0000118>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000122"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/OBI_0000304 -->
@ -977,33 +962,6 @@ there is a measurement process p that has specified output m, a measurement datu
<!-- http://purl.obolibrary.org/obo/OBI_0000308 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/OBI_0000308">
<rdfs:label xml:lang="en">realizes</rdfs:label>
<obo:IAO_0000117 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">GROUP:OBI:&lt;http://obi.sourceforge.net&gt;</obo:IAO_0000117>
<obo:IAO_0000117 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">PERSON: Chris Mungal</obo:IAO_0000117>
<obo:IAO_0000115 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">Relation between a process and a function, where the unfolding of the
process requires the execution of the function. Class level: P realizes F iff:
given any p that instantiates P, there exists some f, t such that f instantiates
F at t and p *realizes* f. Here, *realizes* is the primitive
instance level relation [GOC:cjm]</obo:IAO_0000115>
<obo:IAO_0000112 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">example of usage: The process of &apos;histidine catabolism&apos; (GO:0006548) realizes the
function &apos;histidine ammonia lyase activity&apos; (GO:0004397) (note: here &apos;activity&apos;
denotes a function and not a process). We leave open the possibility of defining
in future the sub-relations directly_realizes (as bewteen a function and it&apos;s
functioning) and indirectly_realizes.</obo:IAO_0000112>
<obo:IAO_0000118 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">executes</obo:IAO_0000118>
<obo:IAO_0000118 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">has_function_part</obo:IAO_0000118>
<obo:IAO_0000118 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">involves_execution_of</obo:IAO_0000118>
<obo:IAO_0000118 rdf:datatype="http://www.w3.org/2001/XMLSchema#string">is_realization_of</obo:IAO_0000118>
<obo:IAO_0000111 xml:lang="en">realizes</obo:IAO_0000111>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/>
<obo:IAO_0000114 rdf:resource="http://purl.obolibrary.org/obo/IAO_0000122"/>
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/OBI_0000300"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/OBI_0000312 -->

View file

@ -0,0 +1,45 @@
<?xml version="1.0"?>
<rdf:RDF xmlns="http://purl.obolibrary.org/obo/arg/object-properties.owl#"
xml:base="http://purl.obolibrary.org/obo/arg/object-properties.owl"
xmlns:obo="http://purl.obolibrary.org/obo/"
xmlns:rdfs="http://www.w3.org/2000/01/rdf-schema#"
xmlns:ns="http://www.w3.org/2003/06/sw-vocab-status/ns#"
xmlns:skos2="http://www.w3.org/2008/05/skos#"
xmlns:vitro="http://vitro.mannlib.cornell.edu/ns/vitro/0.7#"
xmlns:terms="http://purl.org/dc/terms/"
xmlns:geopolitical="http://aims.fao.org/aos/geopolitical.owl#"
xmlns:owl="http://www.w3.org/2002/07/owl#"
xmlns:xsd="http://www.w3.org/2001/XMLSchema#"
xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#">
<owl:Ontology rdf:about="http://purl.obolibrary.org/obo/arg/object-properties.owl"/>
<!-- http://purl.obolibrary.org/obo/BFO_0000054 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000054"><!-- realized in -->
<rdfs:label xml:lang="en">realized in</rdfs:label>
<!-- has associated axiom(fol) --><obo:IAO_0000602>(forall (x y z t) (if (and (RealizableEntity x) (Process y) (realizesAt y x t) (bearerOfAt z x t)) (hasParticipantAt y z t))) // axiom label in BFO2 CLIF: [106-002] </obo:IAO_0000602>
<!-- elucidation --><obo:IAO_0000600>[copied from inverse property &apos;realizes&apos;] to say that b realizes c at t is to assert that there is some material entity d &amp; b is a process which has participant d at t &amp; c is a disposition or role of which d is bearer_of at t&amp; the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])</obo:IAO_0000600>
<!-- has associated axiom(nl) --><obo:IAO_0000601 xml:lang="en">if a realizable entity b is realized in a process p, then p stands in the has_participant relation to the bearer of b. (axiom label in BFO2 Reference: [106-002])</obo:IAO_0000601>
<!-- BFO OWL specification label --><obo:BFO_0000179>realized-in</obo:BFO_0000179>
<!-- BFO CLIF specification label --><obo:BFO_0000180>realizedIn</obo:BFO_0000180>
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/><!-- process -->
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/><!-- realizable entity -->
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
</owl:ObjectProperty>
<!-- http://purl.obolibrary.org/obo/BFO_0000055 -->
<owl:ObjectProperty rdf:about="http://purl.obolibrary.org/obo/BFO_0000055"><!-- realizes -->
<rdfs:label xml:lang="en">realizes</rdfs:label>
<!-- has associated axiom(fol) --><obo:IAO_0000602>(forall (x y t) (if (realizesAt x y t) (and (Process x) (or (Disposition y) (Role y)) (exists (z) (and (MaterialEntity z) (hasParticipantAt x z t) (bearerOfAt z y t)))))) // axiom label in BFO2 CLIF: [059-003] </obo:IAO_0000602>
<!-- BFO OWL specification label --><obo:BFO_0000179>realizes</obo:BFO_0000179>
<!-- BFO CLIF specification label --><obo:BFO_0000180>realizes</obo:BFO_0000180>
<!-- elucidation --><obo:IAO_0000600 xml:lang="en">to say that b realizes c at t is to assert that there is some material entity d &amp; b is a process which has participant d at t &amp; c is a disposition or role of which d is bearer_of at t&amp; the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003])</obo:IAO_0000600>
<rdfs:domain rdf:resource="http://purl.obolibrary.org/obo/BFO_0000015"/><!-- process -->
<rdfs:range rdf:resource="http://purl.obolibrary.org/obo/BFO_0000017"/><!-- realizable entity -->
<owl:inverseOf rdf:resource="http://purl.obolibrary.org/obo/BFO_0000054"/><!-- realized in -->
<rdfs:isDefinedBy rdf:resource="http://purl.obolibrary.org/obo/bfo.owl"/>
</owl:ObjectProperty>
</rdf:RDF>