]> Rule: To establish provenance, the followed [eo:followed] object property should be asserted when the emission [eo:emitted] of a stage [eo:Stage] is used [eo:used] by another stage. v 1.01 2010/01/27 00:00:00 mib Rule: The derives [eo:derives] object property should be asserted if the requirements [eo:requires] and emissions [eo:emits] of a plan-stage [eo:PlanStage] are distinct. Rule: To establish provenance, the derived from [eo:derivedFrom] object property should be asserted when the derivative [eo:derives] of an object-type [eo:ObjectType] is realised within the context of a run [eo:Run]. The oreChem s Ontology [eo] describes (a) the planned method of a scientific experiment; (b) the enactment of plans and (c) the provenance of objects realised during enactments. Rule: The follows [eo:follows] object property should be asserted if the emission [eo:emits] of a plan-stage [eo:PlanStage] is required [eo:requires] by another plan-stage. contains experiment object Definition: An experiment run [eo:Run] may contain [eo:containsObject] zero or many experiment objects [eo:Object]. contains experiment object-type Definition: An experiment plan [eo:Plan] may contain [eo:containsObjectType] one or many experiment object-types [eo:ObjectType]. contains experiment plan-stage Definition: An experiment plan [eo:Plan] may contain [eo:containsPlanStage] one or many experiment plan-stages [eo:PlanStage]. contains experiment stage Definition: An experiment run [eo:Run] may contain [eo:containsStage] zero or many experiment stages [eo:Stage]. derived from Definition: To establish provenance, an experiment object [eo:Object] should assert this object property explicitly if it is a derivative [eo:derivedFrom] of another experiment object. derives Definition: An experiment object-type [eo:ObjectType] may derive [eo:derives] zero or many experiment object-types. emits Definition: An experiment plan-stage [eo:PlanStage] may emit [eo:emits] zero or many experiment object-types [eo:ObjectType]. emitted Definition: An experiment stage [eo:Stage] may emit [eo:emitted] zero or many experiment objects [eo:Object]. follows Definition: An experiment plan-stage [eo:PlanStage] may follow [eo:follows] zero or many experiment plan-stages. has experiment object-type Definition: An experiment object [eo:Object] must reference [eo:hasObjectType] exactly one experiment object-type [eo:ObjectType]. has experiment plan Definition: An experiment run [eo:Run] must reference [eo:hasPlan] exactly one experiment plan [eo:Plan]. has experiment plan-stage Definition: An experiment stage [eo:Stage] must reference [eo:hasPlanStage] exactly one experiment plan-stage [eo:PlanStage]. has plan Definition: A run-thing [eo:RunThing] must reference [eo:hasPlanThing] exactly one plan-thing [eo:PlanThing]. requires Definition: An experiment plan-stage [eo:PlanStage] may require [eo:requires] one or many experiment object-types [eo:ObjectType]. used Definition: An experiment stage [eo:Stage] may use [eo:used] one or many experiment objects [eo:Object]. created Definition: A run-thing [eo:RunThing] must assert when it was created [eo:created]. destroyed Definition: A run-thing [eo:RunThing] may assert when it was destroyed [eo:destroyed]. finished Definition: An experiment event [eo:Event] may assert that it has finished [eo:finished]. ready Definition: An experiment stage [eo:Stage] may assert that it is ready [eo:ready]. started Definition: An experiment event [eo:Event] may assert that it has started [eo:started]. created run-thing Definition: A created run-thing [eo:CreatedRunThing] is a run-thing [eo:RunThing] that has been created [eo:created]. destroyed run-thing Definition: A destroyed run-thing [eo:DestroyedRunThing] is a created run-thing [eo:CreatedRunThing] that has been destroyed [eo:destroyed]. event file Definition: A file [eo:File] is a realisation of a yet-to-exist file [eo:YetToExistFile]. finished event Definition: A finished event [eo:FinishedEvent] is an event [eo:Event] that has been flagged as finished [eo:finished]. object Definition: An object [eo:Object] is a realisation of an object-type [eo:ObjectType]. object-type Definition: An object-type [eo:ObjectType] is an abstract description of an object realised during an enactment of a plan. Examples: A text file; the molecular entity for liquid water; an empty test-tube; a beaker containing 200ml of Solution X; a X-ray spectrometer plan Definition: An plan [eo:Plan] is a description of the planned method (methodology) of a scientific experiment. plan-stage Definition: An plan-stage [eo:PlanStage] is an atomic event that is subject to pre and post conditions and is enacted within the context of a plan [eo:Plan]. plan-thing ready stage Definition: A ready stage [eo:ReadyStage] is an stage [eo:Stage] that has been flagged as ready [eo:ready]. realised run-thing Definition: A realised run-thing [eo:RealisedRunThing] is a run-thing [eo:RunThing] that references [eo:hasPlanThing] a plan-thing [eo:PlanThing]. run Definition: An run [eo:Run] is a realisation of a plan [eo:Plan]. run-thing stage Definition: A stage [eo:Stage] is a realisation of a plan-stage [eo:PlanStage]. started event Definition: A started event [eo:StartedEvent] is an event [eo:Event] that has been flagged as started [eo:started]. substance Definition: A substance [eo:Substance] is a realisation of a yet-to-exist substance [eo:YetToExistSubstance]. yet-to-exist file Definition: A yet-to-exist file [eo:YetToExistFile] is an experiment object-type [eo:ObjectType] that is realised as a file. yet-to-exist substance Note: All substances are potentially hazardous. Definition: A yet-to-exist substance [eo:YetToExistSubstance] is an experiment object-type [eo:ObjectType] that is realised as a chemical substance.