certifying body

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

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

SubClass Of: organization

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › bfo:object aggregate › group of agents › organized group of agents › organization › certifying body

Definition

organization that has a certifying body role

Semi-Formal Definition:

x is a ‘certifying body,’ if and only if x is an ‘organization’ that ‘has role’ some ‘certifying body role’

Formal Axioms

First-Order Logic Definition

CertifyingBody(x) ↔ (Organization(x) ∧ ∃r (CertifyingBodyRole(r) ∧ hasRole(x, r)))

Description Logic

constr:CertifyingBody ≡ constr:Organization ⊓ ∃ constr:hasRole .constr:CertifyingBodyRole

constr:CertifyingBody ⊑ constr:Organization

EquivalentTo: constr:Organization and constr:hasRole some constr:CertifyingBodyRole

SubClassOf: constr:Organization