本发明公开一种基于整数线性规划(Integer Linear Programming,ILP)解决本体中逻辑矛盾的方法,给出了解决逻辑矛盾的ILP模型,即通过将给定的冲突集合转变为ILP表示,进而使用传统的ILP求解器获取最佳解决方案。本发明提出的基于ILP解决冲突的方法是一个通用的逻辑矛盾处理方法,不仅可以用于修复单个本体和本体映射,还可以用于做本体修正或本体演化。
本发明的分子标记引物组合由SSR分子标记引物对和ILP分子标记引物对组成;所述SSR分子标记引物对为SEQ ID NO.1‑SEQ ID NO.10所示的5对引物中的至少一对;所述ILP分子标记引物对为本发明将茶树的SSR、ILP分子标记引物与茶树的干旱胁迫相关联,有利于分子辅助育种、增强茶树的抗逆性及遗传资源的保存。