Non-monotonic inheritance for an object-oriented knowledge-base | lit.salon