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

【Abstract】 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.更多还原