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:Thingbfo:entitybfo:continuantbfo:independent continuantbfo:material entitymaterial 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

  1. 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.

  2. Skills and capabilities or other entities in the SDC branch are not resources but they can be considered resources indirectly through their bearer

  3. 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