has specified output
IRI: https://spec.industrialontologies.org/ontology/construct/hasSpecifiedOutput
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
Type: Object Property
SubProperty Of: has output
Domain: planned process
Range: bfo:continuant
Inverse Of: is specified output of
Definition
relation from a planned process to someone or something physical or digital (continuant) that is produced or modified in the planned process as prescribed by an objective
Explanatory Notes
this relation was added to specifically model the outputs that are not byproducts/wasteproducts
Examples
- biopharmaceutical production process has specified output an antibody solution of 99.999% purity; a simulation execution has specified output a prediction of part porosity; a temperature measurement process has specified output a temperature measurement result; a car manufacturing process has specified output a car
Synonyms
- has intended output
Adapted From
- http://purl.obolibrary.org/obo/OBI_0000299
Formal Axioms
First-Order Logic Axioms
hasSpecifiedOutput(x,y) → PlannedProcess(x) ∧ Continuant(y) ∧ ∃o(ObjectiveSpecification(o) ∧ prescribes(o,y) ∧ achievesAtSomeTime(x,o) ∧ hasOutput(x,y))
Semi-Formal Natural Language Axioms
x ‘has specified output’ y holds when x is a ‘planned process’ and y is a ‘continuant’ and x ‘has output’ y and y is ‘prescribed by’ some ‘objective specification’ which x ‘achieves at some time’
Description Logic
constr:hasSpecifiedOutput ⊑ constr:hasOutput
domain: constr:PlannedProcess
range: bfo:continuant
inverse: constr:isSpecifiedOutputOf
SubPropertyOf: constr:hasOutput
domain: constr:PlannedProcess
range: bfo:continuant
inverse: constr:isSpecifiedOutputOf