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:Thing › bfo:entity › bfo:continuant › bfo:independent continuant › bfo:material entity › material 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
-
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.
-
In most manufacturing use cases, material components will be a subclass of ‘material artifact’.
-
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