Modelling a Warehouse with SLICER: A Contribution to the MULTI Warehouse Challenge

In this paper we apply the SLICER multi-level modelling framework on the MULTI 2024 Warehouse Challenge. SLICER was first introduced at the ER 2015 conference[17] and formally specified in [18]. It has been implemented in an object-oriented knowledge representation and reasoning system and the framework identifies additional semantic subcategories for the traditional object-oriented relationship types and uses these distinctions for a new style of formal characterisation of level relationships. The framework is executable via its implementation in a dynamic metamodeling and object logic environment. We first introduce SLICER, then describe its application on the Warehouse Challenge requirements and then discuss the advantages of the SLICER representation.