Implicit requirements for ontological multi-level types in the UNICLASS classification. - Chris Partridge; Andrew Mitchell; Marco da Silva; Oscar Xiberta Soto; Matthew West 003; Mesbah Khan; Sergio de Cesare (MoDELS (Companion), 2020)