material resource
IRI: https://spec.industrialontologies.org/ontology/construct/MaterialResource
Defined In: https://spec.industrialontologies.org/ontology/core/Core/
SubClass Of: bfo:material entity
Class Hierarchy
owl:Thing βΊ bfo:entity βΊ bfo:continuant βΊ bfo:independent continuant βΊ bfo:material entity βΊ material resource
Definition
material entity which has the material resource role
Semi-Formal Definition:
every instance of βmaterial resourceβ is defined as exactly an instance of βmaterial entityβ that βhas roleβ some βmaterial resource roleβ
Explanatory Notes
-
This defined class is designed to group material entities according to a very broad criterion and is not intended to be used as a parent class for resource types that can be more specifically asserted under another class.
-
Skills and capabilities or other entities in the SDC branch are not resources but they can be considered resources indirectly through their bearer
-
See expanded definition under the corresponding role class. The term is formalized here as a defined class by referring to its corresponding role class and exists primarily for ontological modeling and implementation convenience.
Examples
- factory available to be used for producing a product; a body of water available to cool a reactor; money available to a person to buy an item; a portion of raw material available to produce a good or service
Counter-Examples
- (ambiguous/undesirable): a portion of water on my factory floor that formed after a recent rainshower.
Formal Axioms
First-Order Logic Definition
MaterialResource(x) β MaterialEntity(x) β§ βr(MaterialResourceRole(r) β§ hasRole(x,r))
Description Logic
constr:MaterialResource β‘ bfo:material_entity β β constr:hasRole .constr:MaterialResourceRole
constr:MaterialResource β bfo:material_entity
EquivalentTo: bfo:material_entity and constr:hasRole some constr:MaterialResourceRole
SubClassOf: bfo:material_entity