AttestingProcess

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 › AttestingProcess

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 (by measuring the said attributes through some measurement process) 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/has proper part’ e, and z ‘satisfies requirement’ some ‘requirement specification’ that is ‘proper continuant part of at all times’ p.

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) → hasProperPart(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