Handbook of Knowledge Representation