certificate
IRI: https://spec.industrialontologies.org/ontology/construct/Certificate
Defined In: https://spec.industrialontologies.org/ontology/certification/Certification/
SubClass Of: information content entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › certificate
Direct subclasses:
Definition
information content entity that can serve as proof that one or more attesting processes took place to verify that one or more entities satisfy certain requirement specifications
Semi-Formal Definition:
x is a ‘certificate,’ if and only if x is an ‘information content entity’ and x ‘is specified output’ of some ‘certificate granting process’ and x ‘certifies’ some ‘entity’ that ‘has quality,’ ‘has disposition,’ or ‘has process characteristic’ some ‘quality,’ ‘capability,’ or ‘process characteristic’ a and a ‘satisfies requirement’ some ‘requirement specification’
Formal Axioms
First-Order Logic Definition
Certificate(x) ↔ (InformationContentEntity(x) ∧ ∃p,e,a,r (CertificateGrantingProcess(p) ∧ isSpecifiedOutputOf(x, p) ∧ Entity(e) ∧ RequirementSpecification(r) ∧ (Quality(a) ∨ Capability(a) ∨ ProcessCharacteristic(a)) ∧ ((Quality(a) → hasQuality(e, a)) ∧ (Capability(a) → hasDisposition(e, a)) ∧ (ProcessCharacteristic(a) → hasProcessCharacteristic(e, a))) ∧ certifies(x, e) ∧ SatisfiesRequirement(a, r)))
Description Logic
constr:Certificate ≡ constr:InformationContentEntity ⊓ ∃ constr:certifies .(bfo:entity ⊓ (∃ constr:hasDisposition .bfo:disposition ⊔ ∃ constr:hasProcessCharacteristic .constr:ProcessCharacteristic ⊔ ∃ constr:hasQuality .bfo:quality)) ⊓ ∃ constr:isSpecifiedOutputOf .constr:CertificateGrantingProcess ⊓ ∃ constr:satisfiesRequirement .constr:RequirementSpecification
EquivalentTo: constr:InformationContentEntity and constr:certifies some (bfo:entity and (constr:hasDisposition some bfo:disposition or constr:hasProcessCharacteristic some constr:ProcessCharacteristic or constr:hasQuality some bfo:quality)) and constr:isSpecifiedOutputOf some constr:CertificateGrantingProcess and constr:satisfiesRequirement some constr:RequirementSpecification
SubClassOf: constr:InformationContentEntity