Non-monotonic inheritance for an object-oriented knowledge-base