A logic for objects and inheritance