material product specification

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

Defined In: https://spec.industrialontologies.org/ontology/productionplanning/ProductionPlanning/

SubClass Of: design specification

Class Hierarchy

owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › design specification › material product specification

Definition

design specification that prescribes a material product

Semi-Formal Definition:

If x is an ‘design specification’ and there exists a ‘material product’ which x prescribes then x is a ‘material product specification’.

Examples

• engineering drawing specifying the geometry and tolerances of an aluminum bracket; technical data sheet defining the composition and properties of a polymer resin; formulation and packaging requirements for an industrial coating; product specification requiring a tablet mass of 650 ± 10 milligrams

Formal Axioms

First-Order Logic Definition

MaterialProductSpecification(x) → DesignSpecification(x) ∧ ∀y (prescribes(x, y) → MaterialProduct(y))

First-Order Logic Axioms

DesignSpecification(d) ∧ ∃m(MaterialProduct(m) ∧ prescribes(d,m)) → MaterialProductSpecification(d)

Semi-Formal Natural Language Axioms

if an instance of ‘design specification’ ‘prescribes’ some instance of ‘material product’, then it is an instance of ‘material product specification’

Description Logic

constr:MaterialProductSpecification ⊑ ⊤

constr:MaterialProductSpecification ⊑ constr:DesignSpecification ⊓ ∀ constr:prescribes .constr:MaterialProduct

constr:DesignSpecification ⊓ ∃ constr:prescribes .constr:MaterialProduct ⊑ constr:MaterialProductSpecification

SubClassOf: owl:Thing

SubClassOf: constr:DesignSpecification and constr:prescribes only constr:MaterialProduct

constr:DesignSpecification and constr:prescribes some constr:MaterialProduct SubClassOf: constr:MaterialProductSpecification