Advance Shipment Notice
IRI: https://spec.industrialontologies.org/ontology/construct/AdvanceShipmentNotice
Defined In: https://spec.industrialontologies.org/ontology/supplychain/SupplyChain/
SubClass Of: information content entity
Class Hierarchy
owl:Thing › bfo:entity › bfo:continuant › bfo:generically dependent continuant › information content entity › Advance Shipment Notice
Definition
information content entity about a shipment, sent by a supplier or consignor to a buyer or consignee, before the shipment’s arrival
Semi-Formal Definition:
every instance of ‘advance shipment notice’ is an instance of some ‘information content entity’ that ‘is about’ a ‘shipment’, ‘is about’ a ‘buyer’ or ‘consignor’, ‘is about’ a ‘supplier’ or ‘consignee’, and ‘is output of’ a ‘shipment preparation process’ that ‘precedes’ some ‘arrival process’ that the ‘shipment’ ‘participates in at some time’
Explanatory Notes
A notification sent by the shipper to the purchasing organization prior to the shipment leaving the facility, which provides the receiver sufficient time to prepare for delivery of the shipment. The ASN is often sent via electronic data interchange (EDI) and includes all relevant shipment details such as item descriptions, quantities, and tracking information [ACSM]
ASN may also describe the details about the carrier as well
The OWL equivalency axiom approximates the FOL definition but does not enforce identity between the shipment the ASN is about and the shipment participating in the arrival process.
Examples
- an electronic message sent by a supplier to a buyer before delivery, indicating that a shipment has been prepared and providing details such as shipment identifier, carrier, tracking number, shipped items, quantities, and expected arrival date.
Synonyms
- Advanced Shipping Notice
Adapted From
- GS1’s “ASN message implementation guideline” document
Formal Axioms
First-Order Logic Definition
AdvanceShipmentNotice(x) ↔ InformationContentEntity(x) ∧ ∃y∃z∃w∃p∃a (Shipment(y) ∧ isAbout(x,y) ∧ ((Buyer(z) ∨ Consignor(z)) ∧ isAbout(x,z)) ∧ ((Supplier(w) ∨ Consignee(w)) ∧ isAbout(x,w)) ∧ ShipmentPreparationProcess(p) ∧ ArrivalProcess(a) ∧ isOutputOf(x,p) ∧ precedes(p,a) ∧ participatesInAtSomeTime(y,a))
Description Logic
constr:AdvanceShipmentNotice ≡ constr:InformationContentEntity ⊓ (∃ constr:isAbout .(constr:Supplier ⊔ ((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:hasRole .constr:ConsignorRole)) ⊓ ∃ constr:isOutputOf .(constr:ShipmentPreparationProcess ⊓ ∃ bfo:precedes .(constr:ArrivalProcess ⊓ ∃ bfo:has_participant_at_some_time .constr:Shipment))) ⊓ ∃ constr:isAbout .constr:Shipment ⊓ ∃ constr:isAbout .(constr:Buyer ⊔ constr:Consignee)
constr:AdvanceShipmentNotice ⊑ constr:InformationContentEntity
constr:AdvanceShipmentNotice ⊑ ∃ constr:isOutputOf .(constr:ShipmentPreparationProcess ⊓ ∃ bfo:has_participant_at_some_time .(constr:Supplier ⊔ ((constr:BusinessOrganization ⊔ constr:Person) ⊓ ∃ constr:hasRole .constr:ConsignorRole)))
EquivalentTo: constr:InformationContentEntity and (constr:isAbout some (constr:Supplier or ((constr:BusinessOrganization or constr:Person) and constr:hasRole some constr:ConsignorRole)) and constr:isOutputOf some (constr:ShipmentPreparationProcess and bfo:precedes some (constr:ArrivalProcess and bfo:has_participant_at_some_time some constr:Shipment))) and constr:isAbout some constr:Shipment and constr:isAbout some (constr:Buyer or constr:Consignee)
SubClassOf: constr:InformationContentEntity
SubClassOf: constr:isOutputOf some (constr:ShipmentPreparationProcess and bfo:has_participant_at_some_time some (constr:Supplier or ((constr:BusinessOrganization or constr:Person) and constr:hasRole some constr:ConsignorRole)))