attesting agent

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

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

SubClass Of: agent

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › agent › attesting agent

Definition

agent that has an attesting agent role

Semi-Formal Definition:

x is an ‘attesting agent,’ if and only if x is an ‘agent’ and x ‘has role’ some ‘attesting agent role’

Formal Axioms

First-Order Logic Definition

AttestingAgent(x) ↔ (Agent(x) ∧ ∃r (AttestingAgentRole(r) ∧ hasRole(x, r)))

Description Logic

constr:AttestingAgent ≡ constr:Agent ⊓ ∃ constr:hasRole .constr:AttestingAgentRole

constr:AttestingAgent ⊑ constr:Agent

EquivalentTo: constr:Agent and constr:hasRole some constr:AttestingAgentRole

SubClassOf: constr:Agent