CertifyingBodyRole

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

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

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › CertifyingBodyRole

Definition

role held by an organization that participates in some certificate granting process.

Semi-Formal Definition:

x is a ‘certifying body role’ if and only if x is a ‘role,’ and x is the ‘role of’ an ‘organization’ o when o ‘participates in’ some ‘certificate granting process’ c and c ‘realizes’ x.

Formal Axioms

First-Order Logic Definition

CertifyingBodyRole(x) ↔ (Role(x) ∧ ∃ o,c (Organization(o) ∧ hasRole(o, x) ∧ CertificateGrantingProcess(c) ∧ participatesIn(o, c) ∧ realizes(c, x)))

Description Logic

constr:CertifyingBodyRole ≡ bfo:role ⊓ (∃ bfo:participates_in_at_some_time .constr:CertificateGrantingProcess ⊓ ∃ constr:roleOf .constr:Organization)

constr:CertifyingBodyRole ⊑ bfo:role

EquivalentTo: bfo:role and (bfo:participates_in_at_some_time some constr:CertificateGrantingProcess and constr:roleOf some constr:Organization)

SubClassOf: bfo:role