material testing information content entity
IRI: https://spec.industrialontologies.org/ontology/construct/MaterialTestingInformationContentEntity
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaMaterialTesting/
SubClass Of: information content entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › material testing information content entity
Definition
information content entity that is the result of testing a material entity or one or more of its attributes against specified testing criteria
Semi-Formal Definition:
every instance of ‘material testing information content entity’ is exactly an instance of ‘information content entity’ that ‘is specified output of’ some ‘material testing process’, ‘describes’ some entity that is a ‘material entity’, ‘capability’, or ‘quality’, ‘has continuant part at all times’ some ‘measurement information content entity’, and ‘has continuant part at all times’ some ‘material test assessment’
Explanatory Notes
1) Material testing information content entity describes the tested material entity, quality, or capability and contains measurement information and material test assessments resulting from the testing. 2) Testing criteria are currently represented using requirement specifications that are connected to the material test assessment by ‘is about’. In the future a dedicated testing criteria class might be introduced.
Examples
- a sterility test record containing growth observations for the product and controls and an overall test assessment; a package-integrity test record containing vacuum-decay measurements and a pass or fail assessment
Formal Axioms
First-Order Logic Definition
MaterialTestingInformationContentEntity(x) ↔ InformationContentEntity(x) ∧ ∃p∃y∃m∃a(MaterialTestingProcess(p) ∧ isSpecifiedOutputOf(x,p) ∧ (MaterialEntity(y) ∨ Capability(y) ∨ Quality(y)) ∧ describes(x,y) ∧ MeasurementInformationContentEntity(m) ∧ hasContinuantPartAtAllTimes(x,m) ∧ MaterialTestAssessment(a) ∧ hasContinuantPartAtAllTimes(x,a))
Description Logic
constr:MaterialTestingInformationContentEntity ≡ constr:InformationContentEntity ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:MaterialTestAssessment ⊓ ∃ bfo:has_continuant_part_at_all_times .constr:MeasurementInformationContentEntity ⊓ ∃ constr:describes .(bfo:quality ⊔ bfo:material_entity ⊔ constr:Capability) ⊓ ∃ constr:isSpecifiedOutputOf .constr:MaterialTestingProcess
constr:MaterialTestingInformationContentEntity ⊑ constr:InformationContentEntity
EquivalentTo: constr:InformationContentEntity and bfo:has_continuant_part_at_all_times some constr:MaterialTestAssessment and bfo:has_continuant_part_at_all_times some constr:MeasurementInformationContentEntity and constr:describes some (bfo:quality or bfo:material_entity or constr:Capability) and constr:isSpecifiedOutputOf some constr:MaterialTestingProcess
SubClassOf: constr:InformationContentEntity