From 74cd0e062db9d1008041d47bb63f4904174ac3fd Mon Sep 17 00:00:00 2001 From: brianjlowe Date: Tue, 27 Aug 2013 11:13:52 -0400 Subject: [PATCH] updated realizedBy/realizes properties --- productMods/WEB-INF/filegraph/tbox/agent.owl | 40 ----------------- .../filegraph/tbox/object-properties.owl | 42 ----------------- .../filegraph/tbox/object-properties2.owl | 45 +++++++++++++++++++ 3 files changed, 45 insertions(+), 82 deletions(-) create mode 100644 productMods/WEB-INF/filegraph/tbox/object-properties2.owl diff --git a/productMods/WEB-INF/filegraph/tbox/agent.owl b/productMods/WEB-INF/filegraph/tbox/agent.owl index f8a451a8..ee0868ad 100644 --- a/productMods/WEB-INF/filegraph/tbox/agent.owl +++ b/productMods/WEB-INF/filegraph/tbox/agent.owl @@ -67,11 +67,6 @@ - - - - - @@ -164,41 +159,6 @@ - - - - manufacturer role - - - - - - - - - - - - - - - - - - - - - GROUP: Role Branch - Manufacturer role is a role which inheres in a person or organization and which is realized by a manufacturing process. - OBI - 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. - manufacturer role - - - - - - diff --git a/productMods/WEB-INF/filegraph/tbox/object-properties.owl b/productMods/WEB-INF/filegraph/tbox/object-properties.owl index a4601654..47ae59ab 100644 --- a/productMods/WEB-INF/filegraph/tbox/object-properties.owl +++ b/productMods/WEB-INF/filegraph/tbox/object-properties.owl @@ -919,21 +919,6 @@ there is a measurement process p that has specified output m, a measurement datu - - - - is_realized_by - GROUP:OBI:<http://obi.sourceforge.net> - PERSON: Chris Mungall - Relation between a realizable and a process. Reciprocal relation of realizes [GOC:cjm] - executed_during - has_realization - is_realized_as - - - - - @@ -977,33 +962,6 @@ there is a measurement process p that has specified output m, a measurement datu - - - - realizes - GROUP:OBI:<http://obi.sourceforge.net> - PERSON: Chris Mungal - 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] - example of usage: The process of 'histidine catabolism' (GO:0006548) realizes the -function 'histidine ammonia lyase activity' (GO:0004397) (note: here 'activity' -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's -functioning) and indirectly_realizes. - executes - has_function_part - involves_execution_of - is_realization_of - realizes - - - - - - diff --git a/productMods/WEB-INF/filegraph/tbox/object-properties2.owl b/productMods/WEB-INF/filegraph/tbox/object-properties2.owl new file mode 100644 index 00000000..3307c9f2 --- /dev/null +++ b/productMods/WEB-INF/filegraph/tbox/object-properties2.owl @@ -0,0 +1,45 @@ + + + + + + + + realized in + (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] + [copied from inverse property 'realizes'] to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) + 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]) + realized-in + realizedIn + + + + + + + + + + realizes + (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] + realizes + realizes + to say that b realizes c at t is to assert that there is some material entity d & b is a process which has participant d at t & c is a disposition or role of which d is bearer_of at t& the type instantiated by b is correlated with the type instantiated by c. (axiom label in BFO2 Reference: [059-003]) + + + + + + +