has role

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

Defined In: https://spec.industrialontologies.org/ontology/core/Core/

Type: Object Property

SubProperty Of: bfo:bearer of

Domain: bfo:independent continuant

Range: bfo:role

Inverse Of: role of

Definition

relation from an independent continuant (the bearer) to a role, in which the role specifically depends on the bearer for its existence

Explanatory Notes

A bearer can have many roles, and its roles can exist for different periods of time, but none of its roles can exist when the bearer does not exist. A role need not be realized at all the times that the role exists.

Examples

• this person has role this investigator role (more colloquially: this person has this role of investigator)

Adapted From

• http://purl.obolibrary.org/obo/RO_0000087

Formal Axioms

First-Order Logic Axioms

hasRole(x,y) → IndependentContinuant(x) ∧ Role(y) ∧ bearerOf(x,y)

Semi-Formal Natural Language Axioms

x has role y holds when x is a ‘independent continuant’ and y is a ‘role’ and x is ‘bearer of’ y

Description Logic

constr:hasRole ⊑ bfo:bearer_of

domain: bfo:independent_continuant

range: bfo:role

inverse: constr:roleOf

SubPropertyOf: bfo:bearer_of

domain: bfo:independent_continuant

range: bfo:role

inverse: constr:roleOf