attesting process

IRI: https://spec.industrialontologies.org/ontology/construct/AttestingProcess

Defined In: https://spec.industrialontologies.org/ontology/certification/Certification/

SubClass Of: planned process

Class Hierarchy

owl:Thing › bfo:entity › bfo:occurrent › bfo:process › planned process › attesting process

Definition

planned process to determine the value of one or more qualities, capabilities, and/or process characteristics of an entity of interest in order to verify that they satisfy some requirement specification prescribed by some standard

Semi-Formal Definition:

x is an attesting process if and only if x is a ‘planned process’ that is ‘prescribed by’ some ‘plan specification’ p, and x ‘has proper occurrent part’ some ‘measurement process’ that ‘has specified output’ some ‘measurement information content entity’ z that ‘describes’ some ‘quality,’ ‘capability,’ or ‘process characteristic’ that ‘inheres in’ or ‘has process characteristic’ one or more ‘entity’ e, where x ‘has participant at some time’ or ‘has proper occurrent part’ e, and z ‘satisfies requirement’ some ‘requirement specification’ that is ‘proper continuant part of at all times’ p

Explanatory Notes

Verification of whether the attributes satisfy the requirements is performed by measuring those attributes in a measurement process.

Formal Axioms

First-Order Logic Definition

AttestingProcess(x) ↔ (PlannedProcess(x) ∧ ∃p (PlanSpecification(p) ∧ prescribedBy(x, p)) ∧ ∃m,z,a,e,r (MeasurementProcess(m) ∧ hasProperOccurrentPart(x, m) ∧ MeasurementInformationContentEntity(z) ∧ hasSpecifiedOutput(m, z) ∧ (Quality(a) ∨ Capability(a) ∨ ProcessCharacteristic(a)) ∧ describes(z, a) ∧ Entity(e) ∧ (((Quality(a) ∨ Capability(a)) → inheresIn(a, e)) ∧ (ProcessCharacteristic(a) → hasProcessCharacteristic(e, a))) ∧ (((Quality(a) ∨ Capability(a)) → hasParticipantAtSomeTime(x, e)) ∧ (ProcessCharacteristic(a) → hasProperOccurrentPart(x, e))) ∧ RequirementSpecification(r) ∧ satisfiesRequirement(z, r) ∧ properContinuantPartOf(r, p)))

Description Logic

constr:AttestingProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:has_proper_occurrent_part .(constr:MeasurementProcess ⊓ ∃ constr:hasSpecifiedOutput .(constr:MeasurementInformationContentEntity ⊓ ∃ constr:describes .((constr:ProcessCharacteristic ⊓ ∃ constr:processCharacteristicOf .bfo:entity) ⊔ ((bfo:quality ⊔ constr:Capability) ⊓ ∃ bfo:inheres_in .bfo:entity)))) ⊓ ∃ constr:prescribedBy .constr:PlanSpecification

constr:AttestingProcess ⊑ constr:PlannedProcess

∃ bfo:realizes .constr:AttestingAgentRole ⊑ constr:AttestingProcess

EquivalentTo: constr:PlannedProcess and bfo:has_proper_occurrent_part some (constr:MeasurementProcess and constr:hasSpecifiedOutput some (constr:MeasurementInformationContentEntity and constr:describes some ((constr:ProcessCharacteristic and constr:processCharacteristicOf some bfo:entity) or ((bfo:quality or constr:Capability) and bfo:inheres_in some bfo:entity)))) and constr:prescribedBy some constr:PlanSpecification

SubClassOf: constr:PlannedProcess

bfo:realizes some constr:AttestingAgentRole SubClassOf: constr:AttestingProcess