Pascal Coupey Default Exclusion in a KL-ONE-like Terminological Component. 23-32 1992 conf/ipmu/1992 IPMU db/conf/ipmu/ipmu1992.html#Coupey92