错误：知识一致性检查不可运行。
Error: The Knowledge Consistency Checker is non-operational.
知识一致性检查器(KCC)无法来建立跨越树拓扑。
The Knowledge Consistency Checker (KCC) was not able to build a spanning tree topology.
SOAD框架使得知识工程师以及软件架构师能够管理决策依赖，这样他们可以检查模型一致性并删除不相干的决策。
The SOAD framework lets knowledge engineers and software architects manage decision dependencies, so they can check model consistency and prune irrelevant decisions.
为了得到这些隐含的信息以及检查知识库的一致性，需要开发出相应的推理机引擎。
In order to get the hiding information and check the consistency of the KB, a reasoning engine should be developed.
为了得到这些隐含的信息以及检查知识库的一致性，需要开发出相应的推理机引擎。
In order to get the hiding information and check the consistency of the KB, a reasoning engine should be developed.
应用推荐