Description Logic Unplugged.
Uwe Küssner · 1998
In [1], Bos introduces a general scheme of underspecification for a wide range of logics. In his approach he breaks down a formula into its parts and introduces variables, called holes, on argument positions. Each part gets a unique handle, called