“…For instance, the expression father(X,Y) is a generalizer of both father(john,sam) and father(tom,sam), but their least general generalizer, also known as most specific generalizer (msg) and least common anti-instance (lcai), is father(X,sam). Applications of generalization arise in many artificial intelligence areas, including case-based reasoning, analogy making, web and data mining, ontology learning, machine learning, theorem proving, and inductive logic programming, among others [5,12,13,16].…”