Preferred Name | Assembly | |
Synonyms |
|
|
ID |
https://spec.industrialontologies.org/ontology/core/Core/Assembly |
|
adapted from |
APICS 14 ed., 2013, term by the same name; DoD Standard Practice, Identification Marking of US Military Property (MIL-STD-130N Nov. 2012) https://dodprocurementtoolbox.com/cms/sites/default/files/resources/2016-03/MIL-Std130N_Ch1_4.pdf, term by the same name |
|
counter example |
a portion of material; a piece of glass; a rod of aluminum; a roll of aluminum; an engine block |
|
explanatory note |
Although the term is polysemous and used in a number of other domains beyond manufacturing, it is introduced here as a covering term for any man-made artifact that satisfies the conditions provided, and independent of modality. We expect various subclasses of assembly to be introduced in future along with more precise heuristics for the various modalities in which they exist. |
|
first-order logic axiom |
LA2: MaterialArtifact(x) ∧ ∃p(AssemblyProcess(p) ∧ isSpecifiedOutputOf(x,p)) → Assembly(x) LA1: Assembly(x) → MaterialArtifact(x) ∧ ∃c∃c1(MaterialComponent(c) ∧ MaterialComponent(c1) ∧ componentPartOfAtAllTimes(c,x) ∧ componentPartOfAtAllTimes(c1,x) ∧ ¬(c=c1 ∨ (componentPartOfAtAllTimes(c,c1) ∨ componentPartOfAtAllTimes(c1,c)))) |
|
is defined by | ||
is primitive |
true |
|
prefixIRI |
iof-core:Assembly |
|
prefLabel |
Assembly |
|
primitive rationale |
There are insufficient constructs in the ontology to provide necessary and sufficient conditions. Namely, 'disassembly capability' is missing. |
|
semi-formal natural language axiom |
LA1: if x is an 'assembly' then x is a 'material artifact' and there are at least two distinct 'material component' that are 'component part of at all times' x LA2: Material Artifact x that 'is specified output of' some Assembly Process p implies x is an Assembly |
|
usage note |
Every assembly has a plurality of material components. While this is captured in the FOL, due to reasoning limitations with cardinality restrictions and complex properties, the OWL axiom uses 'some' instead of min 2. Hence, this class should be modeled as having at least two material components on the instance level. |
|
subClassOf |
https://spec.industrialontologies.org/ontology/core/Core/MaterialArtifact |