Modular knowledge representation and structural knowledgebase organization can reduce the com-plication of knowledgebasemaintenance.
知识表示模块化和知识库组织结构化有助于降低知识库维护的复杂性。
2
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledgebasemaintenance and mod...
根据一组导出的公理，应用自动推理技术，进行知识库维护与修改的有效性检查。
3
Based on a set of axioms, automated reasoning techniques are employ-edt to check the validity and integrity of the knowledgebasemaintenance and modification.