material component

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

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

SubClass Of: bfo:material entity

Class Hierarchy

owl:Thingbfo:entitybfo:continuantbfo:independent continuantbfo:material entitymaterial component

Definition

material entity which has the material component role

Semi-Formal Definition:

every instance of ‘material component’ is defined as exactly an instance of ‘material entity’ that ‘has role’ some ‘material component role’

Explanatory Notes

  1. Assemblies that are components for one manufacturer may be final products for another (e.g., the selling of diesel engines is a primary product line of Cummins diesel engine yet a component assembly for its customers, Freightliner Trucks). In other words, the context in which a material entity is used must be considered to determine whether it bears the component role.

  2. In most manufacturing use cases, material components will be a subclass of ‘material artifact’.

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

  • portion of water; portion of crude oil; sea shells; bolt; transmission assembly;engine in an airplane

Counter-Examples

  • Braking subsystem – systems and subsystems are object aggregates and often have fiat boundaries, in which case they may be incorrectly inferred as product components. Othertimes, they are systems with bonafide boundaries and should be inferred as a product component.

Synonyms

  • part

Formal Axioms

First-Order Logic Definition

MaterialComponent(x) ↔ MaterialEntity(x) ∧ ∃r(MaterialComponentRole(r) ∧ hasRole(x,r))

Description Logic

constr:MaterialComponent ≡ bfo:material_entity ⊓ ∃ constr:hasRole .constr:MaterialComponentRole

constr:MaterialComponent ⊑ bfo:material_entity

EquivalentTo: bfo:material_entity and constr:hasRole some constr:MaterialComponentRole

SubClassOf: bfo:material_entity