作　　者： ; ; ;

机构地区： 深圳大学信息工程学院

出　　处： 《计算机科学》 2004年第4期104-107,共4页

摘　　要： 在利用领域本体知识库(DOKB)中已有领域本体构造新的领域模型或领域本体后,知识工程师需要检查新领域本体以确保其符合规则前提。使用约束条件可以令计算机自动解决这个问题,从而减少知识工程师的工作量,并加快知识的重用过程。 Having used domain ontology in DOKB (Domain Ontology Knowledge Base) to construct new domain model or domain ontology. Knowledge Engineer need to confirm that the new domain ontology fulfills the rule bases. Computer can do this automatically by using constraints, which will reduce the workload of the KE and hasten the reusing process of knowledge.

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

领　　域： [自动化与计算机技术] [自动化与计算机技术]