How would you characterize inheritance as applied in knowledge representation? Discuss the problems that arise due to non-monotony. How would you render the meaning of an inheritance lattice? Give some examples.