Changes in 🟢 Certification Ontology

Maturity: 🟢 Released
Previous Maturity: 🟡 Provisional

Maturity level has changed, review all classes in this ontology: 🟢 Certification Ontology

Changed

Classes

`AttestingAgentRole`

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

Annotations

firstOrderLogicDefinition = “AttestingAgentRole(x) ↔ (AgentRole(x) ∧ ∃ y,a,o (Agent(y) ∧ roleOf(x, y) ∧ CertifyingBody(o) ∧ actsOnBehalfOfAtSomeTime(y, o) ∧ AttestingProcess(a) ∧ agentIn(y, a) ∧ realizes(a, x))”@en-US
semiFormalNaturalLanguageDefinition = “x is an ‘attesting agent role,’ if and only if x is an ‘agent role’ and x is ‘role of’ some ‘agent’ y and y ‘acts on behalf of at some time’ some ‘certifying body’ and y ‘agent in’ some ‘attesting process’ a and a ‘realizes’ x.”@en-US

firstOrderLogicDefinition = “AttestingAgentRole(x) ↔ (AgentRole(x) ∧ ∃ y,a,o (Agent(y) ∧ roleOf(x, y) ∧ CertifyingBody(o) ∧ actsOnBehalfOfAtSomeTime(y, o) ∧ AttestingProcess(a) ∧ participatesInAtSomeTime(y, a) ∧ realizes(a, x))”@en-US
semiFormalNaturalLanguageDefinition = “x is an ‘attesting agent role,’ if and only if x is an ‘agent role’ and x is ‘role of’ some ‘agent’ y and y ‘acts on behalf of at some time’ some ‘certifying body’ and y ‘participates in at some time’ some ‘attesting process’ a and a ‘realizes’ x”@en-US

`AttestingProcess`

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

Annotations

firstOrderLogicDefinition = “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)))”@en-US
naturalLanguageDefinition = “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.”@en-US
semiFormalNaturalLanguageDefinition = “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.”@en-US

explanatoryNote = “ Verification of whether the attributes satisfy the requirements is performed by measuring those attributes in a measurement process.”@en-us
firstOrderLogicDefinition = “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)))”@en-US
naturalLanguageDefinition = “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 “@en-US
semiFormalNaturalLanguageDefinition = “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”@en-US

`CertifyingBody`

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

Annotations

naturalLanguageDefinition = “An organization that has a certifying body role.”@en-US

naturalLanguageDefinition = “organization that has a certifying body role”@en-US