Changes in 🟢 Reference Ontology Candidates

Maturity: 🟢 Released

Added

Classes

Construct	Definition
`AcceptanceCriteria`	requirement specification that has as parts one or more limits, ranges, or other conditions used to determine whether an entity is acceptable for a specified purpose
`MaterialAdditionProcess`	planned process that physically introduces a material entity into or onto a material entity or site
`MaterialAdditionTargetRole`	role held by a material entity or site when a material entity is being, or is planned to be, physically introduced into or onto it
`MaterialImpurity`	material entity which has the material impurity role
`MaterialImpurityRole`	role of a material entity that is present within a process intermediate material, raw material, production consumable, or material product and that is not included in the material composition defined for the relevant stage of manufacture, handling, storage, or release
`MaterialRemovalProcess`	planned process in which a material entity is physically withdrawn from a material entity or site
`MaterialTransferProcess`	material location change process occurring within a single facility in which a material entity is removed from one material entity or site and added to another as part of that material’s processing, production, assessment, or use as a consumable
`MaterialWithdrawalSourceRole`	role held by a material entity or site when a material entity is being, or is planned to be, physically withdrawn from it
`TransferredMaterialRole`	role held by a material entity when it is being, or is planned to be, physically added to or withdrawn from a material entity or site

Changed

Classes

`ManufacturingCapability`

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

Annotations

example = “the capability of a technician to perform aseptic connections during a formulation procedure;the capability of a mixing vessel to achieve uniform suspension of components during buffer preparation; the capability of a fill-finish robot to accurately dispense liquid into vials”
firstOrderLogicAxiom = “LA1: ManufacturingCapability(x) → Capability(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ capabilityOf(x, y)) ∧ ∀z(hasRealization(x, z) → (ManufacturingProcess(z) ∨ ∃p(ManufacturingProcess(p) ∧ occurrentPartOf(z, p))))”
firstOrderLogicAxiom = “LA2: Capability(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ capabilityOf(x, y)) ∧ ∃z(hasRealization(x, z) ∧ (ManufacturingProcess(z) ∨ ∃p(ManufacturingProcess(p) ∧ occurrentPartOf(z, p)))) → ManufacturingCapability(x)”
primitiveRationale = “This class is expected to remain primitive as it is difficult to find a set of mutually necessary and sufficient set of conditions.”
semiFormalNaturalLanguageAxiom = “LA1: if x is a ‘manufacturing capability’ then x is a ‘capability’ that is the ‘capability of’ some ‘agent’ or ‘piece of equipment’ and whenever some y ‘realizes’ x then y is a ‘manufacturing process’ or an ‘occurrent part of’ some ‘manufacturing process’”
semiFormalNaturalLanguageAxiom = “LA2: if x is a ‘capability’ and x is the ‘capability of’ some ‘agent’ or ‘piece of equipment’ and x ‘has realization’ in some ‘manufacturing process’ or in some ‘occurrent part of’ a ‘manufacturing process’, then x is a ‘manufacturing capability’”

example = “the capability of a technician to perform aseptic connections during a formulation procedure; the capability of a mixing vessel to achieve uniform suspension of components during buffer preparation; the capability of a fill-finish robot to accurately dispense liquid into vials; capability of a cooling tunnel in a candy factory to drop the product temperature and stabilize the shape, making the downstream wrapping operation possible; kneading capacity of a blender that allows for obtaining a uniform paste of plastic compound able to be extruded”
firstOrderLogicAxiom = “LA1:Capability(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ capabilityOf(x, y)) ∧ ∃z(hasRealization(x, z) ∧ (ManufacturingProcess(z) ∨ ∃p(ManufacturingProcess(p) ∧ occurrentPartOf(z, p)))) → ManufacturingCapability(x)”
firstOrderLogicAxiom = “LA2:ManufacturingCapability(x) → Capability(x) ∧ ∃y((Agent(y) ∨ PieceOfEquipment(y)) ∧ capabilityOf(x,y))”
primitiveRationale = “This class is expected to remain primitive as it is difficult to find a set of mutually necessary and sufficient conditions.”
semiFormalNaturalLanguageAxiom = “LA1: if x is a ‘capability’ and x is the ‘capability of’ some ‘agent’ or ‘piece of equipment’ and x ‘has realization’ in some ‘manufacturing process’ or in some ‘occurrent part of’ a ‘manufacturing process’, then x is a ‘manufacturing capability’”
semiFormalNaturalLanguageAxiom = “LA2: if x is a ‘manufacturing capability’ then x is a ‘capability’ that is the ‘capability of’ some ‘agent’ or some ‘piece of equipment’”

Axioms

SubClassOf: bfo:has_realization only (constr:ManufacturingProcess or bfo:occurrent_part_of some constr:ManufacturingProcess)

`MaterialUseProcess`

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

Annotations

example = “When a customer drives a car off from the dealership after purchasing the car, a material use process has started. A container/lot of a chemical may be considered used when the seal is opened or when the first portion is taken out from the container. The portion taken out from the container is also subjected to another material use process.”
naturalLanguageDefinition = “planned process that is a part of a material entity lifecyle and which starts with a realization of the capability of that material entity”@en-US
semiFormalNaturalLanguageAxiom = “If x is a ‘material use process’, then x is a ‘planned process’ that ‘has participant at all times’ some ‘material entity’ m, and ‘has as occurrent part’ some ‘planned process’ p that both ‘temporally starts’ x and ‘realizes’ a ‘capability’ c that ‘specifically depends on’ m”

example = “When a customer drives a car off from the dealership after purchasing the car, a material use process has started. A container/lot of a chemical substance may be considered used when the seal is opened or when the first portion is taken out from the container. The portion taken out from the container is also subjected to another material use process; The material use process of a light-duty delivery truck dedicated to last-mile delivery starts when the driver drives it off from the dealership after purchasing it brand-new; the material use of a baghouse fabric filter installed downstream of a cyclonic separator begins the first time air containing very fine particles flows through it”
naturalLanguageDefinition = “planned process that is a part of a material entity lifecycle and which starts with a realization of the capability of that material entity”@en-US
semiFormalNaturalLanguageAxiom = “if x is a ‘material use process’, then x is a ‘planned process’ that ‘has participant at all times’ some ‘material entity’ m, and ‘has occurrent part’ some ‘planned process’ p that both ‘temporally starts’ x and ‘realizes’ a ‘capability’ c that ‘specifically depends on’ m”

`ProcessIntermediateMaterialRole`

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

Annotations

firstOrderLogicAxiom = “ProcessIntermediateMaterialRole(x) → (∀y (HasRealization(x, y) → ManufacturingProcess(y) ∧ ∃e (HasInput(y, e) ∧ MaterialEntity(e)))) ∧ (∃a (RoleOf(x, a) ∧ MaterialEntity(a) ∧ ∃b (IsInputOf(a, b) ∧ ManufacturingProcess(b)) ∧ ∃c (IsSpecifiedOutputOf(a, c) ∧ ManufacturingProcess(c))) ∨ ∃a (RoleOf(x, a) ∧ MaterialEntity(a) ∧ ∃d (IsSpecifiedOutputOf(a, d) ∧ ManufacturingProcess(d)) ∧ ∃s (PrescribedBy(a, s) ∧ InputSpecification(s) ∧ ∃p (ContinuantPartOfAtAllTimes(s, p) ∧ PlanSpecification(p) ∧ ∃m (Prescribes(p, m) ∧ ManufacturingProcess(m))))))”
semiFormalNaturalLanguageAxiom = “if x is a ‘process intermediate material role’ then x ‘has realization’ only in some ‘manufacturing process’ that ‘has input’ some ‘material entity’, and x is a ‘role of’ either a ‘material entity’ that ‘is input of’ some ‘manufacturing process’ and ‘is specified output of’ some ‘manufacturing process’, or a ‘material entity’ that ‘is specified output of’ some ‘manufacturing process’ and is ‘prescribed by’ some ‘input specification’ that is a ‘continuant part of at all times’ some ‘plan specification’ that ‘prescribes’ some ‘manufacturing process’”

firstOrderLogicAxiom = “ProcessIntermediateMaterialRole(x) → Role(x) ∧ ∃a(roleOf(x,a) ∧ MaterialEntity(a) ∧ ∀y(hasRealization(x,y) → (ManufacturingProcess(y) ∧ hasInput(y,a))) ∧ ((∃c∃b(isSpecifiedOutputOf(a,c) ∧ ManufacturingProcess(c) ∧ isInputOf(a,b) ∧ ManufacturingProcess(b) ∧ precedes(c,b))) ∨ (∃d∃s∃p∃m(isSpecifiedOutputOf(a,d) ∧ ManufacturingProcess(d) ∧ prescribedBy(a,s) ∧ InputSpecification(s) ∧ continuantPartOfAtAllTimes(s,p) ∧ PlanSpecification(p) ∧ prescribes(p,m) ∧ ManufacturingProcess(m) ∧ precedes(d,m)))))”
semiFormalNaturalLanguageAxiom = “if x is a ‘process intermediate material role’ then x is a ‘role of’ some ‘material entity’ such that every ‘realization of’ x is a ‘manufacturing process’ that ‘has input’ that same ‘material entity’, and either that ‘material entity’ ‘is specified output of’ some ‘manufacturing process’ that ‘precedes’ some ‘manufacturing process’ of which that same ‘material entity’ ‘is input’, or that ‘material entity’ ‘is specified output of’ some ‘manufacturing process’ that ‘precedes’ some ‘manufacturing process’ prescribed by a ‘plan specification’, where that same ‘material entity’ is ‘prescribed by’ some ‘input specification’ that is ‘continuant part of at all times’ that ‘plan specification’”

`ProductionConsumable`

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

Annotations

counterExample = “Water employed in the Steam Reforming Process of Methane. Steam reacts with Methane at very high temperature in the presence of a Ni catalyst to produce Hydrogen and a CO/CO2 mixture. Though steam is fed in excess to avoid the carbonization of the catalyst, and is partly lost, certain amount of it is converted into Hydrogen. Therefore, water plays a raw material role;Water inside a closed-loop cooling system circuit that is part of a chemical reaction process. Since it is a closed system, water is not lost through evaporation, and it does not need a chemical/biological treatment. In consequence, it does not need to be recovered.”

counterExample = “Water employed in the Steam Reforming Process of Methane. Steam reacts with Methane at very high temperature in the presence of a Ni catalyst to produce Hydrogen and a CO/CO2 mixture. Though steam is fed in excess to avoid the carbonization of the catalyst, and is partly lost, a certain amount of it is converted into Hydrogen. Therefore, water plays a raw material role; Water inside a closed-loop cooling system circuit that is part of a chemical reaction process. Since it is a closed system, water is not lost through evaporation, and it does not need a chemical/biological treatment. In consequence, it does not need to be recovered.”

`ProductionConsumableRole`

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

Annotations

adaptedFrom = “http://purl.allotrope.org/voc/afo/REC/2022/03/afo”
explanatoryNote = “1. ‘Used up’ in this context means that either a) the material entity no longer exist at the end of the process or b) the material entity has reduced or lost capability as a result of the process.
1. In many cases, organizations monitor the number of hours or frequency with which such consumables are used.
2. Consumables includes resources that are typically not specified in recipes, not included in the bill of materials, and not lot-tracked.”
firstOrderLogicAxiom = “ProductionConsumableRole(x) → ConsumableRole(x) ∧ (∀y (hasRealization(x, y) → ∃z (occurrentPartOf(y, z) ∧ ProductProductionProcess(z)))) ∧ (∃a (roleOf(x, a) ∧ MaterialEntity(a) ∧ ∃b (prescribedBy(a, b) ∧ InputSpecification(b) ∧ ∃c (continuantPartOfAtAllTimes(b, c) ∧ PlanSpecification(c) ∧ ∃d (prescribes(c,d) ∧ ∃z (occurrentPartOf(d, z) ∧ ProductProductionProcess(z)))))) ∨ ∃a (roleOf(x, a) ∧ ((MaterialEntity(a) ∧ ∃e (isInputOf(a, e) ∧ ∃z (occurrentPartOf(e, z) ∧ ProductProductionProcess(z)))) ∨ (HasCapability(a, f) ∧ Capability(f) ∧ ∃g (hasRealization(f, g) ∧ ∃z (occurrentPartOf(g, z) ∧ ProductProductionProcess(z)))))))”
semiFormalNaturalLanguageAxiom = “if x is a ‘production consumable role’ then x is a ‘consumable role’ and x ‘has realization’ only in some ‘occurrent part of’ a ‘product production process’ and x is a ‘role of’ either a ‘material entity’ that is ‘prescribed by’ some ‘input specification’ that is a ‘continuant part of at all times’ some ‘plan specification’ that ‘prescribes’ some ‘occurrent part of’ a ‘product production process’, or a ‘material entity’ that ‘is input of’ some ‘occurrent part of’ a ‘product production process’, or a ‘material entity’ that ‘has capability’ some ‘capability’ that ‘has realization’ in some ‘occurrent part of’ a ‘product production process’”

explanatoryNote = “1. ‘Used up’ in this context means that either a) the material entity no longer exists at the end of the process or b) the material entity has reduced or lost capability as a result of the process.
1. In many cases, organizations monitor the number of hours or frequency with which such consumables are used.
2. Production consumables include resources that are typically not specified in recipes, not included in the bill of materials, and not lot-tracked.”
firstOrderLogicAxiom = “ProductionConsumableRole(x) → ConsumableRole(x) ∧ ∀y(hasRealization(x,y) → ∃z(occurrentPartOf(y,z) ∧ ProductProductionProcess(z))) ∧ ∃a(roleOf(x,a) ∧ MaterialEntity(a) ∧ (∃b∃c∃d∃z(prescribedBy(a,b) ∧ InputSpecification(b) ∧ continuantPartOfAtAllTimes(b,c) ∧ PlanSpecification(c) ∧ prescribes(c,d) ∧ occurrentPartOf(d,z) ∧ ProductProductionProcess(z)) ∨ ∃e∃z(isInputOf(a,e) ∧ occurrentPartOf(e,z) ∧ ProductProductionProcess(z)) ∨ ∃f∃g∃z(hasCapability(a,f) ∧ Capability(f) ∧ hasRealization(f,g) ∧ occurrentPartOf(g,z) ∧ ProductProductionProcess(z))))”
semiFormalNaturalLanguageAxiom = “if x is a ‘production consumable role’ then x is a ‘consumable role’, x ‘has realization’ only in some ‘occurrent part of’ a ‘product production process’, and x is a ‘role of’ some ‘material entity’ that either is ‘prescribed by’ some ‘input specification’ that is a ‘continuant part of at all times’ some ‘plan specification’ that ‘prescribes’ some ‘occurrent part of’ a ‘product production process’, ‘is input of’ some ‘occurrent part of’ a ‘product production process’, or ‘has capability’ some ‘capability’ that ‘has realization’ in some ‘occurrent part of’ a ‘product production process’”

Axioms

SubClassOf: constr:roleOf some (bfo:material_entity and constr:prescribedBy some (constr:InputSpecification and bfo:continuant_part_of_at_all_times some (constr:PlanSpecification and constr:prescribes some bfo:occurrent_part_of some constr:ProductProductionProcess))) or constr:roleOf some ((bfo:material_entity and constr:isInputOf some bfo:occurrent_part_of some constr:ProductProductionProcess) or constr:hasCapability some (constr:Capability and bfo:has_realization some bfo:occurrent_part_of some constr:ProductProductionProcess))

SubClassOf: constr:roleOf some (bfo:material_entity and (constr:hasCapability some (constr:Capability and bfo:has_realization some bfo:occurrent_part_of some constr:ProductProductionProcess) or constr:isInputOf some bfo:occurrent_part_of some constr:ProductProductionProcess or constr:prescribedBy some (constr:InputSpecification and bfo:continuant_part_of_at_all_times some (constr:PlanSpecification and constr:prescribes some bfo:occurrent_part_of some constr:ProductProductionProcess))))