certificate granting process

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

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 › certificate granting process

Definition

planned process of granting a certificate for an entity of interest, preceded by the attestation of that entity

Semi-Formal Definition:

x is a ‘certificate granting process’ if and only if x is a ‘planned process’ that is ‘prescribed by’ some ‘plan specification,’ and x ‘has specified output’ some ‘certificate’ c and c ‘certifies’ some ‘entity’ e and x is ‘preceded by’ some ‘attesting process’ a and a ‘attests to’ c

Formal Axioms

First-Order Logic Definition

CertificateGrantingProcess(x) ↔ (PlannedProcess(x) ∧ ∃ p,c,e,a (PlanSpecification(p) ∧ prescribedBy(x, p) ∧ Certificate(c) ∧ hasSpecifiedOutput(x, c) ∧ Entity(e) ∧ certifies(c, e) ∧ AttestingProcess(a) ∧ precededBy(x, a) ∧ attestsTo(a, c)))

Description Logic

constr:CertificateGrantingProcess ≡ constr:PlannedProcess ⊓ ∃ bfo:preceded_by .constr:AttestingProcess ⊓ ∃ constr:hasSpecifiedOutput .constr:Certificate ⊓ ∃ constr:prescribedBy .constr:PlanSpecification

constr:CertificateGrantingProcess ⊑ constr:PlannedProcess

∃ bfo:realizes .constr:CertifyingBodyRole ⊑ constr:CertificateGrantingProcess

EquivalentTo: constr:PlannedProcess and bfo:preceded_by some constr:AttestingProcess and constr:hasSpecifiedOutput some constr:Certificate and constr:prescribedBy some constr:PlanSpecification

SubClassOf: constr:PlannedProcess

bfo:realizes some constr:CertifyingBodyRole SubClassOf: constr:CertificateGrantingProcess