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