摘要： 在利用领域本体知识库(DOKB)中已有领域本体构造新的领域模型或领域本体后，知识工程师需要检查新领域本体以确保其符合规则前提。使用约束务件可以令计算机自动解决这个问题，从而减少知识工程师的工作量,并加快知识的重用过程。

关键词: 软件工程 领域知识库 CASE 领域本体 约束条件 计算机