CEX公司

用CEX2.5进行逻辑差分计算。我们为本体论提供了一个新版本的CEX版本控制工具。CEX检测轻量级描述逻辑中非循环术语之间的逻辑差异,包括角色包含和域和范围限制。根据应用程序的不同,CEX输出术语之间的差异,这些术语捕获派生概念包含、实例查询的答案和连接查询的答案。通过对NCI本体版本的实验,对CEX的性能进行了评估,并比较了三种不同类型的差异。