risk assessment result
IRI: https://spec.industrialontologies.org/ontology/construct/RiskAssessmentResult
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaRiskManagement/
SubClass Of: information content entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › risk assessment result
Definition
information content entity that is the output of a risk assessment process and that records the characterization of risk for one or more identified hazards
Semi-Formal Definition:
if x is a ‘risk assessment result’ then x is an ‘information content entity’ that ‘is specified output of’ some ‘risk assessment process’ and ‘has continuant part at all times’ some ‘risk estimate’ produced by a ‘risk analysis process’ that is part of that same ‘risk assessment process’
Explanatory Notes
A risk assessment result is the overall documented output of the assessment activity. It typically contains more than a single risk estimate, and it often aggregates qualitative descriptors, scores, rankings, and decision criteria across multiple hazards or scenarios.
Examples
- a completed quality risk assessment report identifying contamination hazards, recording estimated risk levels for each, and documenting their evaluation against established acceptance categories; a completed equipment risk assessment report identifying magnet quench scenarios, recording estimated damage severity and likelihood, and documenting the resulting risk classification
Synonyms
- risk assessment report
Adapted From
- https://csrc.nist.gov/glossary/term/risk_assessment_report
Primitive Class
This class is declared primitive and it does not have necessary and sufficient condiftions defined.
Primitive Rationale
There are insufficient constructs to create a set of necessary and sufficient conditions
Formal Axioms
First-Order Logic Axioms
RiskAssessmentResult(x) → InformationContentEntity(x) ∧ ∃p∃a∃e(RiskAssessmentProcess(p) ∧ RiskAnalysisProcess(a) ∧ RiskEstimate(e) ∧ isSpecifiedOutputOf(x,p) ∧ hasOccurrentPart(p,a) ∧ hasSpecifiedOutput(a,e) ∧ hasContinuantPartAtAllTimes(x,e))
Description Logic
constr:RiskAssessmentResult ⊑ constr:InformationContentEntity
constr:RiskAssessmentResult ⊑ ∃ bfo:has_continuant_part_at_all_times .constr:RiskEstimate
constr:RiskAssessmentResult ⊑ ∃ constr:isSpecifiedOutputOf .constr:RiskAssessmentProcess
SubClassOf: constr:InformationContentEntity
SubClassOf: bfo:has_continuant_part_at_all_times some constr:RiskEstimate
SubClassOf: constr:isSpecifiedOutputOf some constr:RiskAssessmentProcess