5.3 基于约束概念格的天体光谱分类规则挖掘系统