Explicit Generalization as Generalization of Semantic Generalization

The semantic generalization was proposed. This generalization makes it possible for a kind of class to have attributes by considering the semantics of the attributes of the subclasses even if there is no common attribute in the subclasses. The attributes generalized can be specified by users rather than automatically decided. Validity of the generalization is examined by using a kind of semantics. This paper proposes more generalized generalization, explicit generalization, by considering this examination as a kind of test. This generalization uses it in making generalized attributes as well as makes the attributes be explicitly specified. This generalization is an extremely generalized one, while it has the mechanism ensuring the validity of the generalization.