attesting agent role
IRI: https://spec.industrialontologies.org/ontology/construct/AttestingAgentRole
Defined In: https://spec.industrialontologies.org/ontology/certification/Certification/
SubClass Of: agent role
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › agent role › attesting agent role
Definition
agent role held by an agent acting on behalf of some certifying body when it participates in an attesting process
Semi-Formal Definition:
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
Formal Axioms
First-Order Logic Definition
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))
Description Logic
constr:AttestingAgentRole ≡ constr:AgentRole ⊓ ∃ constr:roleOf .(constr:Agent ⊓ (∃ bfo:participates_in_at_some_time .constr:AttestingProcess ⊓ ∃ constr:actsOnBehalfOfAtSomeTime .constr:CertifyingBody))
EquivalentTo: constr:AgentRole and constr:roleOf some (constr:Agent and (bfo:participates_in_at_some_time some constr:AttestingProcess and constr:actsOnBehalfOfAtSomeTime some constr:CertifyingBody))
SubClassOf: constr:AgentRole