A Method of Similarity-Driven Knowledge Revision for Type Specializations