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:
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))