material resource role

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

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

SubClass Of: bfo:role

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:specifically dependent continuant › bfo:realizable entity › bfo:role › material resource role

Direct subclasses:

• consumable resource role
• industrial inventory role
• non-consumable resource role

Definition

role played by a material entity that consists in it being available to a person or group of agents or engineered system

Examples

• factory has a material resource role when it is available to be used for producing a product; a body of water has a material resource role when it is available to cool a reactor; money has a material resource role when it is available to a person to buy an item; a portion of raw material has a material resource role when it is available to produce a good or service

Adapted From

• http://www.ontologyrepository.com/CommonCoreOntologies/Mid/ArtifactOntology

Primitive Class

This class is declared primitive and it does not have necessary and sufficient condiftions defined.

Primitive Rationale

This term is expected to remain primitive. While ‘is available to at some time’ captures the essence of being a material resource, the realization of the material resource role is expected to have too generic of a scope to define a sufficient condition that would not cause conflict (overlap) with the realization of other roles.

Formal Axioms

First-Order Logic Axioms

MaterialResourceRole(x) → Role(x) ∧ ∃a∃y((Person(a) ∨ GroupOfAgents(a) ∨ EngineeredSystem(y)) ∧ MaterialEntity(y) ∧ isAvailableToAtSomeTime(y,a) ∧ roleOf(x,y))

Semi-Formal Natural Language Axioms

if x is a ‘material resource role’ x then x is a ‘role’ that is the ‘role of’ some ‘material entity’ when it ‘is available to at some time’ some ‘person’ or ‘group of agents’ or ‘engineered system’

Description Logic

constr:MaterialResourceRole ⊑ bfo:role

constr:MaterialResourceRole ⊑ ∃ constr:roleOf .(bfo:material_entity ⊓ ∃ constr:isAvailableToAtSomeTime .(constr:EngineeredSystem ⊔ constr:GroupOfAgents ⊔ constr:Person))

SubClassOf: bfo:role

SubClassOf: constr:roleOf some (bfo:material_entity and constr:isAvailableToAtSomeTime some (constr:EngineeredSystem or constr:GroupOfAgents or constr:Person))