validator
IRI: https://spec.industrialontologies.org/ontology/construct/Validator
Defined In: https://spec.industrialontologies.org/ontology/biopharma/BiopharmaAgent/
SubClass Of: agent
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › validator
Definition
person, organization, or engineered system with an validator role
Semi-Formal Definition:
Every instance of ‘validator’ is defined as exactly an instance of ‘person’, ‘organization’, or ‘engineered system’ that ‘has role’ some ‘validator role’
Explanatory Notes
See the expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- Head of the Process and Product Control Laboratory who signs the gas chromatography analysis of a PVC lot, confirming its conformance to specification criteria; Quality Assurance Department that issues in-process control reports for production batches based on automated test results and predefined acceptance criteria, without requiring individual sign-off
Formal Axioms
First-Order Logic Definition
Validator(x) ↔ (Person(x) ∨ Organization(x) ∨ EngineeredSystem(x)) ∧ ∃r(ValidatorRole(r) ∧ hasRole(x, r))
Description Logic
constr:Validator ≡ (constr:EngineeredSystem ⊔ constr:Organization ⊔ constr:Person) ⊓ ∃ constr:hasRole .constr:ValidatorRole
EquivalentTo: (constr:EngineeredSystem or constr:Organization or constr:Person) and constr:hasRole some constr:ValidatorRole
SubClassOf: constr:Agent