| 姓名 | 状态 | 类型 | 时间（s） |
| 带有IntPlusFloatRestriction的测试枚举 | 成功 | | 1.162 |
| 测试NotXsdString | 成功 | | 0.304 |
| 测试日期时区 | 成功 | | 0.031 |
| 测试数据类型Def5 | 成功 | | 0.044 |
| 测试Alan的命名和数据类型 | 成功 | | 0.042 |
| 测试不同的词汇形式 | 成功 | | 0.026 |
| 测试文字自定义数据类型 | 成功 | | 0.016 |
| 测试刷新实体查询 | 成功 | | 0.056 |
| 测试分析错误 | 成功 | | 0.025 |
| testString缩写 | 成功 | | 0.047 |
| 测试语言缩写 | 成功 | | 0.028 |
| 测试数据类型非状态1 | 成功 | | 0.028 |
| 测试数据类型非状态2 | 成功 | | 0.060 |
| 测试数据类型非状态3 | 成功 | | 0.049 |
| 测试数据类型非状态4 | 成功 | | 0.031 |
| 测试日期时间2 | 成功 | | 0.031 |
| 测试信息 | 成功 | | 0.054 |
| 测试数据类型联合1 | 成功 | | 0.069 |
| 测试数据类型联合2 | 成功 | | 0.037 |
| 测试数据类型联合3 | 成功 | | 0.033 |
| 测试数据类型联合4 | 成功 | | 0.066 |
| 测试数据类型UnionIntersection 1 | 成功 | | 0.066 |
| 测试数据类型联合交集2 | 成功 | | 0.078 |
| 测试数据类型联合交集3 | 成功 | | 0.073 |
| 测试数据类型联合交集4 | 成功 | | 0.074 |
| 测试否定DPassertions | 成功 | | 0.067 |
| 测试小数 | 成功 | | 0.054 |
| 测试日期时间1 | 成功 | | 0.055 |
| 测试原理转换 | 成功 | | 2.438 |
| 测试数据类型卫星 | 成功 | | 0.029 |
| 测试最小包含最大包含 | 成功 | | 0.014 |
| 测试分离DPsUnsat | 成功 | | 0.015 |
| 测试DisjointDPsUnsatStrings | 成功 | | 0.023 |
| testDisjointDPsSatInteger测试分离DPsSat整数 | 成功 | | 0.015 |
| 从整数1测试所有值 | 成功 | | 0.016 |
| 从整数2测试所有值 | 成功 | | 0.016 |
| 测试来自混合1的所有值 | 成功 | | 0.016 |
| 测试来自混合2的所有值 | 成功 | | 0.018 |
| 测试来自不同类型1的所有值 | 成功 | | 0.016 |
| 测试不同类型的所有值2 | 成功 | | 0.020 |
| 测试不同类型的所有值3 | 成功 | | 0.025 |
| testNegZero1积分 | 成功 | | 0.028 |
| testNegZero2整数 | 成功 | | 0.030 |
| testIntPlusDecimal（测试整数加小数） | 成功 | | 0.036 |
| 测试IntPlusDecimal2 | 成功 | | 0.039 |
| 测试DecimalPlusOWLreal | 成功 | | 0.030 |
| 测试DecimalPlusInteger | 成功 | | 0.032 |
| 测试DifferentOneOfs | 成功 | | 0.042 |
| 测试浮动零点 | 成功 | | 0.030 |
| testFloatEnum不一致 | 成功 | | 0.036 |
| 测试原理1 | 成功 | | 0.030 |
| 测试原理2 | 成功 | | 0.031 |
| 测试原理3 | 成功 | | 0.048 |
| 测试自我不平等 | 成功 | | 0.046 |
| 测试数据类型定义1 | 成功 | | 0.024 |
| 测试数据类型定义2 | 成功 | | 0.028 |
| 测试数据类型定义3 | 成功 | | 0.012 |
| 测试数据类型Def4 | 成功 | | 0.012 |
| 测试数据类型Def6 | 成功 | | 0.012 |
| testDecimalNotInteger_2 | 成功 | | 0.014 |
| testDecimalNotInteger_3 | 成功 | | 0.016 |
| 测试枚举Int_3 | 成功 | | 0.019 |
| 测试整数范围2_1 | 成功 | | 0.016 |
| 测试枚举Int_2 | 成功 | | 0.018 |
| 测试整数范围1 | 成功 | | 0.016 |
| 测试枚举Int_1 | 成功 | | 0.244 |
| 测试最小包含Int_2 | 成功 | | 0.013 |
| 测试最小排除秒 | 成功 | | 0.012 |
| 测试最大包含Int | 成功 | | 0.013 |
| 测试最大包容性Int_2 | 成功 | | 0.013 |
| 测试最大排除秒 | 成功 | | 0.013 |
| 测试枚举Int_5 | 成功 | | 0.014 |
| 测试EnumIntNEX_1 | 成功 | | 0.014 |
| 测试枚举IntNEQ_2 | 成功 | | 0.016 |
| 测试枚举IntNEQ_3 | 成功 | | 0.017 |
| 测试枚举IntNEQ_4 | 成功 | | 0.017 |
| 测试枚举IntNEQ_5 | 成功 | | 0.017 |
| 测试最小最大Equal_1 | 成功 | | 0.012 |
| 测试最小最大等于2 | 成功 | | 0.011 |
| 测试最小最大Equal_3 | 成功 | | 0.012 |
| 测试最小最大Equal_4 | 成功 | | 0.027 |
| 测试无效最小值最大值 | 成功 | | 0.040 |
| 测试小数减去_1 | 成功 | | 0.020 |
| 测试RealNotDecimal | 成功 | | 0.011 |
| 测试实际未小数_2 | 成功 | | 0.011 |
| 测试最小包含Int | 成功 | | 0.011 |
| 测试枚举Int_4 | 成功 | | 0.013 |
| 测试整数范围2_4 | 成功 | | 0.019 |
| testDecimalNotInteger_1 | 成功 | | 0.019 |
| 测试小数减2 | 成功 | | 0.028 |
| 测试小数减3 | 成功 | | 0.020 |
| 测试小数减去4 | 成功 | | 0.014 |
| 测试小数减去InNEQ_1 | 成功 | | 0.015 |
| 测试小数减去NEQ_2 | 成功 | | 0.015 |
| 测试小数减去NEQ_3 | 成功 | | 0.015 |
| 测试LargeRange1_1 | 成功 | | 0.697 |
| 测试大范围1_2 | 成功 | | 0.533 |
| 测试大范围1_3 | 成功 | | 0.552 |
| 测试大范围2_1 | 成功 | | 0.085 |
| 测试大范围2_2 | 成功 | | 0.086 |
| 测试大范围2_3 | 成功 | | 0.090 |
| testClique（测试团） | 成功 | | 0.249 |
| 测试整数范围2_2 | 成功 | | 0.014 |
| 测试整数范围2_3 | 成功 | | 0.019 |
| 测试长度h_1 | 成功 | | 0.019 |
| 测试图案和长度1_3 | 成功 | | 0.016 |
| 测试模式和长度2 | 成功 | | 0.003 |
| 测试模式和长度3 | 成功 | | 0.004 |
| 测试模式补充1_1 | 成功 | | 0.020 |
| 测试模式补充1_2 | 成功 | | 0.023 |
| 测试模式补充1_3 | 成功 | | 0.015 |
| 测试补充2 | 成功 | | 0.004 |
| 测试补充3 | 成功 | | 0.001 |
| 测试补充4 | 成功 | | 0.007 |
| 测试语言范围1 | 成功 | | 0.003 |
| 测试语言范围2 | 成功 | | 0.004 |
| testInvalidStringLiterals测试无效字符串文字 | 成功 | | 0.001 |
| 测试长度2 | 成功 | | 0.011 |
| 测试长度h_3 | 成功 | | 0.012 |
| 测试长度h_4 | 成功 | | 0.012 |
| 测试长度_5 | 成功 | | 0.012 |
| 测试尺寸_1 | 成功 | | 0.010 |
| 测试大小_2 | 成功 | | 0.011 |
| 测试尺寸_3 | 成功 | | 0.011 |
| 测试交叉点_1 | 成功 | | 0.011 |
| 测试交叉口_2 | 成功 | | 0.011 |
| testExplicitSize测试显式大小 | 成功 | | 0 |
| testEnumerate（测试枚举） | 成功 | | 0 |
| 测试模式1_1 | 成功 | | 0.013 |
| 测试模式1_2 | 成功 | | 0.015 |
| 测试模式2_1 | 成功 | | 0.016 |
| 测试模式2_2 | 成功 | | 0.018 |
| 测试模式3 | 成功 | | 0.014 |
| 测试图案和长度1_1 | 成功 | | 0.013 |
| 测试图案和长度1_2 | 成功 | | 0.014 |
| 测试长度h_1 | 成功 | | 0.012 |
| testInvalidAnyURI文字 | 成功 | | 0.001 |
| 测试图案和长度1_3 | 成功 | | 0.013 |
| 测试模式和长度2 | 成功 | | 0.002 |
| 测试模式和长度3 | 成功 | | 0.003 |
| 测试模式补充1_1 | 成功 | | 0.112 |
| 测试模式补充1_2 | 成功 | | 0.112 |
| 测试模式补充1_3 | 成功 | | 0.029 |
| 测试补充2 | 成功 | | 0.031 |
| 测试补充3 | 成功 | | 0.037 |
| 测试补充4 | 成功 | | 0.035 |
| 测试长度2 | 成功 | | 0.018 |
| 测试长度h_3 | 成功 | | 0.023 |
| 测试长度_4 | 成功 | | 0.015 |
| 测试长度_5 | 成功 | | 0.015 |
| 测试大小_1 | 成功 | | 0.010 |
| 测试尺寸_2 | 成功 | | 0.018 |
| 测试尺寸_3 | 成功 | | 0.011 |
| 测试模式1_1 | 成功 | | 0.012 |
| 测试模式1_2 | 成功 | | 0.014 |
| 测试模式2_1 | 成功 | | 0.014 |
| 测试模式2_2 | 成功 | | 0.026 |
| 测试模式3 | 成功 | | 0.013 |
| 测试图案和长度1_1 | 成功 | | 0.012 |
| 测试图案和长度1_2 | 成功 | | 0.015 |
| 测试交叉口 | 成功 | | 0.067 |
| 测试信息 | 成功 | | 0.009 |
| 测试浮动范围 | 成功 | | 0.009 |
| 测试浮动零点范围_2 | 成功 | | 0.011 |
| 测试浮动零点范围_3 | 成功 | | 0.010 |
| 测试浮动范围枚举 | 成功 | | 0.011 |
| 测试浮点NaN_1 | 成功 | | 0.009 |
| 测试浮点NaN_2 | 成功 | | 0.010 |
| 测试浮点NaN_3 | 成功 | | 0.010 |
| 测试浮点数_1 | 成功 | | 0.010 |
| 测试浮点数_2 | 成功 | | 0.012 |
| 测试浮点数_3 | 成功 | | 0.019 |
| 测试浮动和双重 | 成功 | | 0.009 |
| 测试双范围 | 成功 | | 0.009 |
| 测试双零范围_1 | 成功 | | 0.012 |
| 测试双零范围_2 | 成功 | | 0.011 |
| 测试双零范围_3 | 成功 | | 0.011 |
| testDoubleRangeEnum测试双范围枚举 | 成功 | | 0.011 |
| 测试双NaN_1 | 成功 | | 0.009 |
| 测试双NaN_2 | 成功 | | 0.009 |
| 测试双NaN_3 | 成功 | | 0.009 |
| 测试双数_1 | 成功 | | 0.009 |
| 测试双数_2 | 成功 | | 0.010 |
| 测试双数_3 | 成功 | | 0.016 |
| 测试浮动零点范围_1 | 成功 | | 0.010 |
| 测试不含TZ1的精确间隔 | 成功 | | 0.001 |
| 测试不带TZ2的精确间隔 | 成功 | | 0.001 |
| 使用TZ1测试精确间隔 | 成功 | | 0.221 |
| 使用TZ2测试精确间隔 | 成功 | | 0.042 |
| 使用TZ3测试精确间隔 | 成功 | | 0.043 |
| 测试Finite1_2 | 成功 | | 0.013 |
| 测试限定2_1 | 成功 | | 0.014 |
| 测试Finite2_2 | 成功 | | 0.015 |
| 测试无限_1 | 成功 | | 0.095 |
| 测试成员 | 成功 | | 0.011 |
| 测试无限_2 | 成功 | | 0.067 |
| 测试MizedTZs_1 | 成功 | | 0.010 |
| 测试MizedTZs_2 | 成功 | | 0.009 |
| 测试MizedTZs_3 | 成功 | | 0.063 |
| 测试分析 | 成功 | | 0.002 |
| 测试完成1_1 | 成功 | | 0.010 |
| 测试长度h_1 | 成功 | | 0.011 |
| 测试长度_2 | 成功 | | 0.010 |
| 测试长度h_3 | 成功 | | 0.011 |
| 测试长度h_4 | 成功 | | 0.010 |
| 测试长度_5 | 成功 | | 0.010 |
| 测试尺寸_1 | 成功 | | 0.009 |
| 测试尺寸_2 | 成功 | | 0.010 |
| 测试尺寸_3 | 成功 | | 0.009 |
| 测试交叉口_1 | 成功 | | 0.009 |
| 测试交叉口_2 | 成功 | | 0.011 |
| testExplicitSize测试显式大小 | 成功 | | 0 |
| 测试分析_1 | 成功 | | 0.009 |
| 测试分析_2 | 成功 | | 0.009 |
| 测试枚举1 | 成功 | | 0.007 |
| 测试枚举2 | 成功 | | 0.001 |
| testBase64解析 | 成功 | | 0.002 |
| 测试规范化_2 | 成功 | | 0.122 |
| 测试范围_2 | 成功 | | 0.009 |
| 测试范围_3 | 成功 | | 0.010 |
| 测试成员资格_1 | 成功 | | 0.010 |
| 测试成员资格_2 | 成功 | | 0.011 |
| 测试规范化_1 | 成功 | | 0.012 |
| 测试范围_1 | 成功 | | 0.085 |
| 测试日期时间2 | 成功 | | 0.009 |
| 测试FreshEntityEntailment | 成功 | | 0.032 |
| 测试通用角色订阅 | 成功 | | 0.027 |
| 测试预计算DisjointClasss | 成功 | | 0.044 |
| 测试键3 | 成功 | | 0.019 |
| 测试等效类实例 | 成功 | | 0.010 |
| 测试对象属性SubsumptionsNoNoNominals | 成功 | | 0.035 |
| 测试对象属性包含标称值 | 成功 | | 0.031 |
| 测试底部对象属性断言 | 成功 | | 0.037 |
| 测试数据属性详细信息 | 成功 | | 0.102 |
| 测试属性实例检索 | 成功 | | 0.057 |
| 测试分类子类错误 | 成功 | | 0.827 |
| 非简单测试否定对象属性断言 | 成功 | | 0.031 |
| 来自Alan的测试属性启用 | 成功 | | 0.031 |
| 测试子属性 | 成功 | | 0.077 |
| 测试未知类别层次结构位置 | 成功 | | 0.019 |
| 测试未知数据类型 | 成功 | | 0.020 |
| 测试角色链 | 成功 | | 0.048 |
| 具有传递对称性的测试角色链 | 成功 | | 0.037 |
| 测试角色Subsumption with ChainsTransitiveSymmetric | 成功 | | 0.069 |
| 测试角色替换 | 成功 | | 0.015 |
| 测试Is功能数据 | 成功 | | 0.019 |
| testIsFunctional对象 | 成功 | | 0.018 |
| testIsInverse函数对象 | 成功 | | 0.027 |
| 测试IsReflexiveObject | 成功 | | 0.012 |
| testIsIreflexive对象 | 成功 | | 0.011 |
| 测试SameAs | 成功 | | 0.008 |
| 测试空链 | 成功 | | 0.035 |
| 层次结构中的testOnyDeclaredEntitiesInHierarchy | 成功 | | 0.016 |
| 测试已包含 | 成功 | | 0.012 |
| 测试通用角色分区ABox | 成功 | | 0.012 |
| 测试以相同方式递增 | 成功 | | 0.008 |
| 测试分类有验证块错误 | 成功 | | 0.025 |
| 带有否定HasValue的测试增量 | 成功 | | 0.042 |
| 测试具有HasValue的增量 | 成功 | | 0.049 |
| 带否定类的测试增量 | 成功 | | 0.021 |
| 测试类增量 | 成功 | | 0.038 |
| 带有否定的自身的测试增量 | 成功 | | 0.023 |
| 有自测试增量 | 成功 | | 0.047 |
| 使用新名称测试增量 | 成功 | | 0.035 |
| testInstanteManager错误 | 成功 | | 0.023 |
| 测试TopOP等效性 | 成功 | | 0.011 |
| 测试反射和相同 | 成功 | | 0.020 |
| 测试是对称对象 | 成功 | | 0.020 |
| testIsAsymmetric对象 | 成功 | | 0.015 |
| 测试IsTransitiveObject | 成功 | | 0.015 |
| 测试学习回溯 | 成功 | | 0.123 |
| 测试对象属性域移动Bug | 成功 | | 0.011 |
| 测试数据类型文字 | 成功 | | 0.033 |
| testIndividualRetrievalBug | 成功 | | 0.008 |
| test直接 | 成功 | | 0.022 |
| 测试个人检索 | 成功 | | 0.037 |
| 测试数据类型限制 | 成功 | | 0.017 |
| testAnonymousIndividualConstraints测试匿名个人约束 | 成功 | | 0.012 |
| 测试匿名个人约束2 | 成功 | | 0.012 |
| 测试匿名个人约束3 | 成功 | | 0.016 |
| 测试匿名个人约束4 | 成功 | | 0.009 |
| 测试传递性 | 成功 | | 0.031 |
| 测试Sub和Super概念 | 成功 | | 0.018 |
| 测试子角色和超级角色 | 成功 | | 0.031 |
| 测试子角色链 | 成功 | | 0.090 |
| testHasKeyEntailment（测试密钥插入） | 成功 | | 0.022 |
| testHasKeyNonEntailment（测试密钥未包含） | 成功 | | 0.018 |
| 测试数据类型定义详细信息 | 成功 | | 0.054 |
| 测试域范围 | 成功 | | 0.022 |
| 测试链1 | 成功 | | 0.011 |
| 测试链2 | 成功 | | 0.009 |
| 测试链3 | 成功 | | 0.010 |
| 测试链4 | 成功 | | 0.010 |
| 测试匿名个人1 | 成功 | | 0.009 |
| 测试日期时间 | 成功 | | 0.009 |
| 测试数据范围 | 成功 | | 0.009 |
| 测试底部数据属性 | 成功 | | 0.007 |
| 测试链 | 成功 | | 0.016 |
| 测试具有仅命名的键 | 成功 | | 0.026 |
| 测试否定数据属性断言 | 成功 | | 0.015 |
| 测试键 | 成功 | | 0.025 |
| 测试键否定类 | 成功 | | 0.018 |
| 测试非唯一键 | 成功 | | 0.017 |
| 测试非唯一键2 | 成功 | | 0.027 |
| 测试层次打印1 | 成功 | | 0.427 |
| 测试层次打印2 | 成功 | | 0.065 |
| 测试层次打印3 | 成功 | | 0.010 |
| 测试对象属性层次结构 | 成功 | | 0.027 |
| 测试语义对象属性分类 | 成功 | | 0.014 |
| 测试数据属性层次结构 | 成功 | | 0.054 |
| 测试数据属性语义 | 成功 | | 0.025 |
| 测试语义数据属性分类 | 成功 | | 0.016 |
| 测试复杂性概念实例检索 | 成功 | | 0.067 |
| 测试Widmann1 | 成功 | | 0.036 |
| 测试Widmann2 | 成功 | | 0.057 |
| 测试Widmann3 | 成功 | | 1.615 |
| 测试自反性 | 成功 | | 0.007 |
| 测试负极属性 | 成功 | | 0.009 |
| 测试灵活性 | 成功 | | 0.007 |
| 测试角色Disjoinness_1 | 成功 | | 0.009 |
| 测试角色Disjoinness_2 | 成功 | | 0.007 |
| 测试角色分离度2 | 成功 | | 0.009 |
| 测试存在自我1 | 成功 | | 0.007 |
| 测试存在自身2 | 成功 | | 0.009 |
| 测试不对称性 | 成功 | | 0.007 |
| 测试可满足性1 | 成功 | | 0.006 |
| 测试可满足性2 | 成功 | | 0.007 |
| 测试可满足性3 | 成功 | | 0.008 |
| 测试可满足性4 | 成功 | | 0.008 |
| 测试更改 | 成功 | | 0.020 |
| 测试消耗1 | 成功 | | 0.008 |
| 测试消耗2 | 成功 | | 0.008 |
| 测试消耗3 | 成功 | | 0.009 |
| 测试HeinsohnTBox1 | 成功 | | 0.028 |
| 测试HeinsohnTBox2 | 成功 | | 0.026 |
| 测试HeinsohnTBox3c | 成功 | | 0.035 |
| 测试HeinsohnTBox3cIrh | 成功 | | 0.013 |
| 测试HeinsohnTBox3 | 成功 | | 0.049 |
| testHeinsohnTBox3修改 | 成功 | | 0.010 |
| 测试HeinsohnTBox4a | 成功 | | 0.008 |
| 测试HeinsohnTBox4b | 成功 | | 0.010 |
| 测试HeinsohnTBox7 | 成功 | | 0.008 |
| 测试IanT1a | 成功 | | 0.013 |
| 测试IanT1b | 成功 | | 0.065 |
| 测试IanT1c | 成功 | | 0.013 |
| 测试IanT2 | 成功 | | 0.011 |
| 测试IanT3 | 成功 | | 0.128 |
| 测试IanT4 | 成功 | | 0.030 |
| 测试IanT5 | 成功 | | 0.014 |
| 测试IanT6 | 成功 | | 0.014 |
| testIanT7a测试 | 成功 | | 0.014 |
| 测试IanT7b | 成功 | | 0.022 |
| 测试IanT7c | 成功 | | 0.024 |
| testIanT8a测试 | 成功 | | 0.024 |
| 测试IanT8 | 成功 | | 0.017 |
| 测试IanT9 | 成功 | | 0.019 |
| 测试IanT10 | 成功 | | 0.019 |
| 测试IanT11 | 成功 | | 0.009 |
| 测试IanT12 | 成功 | | 0.024 |
| 测试IanT13 | 成功 | | 0.027 |
| 测试IanFact1 | 成功 | | 0.009 |
| 测试IanFact2 | 成功 | | 0.014 |
| 测试IanFact3 | 成功 | | 0.015 |
| 测试IanAct4 | 成功 | | 0.014 |
| 测试IanBug1b | 成功 | | 0.009 |
| 测试IanBug3 | 成功 | | 0.038 |
| 测试IanBug4 | 成功 | | 0.030 |
| 测试IanBug5 | 成功 | | 0.017 |
| 测试IanBug6 | 成功 | | 0.021 |
| 测试IanBug7 | 成功 | | 0.009 |
| 测试IanBug8 | 成功 | | 0.010 |
| 测试IanMerge测试1 | 成功 | | 0.037 |
| 测试IanMerge测试2 | 成功 | | 0.045 |
| testIanQNR测试 | 成功 | | 0.025 |
| 测试I递归定义测试1 | 成功 | | 0.030 |
| 测试I递归定义测试2 | 成功 | | 0.036 |
| 测试I递归定义测试3 | 成功 | | 0.039 |
| 测试仪背越1 | 成功 | | 0.047 |
| 测试跑道背越2 | 成功 | | 0.055 |
| 测试跑道背越3 | 成功 | | 0.030 |
| 测试名称1 | 成功 | | 0.007 |
| 测试名义值2 | 成功 | | 0.043 |
| 测试名称3 | 成功 | | 0.013 |
| 测试名称4 | 成功 | | 0.016 |
| 测试名称5 | 成功 | | 0.014 |
| 测试名称6 | 成功 | | 0.016 |
| testDependencyDisjunctionMergingBug | 成功 | | 0.018 |
| 测试新提名 | 成功 | | 0.008 |
| 测试键1 | 成功 | | 0.025 |
| 测试密钥2 | 成功 | | 0.015 |
| 测试名义合并 | 成功 | | 0.009 |
| testNIRuleBlockingWithUnraveling（测试NI规则块，带取消行程） | 成功 | | 0.075 |
| 测试双关 | 成功 | | 0.007 |
| 测试Punning2 | 成功 | | 0.016 |
| 测试Punning3 | 成功 | | 0.016 |
| 测试反向2 | 成功 | | 0.017 |
| 测试MissingCBug | 成功 | | 0.020 |
| 测试反向 | 成功 | | 0.020 |
| 测试匿名个人2 | 成功 | | 0.006 |
| 测试匿名个人3 | 成功 | | 0.009 |
| 测试RIA1的可满足性 | 成功 | | 0.034 |
| 测试RIA2的可满足性 | 成功 | | 0.033 |
| 测试RIA3的满意度 | 成功 | | 0.031 |
| 测试RIAs4的满意度 | 成功 | | 0.023 |
| RIAs5测试满意度 | 成功 | | 0.009 |
| RIAs6测试满意度 | 成功 | | 0.009 |
| 测试RIAs7的满意度 | 成功 | | 0.009 |
| 测试RIAs的满意度8 | 成功 | | 0.011 |
| 测试RIAs9的满意度 | 成功 | | 0.010 |
| 测试RIA的满意度10 | 成功 | | 0.012 |
| 测试RIA的满意度11 | 成功 | | 0.011 |
| 测试RIA1b的可满足性 | 成功 | | 0.015 |
| RIA测试满意度12 | 成功 | | 0.011 |
| 测试RIA的满意度13 | 成功 | | 0.016 |
| 使用RIA测试满意度14 | 成功 | | 0.013 |
| 测试日期时间2 | 成功 | | 0.010 |
| 测试FreshEntityEntailment | 成功 | | 0.010 |
| 测试通用角色订阅 | 成功 | | 0.015 |
| 测试预计算DisjointClasss | 成功 | | 0.061 |
| 测试键3 | 成功 | | 0.020 |
| 测试等效类实例 | 成功 | | 0.020 |
| 测试对象属性SubsumptionsNoNoNominals | 成功 | | 0.035 |
| 测试对象属性包含标称值 | 成功 | | 0.021 |
| 测试底部对象属性断言 | 成功 | | 0.023 |
| 测试数据属性详细信息 | 成功 | | 0.022 |
| 测试属性实例检索 | 成功 | | 0.028 |
| 测试分类子类错误 | 成功 | | 0.439 |
| 非简单测试否定对象属性断言 | 成功 | | 0.013 |
| 来自Alan的测试属性启用 | 成功 | | 0.012 |
| 测试子属性 | 成功 | | 0.126 |
| 测试未知类别层次结构位置 | 成功 | | 0.018 |
| 测试未知数据类型 | 成功 | | 0.023 |
| 测试角色链 | 成功 | | 0.035 |
| 具有传递对称性的测试角色链 | 成功 | | 0.037 |
| 测试角色带链的子泵传输对称 | 成功 | | 0.044 |
| 测试角色替换 | 成功 | | 0.022 |
| 测试功能数据 | 成功 | | 0.014 |
| 测试IsFunctionalObject | 成功 | | 0.018 |
| testIsInverse函数对象 | 成功 | | 0.019 |
| 测试IsReflexiveObject | 成功 | | 0.026 |
| testIsIreflexive对象 | 成功 | | 0.008 |
| 测试SameAs | 成功 | | 0.019 |
| 测试空链 | 成功 | | 0.021 |
| 层次结构中的testOnyDeclaredEntitiesInHierarchy | 成功 | | 0.018 |
| 测试已包含 | 成功 | | 0.021 |
| 测试通用角色分区ABox | 成功 | | 0.020 |
| 测试以相同方式递增 | 成功 | | 0.017 |
| 测试分类有验证块错误 | 成功 | | 0.044 |
| 带有否定HasValue的测试增量 | 成功 | | 0.035 |
| 测试具有HasValue的增量 | 成功 | | 0.017 |
| 带否定类的测试增量 | 成功 | | 0.014 |
| 测试类增量 | 成功 | | 0.016 |
| 带有否定的自身的测试增量 | 成功 | | 0.020 |
| 有自测试增量 | 成功 | | 0.065 |
| 使用新名称测试增量 | 成功 | | 0.022 |
| testInstanteManager错误 | 成功 | | 0.035 |
| 测试TopOP等效性 | 成功 | | 0.027 |
| 测试反射和相同 | 成功 | | 0.018 |
| 测试是对称对象 | 成功 | | 0.028 |
| testIsAsymmetric对象 | 成功 | | 0.026 |
| 测试IsTransitiveObject | 成功 | | 0.021 |
| 测试学习回溯 | 成功 | | 0.033 |
| 测试对象属性域TimothyBug | 成功 | | 0.009 |
| 测试数据类型文字 | 成功 | | 0.030 |
| testIndividualRetrievalBug | 成功 | | 0.007 |
| test直接 | 成功 | | 0.012 |
| 测试个人检索 | 成功 | | 0.014 |
| 测试数据类型限制 | 成功 | | 0.010 |
| testAnonymousIndividualConstraints测试匿名个人约束 | 成功 | | 0.005 |
| 测试匿名个人约束2 | 成功 | | 0.005 |
| 测试匿名个人约束3 | 成功 | | 0.005 |
| 测试匿名个人约束4 | 成功 | | 0.005 |
| 测试传递性 | 成功 | | 0.009 |
| 测试Sub和Super概念 | 成功 | | 0.009 |
| 测试子角色和超级角色 | 成功 | | 0.010 |
| 测试子角色链 | 成功 | | 0.008 |
| testHasKeyEntailment（测试密钥插入） | 成功 | | 0.017 |
| testHasKeyNonEntailment（测试密钥未包含） | 成功 | | 0.018 |
| 测试数据类型定义详细信息 | 成功 | | 0.035 |
| 测试域范围 | 成功 | | 0.022 |
| 测试链1 | 成功 | | 0.022 |
| 测试链2 | 成功 | | 0.008 |
| 测试链3 | 成功 | | 0.009 |
| 测试链4 | 成功 | | 0.008 |
| 测试匿名个人1 | 成功 | | 0.014 |
| 测试日期时间 | 成功 | | 0.014 |
| 测试数据范围 | 成功 | | 0.014 |
| 测试底部数据属性 | 成功 | | 0.015 |
| 测试链 | 成功 | | 0.016 |
| testHasKeysOnly命名 | 成功 | | 0.020 |
| 测试否定数据属性断言 | 成功 | | 0.016 |
| 测试键 | 成功 | | 0.017 |
| 测试键否定类 | 成功 | | 0.010 |
| 测试非唯一键 | 成功 | | 0.011 |
| 测试非唯一键2 | 成功 | | 0.013 |
| 测试层次打印1 | 成功 | | 0.155 |
| 测试层次打印2 | 成功 | | 0.087 |
| 测试层次打印3 | 成功 | | 0.011 |
| 测试对象属性层次结构 | 成功 | | 0.017 |
| 测试语义对象属性分类 | 成功 | | 0.018 |
| 测试数据属性层次结构 | 成功 | | 0.092 |
| 测试数据属性语义 | 成功 | | 0.008 |
| 测试语义数据属性分类 | 成功 | | 0.011 |
| 测试复杂性概念实例检索 | 成功 | | 0.030 |
| 测试Widmann1 | 成功 | | 0.012 |
| 测试Widmann2 | 成功 | | 0.010 |
| 测试Widmann3 | 成功 | | 0.283 |
| 测试自反性 | 成功 | | 0.013 |
| 测试负极属性 | 成功 | | 0.015 |
| 测试灵活性 | 成功 | | 0.009 |
| 测试角色Disjointness_1 | 成功 | | 0.018 |
| 测试角色Disjointness_2 | 成功 | | 0.017 |
| 测试角色分离度2 | 成功 | | 0.018 |
| 测试存在自我1 | 成功 | | 0.014 |
| 测试存在self2 | 成功 | | 0.019 |
| 测试不对称性 | 成功 | | 0.014 |
| 测试可满足性1 | 成功 | | 0.014 |
| 测试可满足性2 | 成功 | | 0.009 |
| 测试可满足性3 | 成功 | | 0.014 |
| 测试可满足性4 | 成功 | | 0.015 |
| 测试更改 | 成功 | | 0.034 |
| 测试消耗1 | 成功 | | 0.021 |
| 测试消耗2 | 成功 | | 0.013 |
| 测试消耗3 | 成功 | | 0.017 |
| 测试HeinsohnTBox1 | 成功 | | 0.024 |
| 测试HeinsohnTBox2 | 成功 | | 0.018 |
| 测试HeinsohnTBox3c | 成功 | | 0.014 |
| 测试HeinsohnTBox3cIrh | 成功 | | 0.011 |
| 测试HeinsohnTBox3 | 成功 | | 0.032 |
| testHeinsohnTBox3修改 | 成功 | | 0.010 |
| 测试HeinsohnTBox4a | 成功 | | 0.007 |
| 测试HeinsohnTBox4b | 成功 | | 0.009 |
| 测试HeinsohnTBox7 | 成功 | | 0.008 |
| 测试IanT1a | 成功 | | 0.012 |
| 测试IanT1b | 成功 | | 0.011 |
| 测试IanT1c | 成功 | | 0.011 |
| 测试IanT2 | 成功 | | 0.010 |
| 测试IanT3 | 成功 | | 0.195 |
| 测试IanT4 | 成功 | | 0.042 |
| 测试IanT5 | 成功 | | 0.018 |
| 测试IanT6 | 成功 | | 0.012 |
| testIanT7a测试 | 成功 | | 0.011 |
| 测试IanT7b | 成功 | | 0.012 |
| 测试IanT7c | 成功 | | 0.009 |
| testIanT8a测试 | 成功 | | 0.008 |
| 测试IanT8 | 成功 | | 0.016 |
| 测试IanT9 | 成功 | | 0.018 |
| 测试IanT10 | 成功 | | 0.037 |
| 测试IanT11 | 成功 | | 0.016 |
| 测试IanT12 | 成功 | | 0.018 |
| 测试IanT13 | 成功 | | 0.034 |
| 测试IanFact1 | 成功 | | 0.007 |
| 测试IanFact2 | 成功 | | 0.007 |
| 测试IanFact3 | 成功 | | 0.009 |
| 测试IanFact4 | 成功 | | 0.012 |
| 测试IanBug1b | 成功 | | 0.008 |
| 测试IanBug3 | 成功 | | 0.033 |
| 测试IanBug4 | 成功 | | 0.024 |
| 测试IanBug5 | 成功 | | 0.018 |
| 8月6日测试 | 成功 | | 0.021 |
| 测试IanBug7 | 成功 | | 0.018 |
| 测试IanBug8 | 成功 | | 0.021 |
| 测试IanMerge测试1 | 成功 | | 0.022 |
| 测试IanMerge测试2 | 成功 | | 0.028 |
| testIanQNR测试 | 成功 | | 0.016 |
| 测试I递归定义测试1 | 成功 | | 0.011 |
| 测试I递归定义测试2 | 成功 | | 0.013 |
| 测试I递归定义测试3 | 成功 | | 0.014 |
| 测试仪背越1 | 成功 | | 0.031 |
| 测试跑道背越2 | 成功 | | 0.031 |
| 测试跑道背越3 | 成功 | | 0.025 |
| 测试名称1 | 成功 | | 0.007 |
| 测试名义值2 | 成功 | | 0.010 |
| 测试名称3 | 成功 | | 0.010 |
| 测试名称4 | 成功 | | 0.011 |
| 测试名称5 | 成功 | | 0.011 |
| 测试名称6 | 成功 | | 0.010 |
| testDependencyDisjunctionMergingBug | 成功 | | 0.013 |
| 测试新标称值 | 成功 | | 0.007 |
| 测试键1 | 成功 | | 0.008 |
| 测试键2 | 成功 | | 0.009 |
| 测试名义合并 | 成功 | | 0.007 |
| testNIRuleBlockingWithUnraveling（测试NI规则块，带取消行程） | 成功 | | 0.052 |
| 测试双关 | 成功 | | 0.014 |
| 测试Punning2 | 成功 | | 0.013 |
| 测试Punning3 | 成功 | | 0.007 |
| 测试反向2 | 成功 | | 0.007 |
| 测试MissingCBug | 成功 | | 0.009 |
| 测试反向 | 成功 | | 0.007 |
| 测试匿名个人2 | 成功 | | 0.006 |
| 测试匿名个人3 | 成功 | | 0.006 |
| 测试RIA1的可满足性 | 成功 | | 0.013 |
| 测试RIA2的可满足性 | 成功 | | 0.012 |
| 测试RIA3的满意度 | 成功 | | 0.011 |
| 测试RIAs4的满意度 | 成功 | | 0.009 |
| RIAs5测试满意度 | 成功 | | 0.008 |
| RIAs6测试满意度 | 成功 | | 0.008 |
| 测试RIAs7的满意度 | 成功 | | 0.008 |
| 测试RIAs的满意度8 | 成功 | | 0.009 |
| 测试RIAs9的满意度 | 成功 | | 0.009 |
| 测试RIA的满意度10 | 成功 | | 0.012 |
| 测试RIA的满意度11 | 成功 | | 0.009 |
| 测试RIA1b的可满足性 | 成功 | | 0.011 |
| RIA测试满意度12 | 成功 | | 0.008 |
| 测试RIA的满意度13 | 成功 | | 0.011 |
| 使用RIA测试满意度14 | 成功 | | 0.009 |
| 测试扩展 | 成功 | | 0.029 |
| 测试Widmann2 | 成功 | | 0.028 |
| 测试IanT6 | 成功 | | 0.018 |
| 测试IanT9 | 成功 | | 0.023 |
| testDependencyDisjunctionMergingBug | 成功 | | 0.001 |
| 测试日期时间2 | 成功 | | 0.008 |
| 测试FreshEntityEntailment | 成功 | | 0.009 |
| 测试通用角色订阅 | 成功 | | 0.013 |
| 测试预计算DisjointClasss | 成功 | | 0.118 |
| 测试键3 | 成功 | | 0.010 |
| 测试等效类实例 | 成功 | | 0.008 |
| 测试对象属性SubsumptionsNoNoNominals | 成功 | | 0.011 |
| 测试对象属性包含标称值 | 成功 | | 0.010 |
| 测试底部对象属性断言 | 成功 | | 0.007 |
| 测试数据属性详细信息 | 成功 | | 0.013 |
| 测试属性实例检索 | 成功 | | 0.018 |
| 测试分类子类错误 | 成功 | | 0.551 |
| 非简单测试否定对象属性断言 | 成功 | | 0.010 |
| 来自Alan的测试属性启用 | 成功 | | 0.011 |
| 测试子属性 | 成功 | | 0.025 |
| 测试未知类别层次结构位置 | 成功 | | 0.007 |
| 测试未知数据类型 | 成功 | | 0.008 |
| 测试角色链 | 成功 | | 0.017 |
| 具有传递对称性的测试角色链 | 成功 | | 0.011 |
| 测试角色带链的子泵传输对称 | 成功 | | 0.026 |
| 测试角色替换 | 成功 | | 0.010 |
| 测试Is功能数据 | 成功 | | 0.007 |
| 测试IsFunctionalObject | 成功 | | 0.008 |
| testIsInverse函数对象 | 成功 | | 0.008 |
| 测试IsReflexiveObject | 成功 | | 0.009 |
| testIsIreflexive对象 | 成功 | | 0.007 |
| 测试SameAs | 成功 | | 0.007 |
| 测试空链 | 成功 | | 0.007 |
| 层次结构中的testOnyDeclaredEntitiesInHierarchy | 成功 | | 0.009 |
| 测试已包含 | 成功 | | 0.008 |
| 测试通用角色分区ABox | 成功 | | 0.008 |
| 测试以相同方式递增 | 成功 | | 0.006 |
| 测试分类有验证块错误 | 成功 | | 0.023 |
| 带有否定HasValue的测试增量 | 成功 | | 0.034 |
| 测试具有HasValue的增量 | 成功 | | 0.029 |
| 带否定类的测试增量 | 成功 | | 0.026 |
| 测试IncrementalWithClass | 成功 | | 0.014 |
| 带有否定的自身的测试增量 | 成功 | | 0.010 |
| 有自测试增量 | 成功 | | 0.038 |
| 使用新名称测试增量 | 成功 | | 0.011 |
| 测试即时管理员错误 | 成功 | | 0.014 |
| 测试TopOP等效性 | 成功 | | 0.009 |
| 测试反射和相同 | 成功 | | 0.010 |
| 测试是对称对象 | 成功 | | 0.010 |
| testIsAsymmetric对象 | 成功 | | 0.010 |
| testIsTransitive对象 | 成功 | | 0.010 |
| 测试学习回溯 | 成功 | | 0.017 |
| 测试对象属性域TimothyBug | 成功 | | 0.008 |
| 测试数据类型文字 | 成功 | | 0.024 |
| testIndividualRetrievalBug | 成功 | | 0.006 |
| test直接 | 成功 | | 0.010 |
| 测试个人检索 | 成功 | | 0.012 |
| 测试数据类型限制 | 成功 | | 0.008 |
| testAnonymousIndividualConstraints测试匿名个人约束 | 成功 | | 0.004 |
| 测试匿名个人约束2 | 成功 | | 0.004 |
| 测试匿名个人约束3 | 成功 | | 0.004 |
| 测试匿名个人约束4 | 成功 | | 0.006 |
| 测试传递性 | 成功 | | 0.008 |
| 测试Sub和Super概念 | 成功 | | 0.008 |
| 测试子角色和超级角色 | 成功 | | 0.009 |
| 测试子角色链 | 成功 | | 0.011 |
| testHasKeyEntailment（测试密钥插入） | 成功 | | 0.007 |
| 测试HasKeyNonEntailment | 成功 | | 0.007 |
| 测试数据类型定义详细信息 | 成功 | | 0.035 |
| 测试域范围 | 成功 | | 0.015 |
| 测试链1 | 成功 | | 0.015 |
| 测试链2 | 成功 | | 0.007 |
| 测试链3 | 成功 | | 0.015 |
| 测试链4 | 成功 | | 0.007 |
| 测试匿名个人1 | 成功 | | 0.007 |
| 测试日期时间 | 成功 | | 0.007 |
| 测试数据范围 | 成功 | | 0.007 |
| 测试底部数据属性 | 成功 | | 0.006 |
| 测试链 | 成功 | | 0.007 |
| 测试具有仅命名的键 | 成功 | | 0.009 |
| 测试否定数据属性断言 | 成功 | | 0.007 |
| 测试键 | 成功 | | 0.009 |
| 测试键否定类 | 成功 | | 0.009 |
| 测试非唯一键 | 成功 | | 0.010 |
| 测试非唯一键2 | 成功 | | 0.010 |
| 测试层次打印1 | 成功 | | 0.277 |
| 测试层次打印2 | 成功 | | 0.146 |
| 测试层次打印3 | 成功 | | 0.015 |
| 测试对象属性层次结构 | 成功 | | 0.023 |
| 测试语义对象属性分类 | 成功 | | 0.009 |
| 测试数据属性层次结构 | 成功 | | 0.015 |
| 测试数据属性语义 | 成功 | | 0.015 |
| 测试语义数据属性分类 | 成功 | | 0.021 |
| 测试复杂性概念实例检索 | 成功 | | 0.049 |
| 测试Widmann1 | 成功 | | 0.021 |
| 测试Widmann3 | 成功 | | 0.126 |
| 测试自反性 | 成功 | | 0.006 |
| 测试负极属性 | 成功 | | 0.007 |
| 测试灵活性 | 成功 | | 0.005 |
| 测试角色Disjointness_1 | 成功 | | 0.006 |
| 测试角色Disjointness_2 | 成功 | | 0.006 |
| 测试角色分离度2 | 成功 | | 0.007 |
| 测试存在自我1 | 成功 | | 0.006 |
| 测试存在自身2 | 成功 | | 0.008 |
| 测试不对称性 | 成功 | | 0.007 |
| 测试可满足性1 | 成功 | | 0.006 |
| 测试可满足性2 | 成功 | | 0.006 |
| 测试可满足性3 | 成功 | | 0.008 |
| 测试可满足性4 | 成功 | | 0.007 |
| 测试更改 | 成功 | | 0.016 |
| 测试消耗1 | 成功 | | 0.007 |
| 测试消耗2 | 成功 | | 0.007 |
| 测试消耗3 | 成功 | | 0.007 |
| 测试HeinsohnTBox1 | 成功 | | 0.009 |
| 测试HeinsohnTBox2 | 成功 | | 0.009 |
| 测试HeinsohnTBox3c | 成功 | | 0.010 |
| 测试HeinsohnTBox3cIrh | 成功 | | 0.008 |
| 测试HeinsohnTBox3 | 成功 | | 0.021 |
| testHeinsohnTBox3修改 | 成功 | | 0.008 |
| 测试HeinsohnTBox4a | 成功 | | 0.007 |
| 测试HeinsohnTBox4b | 成功 | | 0.007 |
| 测试HeinsohnTBox7 | 成功 | | 0.006 |
| 测试IanT1a | 成功 | | 0.009 |
| 测试IanT1b | 成功 | | 0.009 |
| 测试IanT1c | 成功 | | 0.009 |
| 测试IanT2 | 成功 | | 0.008 |
| 测试IanT3 | 成功 | | 0.097 |
| 测试IanT4 | 成功 | | 0.016 |
| 测试IanT5 | 成功 | | 0.010 |
| testIanT7a测试 | 成功 | | 0.010 |
| 测试IanT7b | 成功 | | 0.010 |
| 测试IanT7c | 成功 | | 0.008 |
| testIanT8a测试 | 成功 | | 0.007 |
| 测试IanT8 | 成功 | | 0.008 |
| 测试IanT10 | 成功 | | 0.013 |
| 测试IanT11 | 成功 | | 0.007 |
| 测试IanT12 | 成功 | | 0.007 |
| 测试IanT13 | 成功 | | 0.018 |
| 测试IanFact1 | 成功 | | 0.007 |
| 测试IanFact2 | 成功 | | 0.007 |
| 测试IanFact3 | 成功 | | 0.008 |
| 测试IanFact4 | 成功 | | 0.011 |
| 测试IanBug1b | 成功 | | 0.007 |
| 测试IanBug3 | 成功 | | 0.019 |
| 测试IanBug4 | 成功 | | 0.010 |
| 测试IanBug5 | 成功 | | 0.008 |
| 测试IanBug6 | 成功 | | 0.010 |
| 测试IanBug7 | 成功 | | 0.007 |
| 测试IanBug8 | 成功 | | 0.007 |
| 测试IanMerge测试1 | 成功 | | 0.013 |
| 测试IanMerge测试2 | 成功 | | 0.013 |
| testIanQNR测试 | 成功 | | 0.009 |
| 测试I递归定义测试1 | 成功 | | 0.013 |
| 测试I递归定义测试2 | 成功 | | 0.019 |
| 测试1摘要定义测试3 | 成功 | | 0.026 |
| 测试仪背越1 | 成功 | | 0.018 |
| 测试跑道背越2 | 成功 | | 0.015 |
| 测试1后退3 | 成功 | | 0.016 |
| 测试名称1 | 成功 | | 0.007 |
| 测试名义值2 | 成功 | | 0.031 |
| 测试名称3 | 成功 | | 0.009 |
| 测试名称4 | 成功 | | 0.010 |
| 测试名称5 | 成功 | | 0.010 |
| 测试名称6 | 成功 | | 0.011 |
| 测试新标称值 | 成功 | | 0.006 |
| 测试键1 | 成功 | | 0.006 |
| 测试键2 | 成功 | | 0.007 |
| 测试名义合并 | 成功 | | 0.007 |
| testNIRuleBlockingWithUnraveling（测试NI规则块，带取消行程） | 成功 | | 0.018 |
| 测试双关 | 成功 | | 0.005 |
| 测试Punning2 | 成功 | | 0.005 |
| 测试Punning3 | 成功 | | 0.006 |
| 测试反向2 | 成功 | | 0.007 |
| 测试MissingCBug | 成功 | | 0.009 |
| 测试反向 | 成功 | | 0.006 |
| 测试匿名个人2 | 成功 | | 0.005 |
| 测试匿名个人3 | 成功 | | 0.006 |
| 使用RIAs1测试满意度 | 成功 | | 0.010 |
| 测试RIA2的可满足性 | 成功 | | 0.010 |
| 测试RIA3的满意度 | 成功 | | 0.010 |
| 使用RIA4测试满意度 | 成功 | | 0.008 |
| RIA5测试满意度 | 成功 | | 0.007 |
| RIAs6测试满意度 | 成功 | | 0.007 |
| 测试RIAs7的满意度 | 成功 | | 0.007 |
| 测试RIAs的满意度8 | 成功 | | 0.009 |
| 测试RIAs9的满意度 | 成功 | | 0.008 |
| 测试RIA的满意度10 | 成功 | | 0.009 |
| 测试RIA的满意度11 | 成功 | | 0.008 |
| 测试RIA1b的可满足性 | 成功 | | 0.010 |
| 测试RIA的满意度12 | 成功 | | 0.008 |
| 测试RIA的满意度13 | 成功 | | 0.010 |
| 测试RIA的满意度14 | 成功 | | 0.009 |
| 测试概念和数据类型2 | 成功 | | 0.007 |
| 测试概念和数据类型 | 成功 | | 0.010 |
| 带名义值的测试概念 | 成功 | | 0.009 |
| 测试概念和命名2 | 成功 | | 0.010 |
| 测试带有命名的概念3 | 成功 | | 0.009 |
| 测试带有命名的概念4 | 成功 | | 0.008 |
| 测试带有命名的概念5 | 成功 | | 0.008 |
| 测试理由 | 成功 | | 0.009 |
| 测试HasKey | 成功 | | 0.084 |
| 测试整数项 | 成功 | | 0.011 |
| 测试空白节点1 | 成功 | | 0.011 |
| 测试无效空白节点 | 成功 | | 0.015 |
| 测试具有名义值的有效空白节点 | 成功 | | 0.012 |
| 测试有效空白节点内部 | 成功 | | 0.010 |
| 测试有效空白节点 | 成功 | | 0.010 |
| 带DT的测试空白 | 成功 | | 0.009 |
| 用DTs2测试空白 | 成功 | | 0.010 |
| 用DTs3测试空白 | 成功 | | 0.011 |
| 测试反向和链 | 成功 | | 0.011 |
| 测试RIA规则0 | 成功 | | 0.006 |
| 测试RIA规则1 | 成功 | | 0.006 |
| 测试RIA规则2 | 成功 | | 0.005 |
| 测试RIA规则3 | 成功 | | 0.005 |
| 测试RIA规则4 | 成功 | | 0.005 |
| 测试RIA规则5 | 成功 | | 0.007 |
| 测试RIA规则6 | 成功 | | 0.004 |
| 测试RIA规则7 | 成功 | | 0.005 |
| 测试RIA规则8 | 成功 | | 0.007 |
| 测试RIA规则9 | 成功 | | 0.005 |
| 测试简单角色1 | 成功 | | 0.006 |
| 测试简单角色2 | 成功 | | 0.006 |
| 测试简单角色3 | 成功 | | 0.007 |
| 测试简单角色4 | 成功 | | 0.009 |
| 测试SameAs | 成功 | | 0.020 |
| 测试相同的车身1 | 成功 | | 0.011 |
| 车身内测试相同2 | 成功 | | 0.008 |
| 具有数据属性的测试SameAsInBody | 成功 | | 0.011 |
| 测试数据属性InBody | 成功 | | 0.009 |
| 测试规则中的个人 | 成功 | | 0.009 |
| testRule非简单 | 成功 | | 0.010 |
| 测试规则非公理 | 成功 | | 0.008 |
| 测试简单规则2 | 成功 | | 0.009 |
| 测试简单规则 | 成功 | | 0.007 |
| testRuleWithConstants测试规则 | 成功 | | 0.008 |
| testRuleWithConstants2 | 成功 | | 0.010 |
| 具有数据类型的测试规则 | 成功 | | 0.010 |
| 数据类型为2的测试规则 | 成功 | | 0.015 |
| 包含新鲜个人的测试规则 | 成功 | | 0.008 |
| 测试按规则添加事实 | 成功 | | 0.010 |
| testLloyd Topor公司 | 成功 | | 0.008 |
| 测试数据范围安全 | 成功 | | 0.006 |
| 测试几个变量 | 成功 | | 0.027 |
| 测试正车身数据范围 | 成功 | | 0.010 |
| 测试否定车身数据范围 | 成功 | | 0.010 |
| testNegDRIn头 | 成功 | | 0.008 |
| 测试差异 | 成功 | | 0.014 |
| 测试与m2的差异 | 成功 | | 0.013 |
| 测试增量添加 | 成功 | | 0.030 |
| 测试增量添加2 | 成功 | | 0.025 |
| 测试获取数据属性值 | 成功 | | 0.011 |
| 测试等效类 | 成功 | | 0.011 |
| 测试非等效类 | 成功 | | 0.011 |
| testgetInverse对象属性表达式 | 成功 | | 0.010 |
| 测试底部对象属性子系统 | 成功 | | 0.021 |
| 测试顶部对象属性超级 | 成功 | | 0.008 |
| testBasic（测试基本） | 成功 | | 0.020 |
| testEquality（测试相等性） | 成功 | | 0.009 |
| 包含个人和等式的测试查询 | 成功 | | 0.013 |
| 包含个人的测试查询 | 成功 | | 0.017 |
| 测试索引1 | 成功 | | 0.007 |
| 测试索引2 | 成功 | | 1.223 |
| 测试索引 | 成功 | | 0.007 |
| 数据测试批 | 成功 | | 0.254 |
| 测试评估器 | 成功 | | 0.002 |
| 测试依赖项设置3 | 成功 | | 0.001 |
| 测试依赖项集2 | 成功 | | 0.001 |
| 测试依赖项设置1 | 成功 | | 0 |
| 测试不确定性相等 | 成功 | | 0.003 |
| testNIPrunesOne节点 | 成功 | | 0.002 |
| 测试NIDoesNotPrune | 成功 | | 0.002 |
| 测试重复的NI应用程序 | 成功 | | 0.002 |
| 测试内容网络接口 | 成功 | | 0.002 |
| 测试NI和修剪 | 成功 | | 0.002 |
| testDeterministicRule应用程序 | 成功 | | 0.002 |
| 测试析取派生 | 成功 | | 0.003 |
| 测试TreePart中的分离 | 成功 | | 0.002 |
| testNIRule确定 | 成功 | | 0.002 |
| 测试合并和回溯 | 成功 | | 0.002 |
| 测试图1 | 成功 | | 0.020 |
| 测试图合并 | 成功 | | 0.014 |
| 测试图1 | 成功 | | 0.030 |
| 测试图上的矛盾 | 成功 | | 0.015 |
| 测试图2 | 成功 | | 0.029 |
| WebOnt-description-logic-033-不一致 | 成功 | | 0.036 |
| WebOnt-description-logic-643不一致 | 成功 | | 0.029 |
| WebOnt-description-logic-040不一致 | 成功 | | 0.050 |
| 新功能密钥-004一致性 | 成功 | | 0.019 |
| 新功能-密钥-004-组件故障 | 成功 | | 0.033 |
| 新功能-自我限制-002-一致性 | 成功 | | 0.019 |
| 新功能-自我限制-002增强 | 成功 | | 0.029 |
| FS2RDF-不同个体-2-ar一致性 | 成功 | | 0.013 |
| WebOnt-description-logic-634-一致性 | 成功 | | 0.024 |
| 新特性对象属性链-BJP-002一致性 | 成功 | | 0.014 |
| 新特性对象属性链-BJP-002包含 | 成功 | | 0.029 |
| 一=二不一致 | 成功 | | 1.054 |
| WebOnt-equivalentClass-006-一致性 | 成功 | | 0.015 |
| WebOnt-equivalentClass-006-包含 | 成功 | | 0.018 |
| WebOnt-disjointWith-009-一致性 | 成功 | | 0.025 |
| WebOnt-I5.2-005-一致性 | 成功 | | 0.023 |
| WebOnt-description-logic-003-不一致 | 成功 | | 0.018 |
| WebOnt-description-logic-109-不一致 | 成功 | | 0.025 |
| WebOnt-description-logic-602一致性 | 成功 | | 0.025 |
| 串积分-闪烁不一致性 | 成功 | | 0.014 |
| WebOnt-description-logic-626-一致性 | 成功 | | 0.033 |
| WebOnt-description-logic-001-不一致 | 成功 | | 0.014 |
| WebOnt-I5.8-011-一致性 | 成功 | | 0.019 |
| WebOnt-I5.8-011-包含 | 成功 | | 0.011 |
| WebOnt-allValuesFrom-001-一致性 | 成功 | | 0.024 |
| WebOnt-allValuesFrom-001扩展 | 成功 | | 0.020 |
| WebOnt-description-logic-027-不一致 | 成功 | | 0.028 |
| WebOnt-其他-103一致性 | 成功 | | 0.017 |
| WebOnt-description-logic-611-不一致 | 成功 | | 0.019 |
| WebOnt-其他204不一致 | 成功 | | 0.021 |
| WebOnt-description-logic-615-不一致 | 成功 | | 0.030 |
| FS2RDF-相同诱导2-ar一致性 | 成功 | | 0.017 |
| New-Feature-Keys-006-不一致 | 成功 | | 0.020 |
| WebOnt-Class-005-直接一致性 | 成功 | | 0.022 |
| WebOnt-Class-005-直接扩展 | 成功 | | 0.015 |
| WebOnt-description-logic-022-不一致 | 成功 | | 0.369 |
| 新功能键-002一致性 | 成功 | | 0.027 |
| WebOnt-description-logic-013-不一致 | 成功 | | 0.020 |
| 不同类型的一致数据类型限制-一致性 | 成功 | | 0.020 |
| WebOnt-description-logic-105-不一致 | 成功 | | 0.036 |
| WebOnt-I5.8-009-一致性 | 成功 | | 0.014 |
| WebOnt-I5.8-009包含 | 成功 | | 0.017 |
| WebOnt-equivalentClass-004-一致性 | 成功 | | 0.024 |
| WebOnt-equivaltClass-004隐含 | 成功 | | 0.013 |
| WebOnt-description-logic-902一致性 | 成功 | | 0.023 |
| WebOnt-description-logic-902-无故障 | 成功 | | 0.078 |
| WebOnt-description-logic-605-一致性 | 成功 | | 0.029 |
| WebOnt-unionOf-003-一致性 | 成功 | | 0.014 |
| WebOnt-unionOf-003-包含 | 成功 | | 0.202 |
| WebOnt-description-logic-107-不一致 | 成功 | | 0.017 |
| WebOnt-I4.5-001-一致性 | 成功 | | 0.025 |
| WebOnt-I4.5-001-包含 | 成功 | | 0.026 |
| WebOnt-AnnotationProperty-003-一致性 | 成功 | | 0.013 |
| WebOnt-Thing-004-一致性 | 成功 | | 0.012 |
| 不一致_数据类型-不一致 | 成功 | | 0.020 |
| WebOnt-disjointWith-004-一致性 | 成功 | | 0.026 |
| 一致owl：具有DataOneOf-consistency的真实范围 | 成功 | | 0.023 |
| 新功能-最近注释-001-一致性 | 成功 | | 0.025 |
| WebOnt-Nothing-001-不一致 | 成功 | | 0.016 |
| WebOnt-description-logic-020一致性 | 成功 | | 0.212 |
| WebOnt-I5.26-004-一致性 | 成功 | | 0.016 |
| WebOnt-I5.2-006一致性 | 成功 | | 0.016 |
| WebOnt-I5.2-006包含 | 成功 | | 0.036 |
| 持续时间一致性 | 成功 | | 0.015 |
| owl2-rl-rules-fp-differenceFrom一致性 | 成功 | | 0.015 |
| owl2-rl-rules-fp-difference包含 | 成功 | | 0.017 |
| 限定的一致性限制 | 成功 | | 0.013 |
| 限定基数限制内部蕴涵 | 成功 | | 0.027 |
| WebOnt-description-logic-503-一致性 | 成功 | | 0.033 |
| WebOnt-equivalentClass-009-一致性 | 成功 | | 0.007 |
| 功能冲突不一致 | 成功 | | 0.008 |
| WebOnt-description-logic-502-不一致 | 成功 | | 1.169 |
| WebOnt-description-logic-209-一致性 | 成功 | | 2.785 |
| WebOnt-description-logic-209-无故障 | 成功 | | 3.110 |
| WebOnt-description-logic-631-一致性 | 成功 | | 0.017 |
| WebOnt-I5.26-009一致性 | 成功 | | 0.004 |
| WebOnt-I5.26-009附件 | 成功 | | 0.006 |
| WebOnt-I4.6-004-一致性 | 成功 | | 0.004 |
| WebOnt-I4.6-004-非接触 | 成功 | | 0.005 |
| WebOnt-description-logic-642不一致 | 成功 | | 0.007 |
| 新功能否定数据属性断言-001一致性 | 成功 | | 0.006 |
| New-Feature-DisjointDataProperties-001不一致 | 成功 | | 0.006 |
| WebOnt-description-logic-624一致性 | 成功 | | 0.009 |
| 一致的整体填充一致性 | 成功 | | 0.006 |
| WebOnt-其他302直接一致性 | 成功 | | 0.004 |
| WebOnt-其他302直接增强 | 成功 | | 0.006 |
| WebOnt-I5.21-002一致性 | 成功 | | 0.009 |
| WebOnt-I5.21-002-包含 | 成功 | | 0.045 |
| 新特性对象QCR-002一致性 | 成功 | | 0.007 |
| 新特性对象QCR-002增强 | 成功 | | 0.011 |
| 新功能数据QCR-001-一致性 | 成功 | | 0.006 |
| 新功能-DataQCR-001增强 | 成功 | | 0.011 |
| 新功能-Keys-001一致性 | 成功 | | 0.006 |
| 新功能-Keys-001-内含物 | 成功 | | 0.011 |
| WebOnt-description-logic-207-一致性 | 成功 | | 0.007 |
| WebOnt-description-logic-207包含 | 成功 | | 0.010 |
| WebOnt-cardinality-002-一致性 | 成功 | | 0.005 |
| WebOnt-cardinality-002扩展 | 成功 | | 0.007 |
| WebOnt-description-logic-612-不一致 | 成功 | | 0.009 |
| WebOnt-description-logic-024-一致性 | 成功 | | 0.012 |
| WebOnt-Restriction-001-一致性 | 成功 | | 0.004 |
| 新特性对象属性链-BJP-003一致性 | 成功 | | 0.005 |
| 新特性对象属性链-BJP-003包含 | 成功 | | 0.007 |
| 合格-普通-布尔一致性 | 成功 | | 0.007 |
| 合格-普通-布尔型 | 成功 | | 0.014 |
| WebOnt-omeValuesFrom-003-一致性 | 成功 | | 0.005 |
| WebOn主页值源于003附件 | 成功 | | 0.009 |
| WebOnt-oneOf-001-一致性 | 成功 | | 0.006 |
| WebOnt-I5.3-011-一致性 | 成功 | | 0.004 |
| WebOnt-description-logic-623-不一致 | 成功 | | 0.014 |
| WebOnt-description-logic-008-不一致 | 成功 | | 0.008 |
| 新功能-注释-001-一致性 | 成功 | | 0.006 |
| WebOnt-I5.2-001-一致性 | 成功 | | 0.005 |
| WebOnt-I4.5-002-不一致 | 成功 | | 0.271 |
| 新特性—DisjointObjectProperties-002一致性 | 成功 | | 0.011 |
| 新功能-DisjointObjectProperties-002包含 | 成功 | | 0.023 |
| 矛盾的数据类型限制不一致 | 成功 | | 0.009 |
| WebOnt-description-logic-012-不一致 | 成功 | | 0.008 |
| WebOnt-description-logic-104-不一致 | 成功 | | 0.006 |
| New-Feature-Rational-002不一致 | 成功 | | 0.009 |
| WebOnt-description-logic-017-不一致 | 成功 | | 0.018 |
| WebOnt-description-logic-661-一致性 | 成功 | | 0.108 |
| WebOnt-description-logic-661增强 | 成功 | | 0.109 |
| Datatype-DataComplementOf-001一致性 | 成功 | | 0.008 |
| WebOnt-description-logic-031一致性 | 成功 | | 0.014 |
| WebOnt-I5.26-010-一致性 | 成功 | | 0.004 |
| WebOnt-I5.26-010扩展 | 成功 | | 0.006 |
| WebOnt-description-logic-004-不一致 | 成功 | | 0.008 |
| WebOnt-equivalentProperty-002-一致性 | 成功 | | 0.005 |
| WebOnt-equivalentProperty-002-附件 | 成功 | | 0.009 |
| WebOnt-description-logic-111-不一致 | 成功 | | 0.007 |
| WebOnt-description-logic-035不一致 | 成功 | | 0.008 |
| WebOnt-description-logic-608-不一致 | 成功 | | 0.014 |
| WebOnt-equivalentClass-001-一致性 | 成功 | | 0.005 |
| WebOnt-equivalentClass-001-包含 | 成功 | | 0.007 |
| WebOnt-I5.8-006-一致性 | 成功 | | 0.004 |
| WebOnt-I5.8-006包含 | 成功 | | 0.007 |
| WebOnt-与-001不相交-一致性 | 成功 | | 0.004 |
| WebOnt-disjointWith-001-包含 | 成功 | | 0.008 |
| WebOnt-dissectionWith-005一致性 | 成功 | | 0.005 |
| WebOnt-unionOf-004一致性 | 成功 | | 0.006 |
| WebOnt-unionOf-004包含 | 成功 | | 0.010 |
| 负无限不在owl中：真正的不一致 | 成功 | | 0.008 |
| owl2-rl-valid-mincard-consistency | 成功 | | 0.005 |
| WebOnt-allValuesFrom-002-一致性 | 成功 | | 0.005 |
| WebOnt-allValuesFrom-002-组件故障 | 成功 | | 0.008 |
| WebOnt-description-logic-010-不一致 | 成功 | | 0.008 |
| 新功能-密钥-005一致性 | 成功 | | 0.007 |
| owl2-rl-valid-of-consistency | 成功 | | 0.005 |
| WebOnt-I5.3-006-一致性 | 成功 | | 0.004 |
| WebOnt-description-logic-628-一致性 | 成功 | | 0.017 |
| WebOnt-AnnotationProperty-004-一致性 | 成功 | | 0.004 |
| WebOnt-description-logic-108-不一致 | 成功 | | 0.010 |
| WebOnt-AnnotationProperty-002-一致性 | 成功 | | 0.004 |
| WebOnt-AnnotationProperty-002-详细信息 | 成功 | | 0.007 |
| DisjointClasses-002-不一致 | 成功 | | 0.007 |
| 加号和减号是不一致的 | 成功 | | 0.008 |
| WebOnt-I5.26-001一致性 | 成功 | | 0.005 |
| WebOnt-description-logic-610-不一致 | 成功 | | 0.009 |
| WebOnt-I5.26-005一致性 | 成功 | | 0.005 |
| 新功能底部数据属性-001一致性 | 成功 | | 0.007 |
| WebOnt-equivalentClass-005-一致性 | 成功 | | 0.006 |
| WebOnt-equivalentClass-005-非侵入 | 成功 | | 0.008 |
| WebOnt-I5.2-003-一致性 | 成功 | | 0.006 |
| 新功能-反射特性-001-一致性 | 成功 | | 0.008 |
| 新功能-反射属性-001-调整 | 成功 | | 0.011 |
| WebOnt-description-logic-023-不一致 | 成功 | | 0.010 |
| WebOnt-description-logic-609一致性 | 成功 | | 0.008 |
| owl2-rl-有效右侧所有值自一致 | 成功 | | 0.005 |
| WebOnt-杂项202-一致性 | 成功 | | 0.007 |
| 不一致的整数填充不一致 | 成功 | | 0.007 |
| WebOnt-I5.5-005-一致性 | 成功 | | 0.004 |
| WebOnt-I5.5-005包含 | 成功 | | 0.006 |
| 新功能键-003一致性 | 成功 | | 0.007 |
| 新功能键-003增强 | 成功 | | 0.012 |
| WebOnt-Thing-003-一致性 | 成功 | | 0.004 |
| owl2-rl无效右侧一致性 | 成功 | | 0.004 |
| 分离类别-001-一致性 | 成功 | | 0.006 |
| 解散类别-001包含 | 成功 | | 0.010 |
| WebOnt-description-logic-101-不一致 | 成功 | | 0.006 |
| owl2-rl无效-右侧一些值自一致 | 成功 | | 0.004 |
| WebOnt-cardinality-004-一致性 | 成功 | | 0.005 |
| WebOnt-cardinality-004扩展 | 成功 | | 0.009 |
| WebOnt-description-logic-009-一致性 | 成功 | | 0.008 |
| WebOnt-description-logic-007-不一致 | 成功 | | 0.009 |
| 链2转换1一致性 | 成功 | | 0.005 |
| 链2传输包含 | 成功 | | 0.008 |
| 新特性对象QCR-001一致性 | 成功 | | 0.008 |
| 新功能-ObjectQCR-001-内含物 | 成功 | | 0.012 |
| WebOnt-description-logic-633一致性 | 成功 | | 0.008 |
| 新功能-DisjointUnion-001-一致性 | 成功 | | 0.008 |
| 新功能-DisjointUnion-001-包含 | 成功 | | 0.011 |
| 矛盾日期时间限制不一致 | 成功 | | 0.008 |
| WebOnt-description-logic-504-不一致 | 成功 | | 0.018 |
| WebOnt-cardinality-003-一致性 | 成功 | | 0.005 |
| WebOnt-cardinality-003扩展 | 成功 | | 0.009 |
| WebOnt-Restriction-004-一致性 | 成功 | | 0.006 |
| WebOnt-其他-303一致性 | 成功 | | 0.004 |
| WebOnt-description-logic-650-不一致 | 成功 | | 0.009 |
| WebOnt-oneOf-004-一致性 | 成功 | | 0.007 |
| WebOnt-oneOf-004-包含 | 成功 | | 0.010 |
| WebOnt-description-logic-021一致性 | 成功 | | 0.076 |
| 不一致的不相交数据属性不一致 | 成功 | | 0.027 |
| WebOnt-Ontology-001-一致性 | 成功 | | 0.010 |
| WebOnt-Ontology-001增强 | 成功 | | 0.024 |
| WebOnt-TransitiveProperty-002-一致性 | 成功 | | 0.015 |
| WebOnt-TransitiveProperty-002增强 | 成功 | | 0.025 |
| WebOnt-description-logic-005-一致性 | 成功 | | 0.015 |
| WebOnt-description-logic-601-不一致 | 成功 | | 0.029 |
| WebOnt-description-logic-617-不一致 | 成功 | | 0.020 |
| 新功能-DisjointObjectProperties-001一致性 | 成功 | | 0.013 |
| 新功能-DisjointObjectProperties-001-注释 | 成功 | | 0.028 |
| 2节点一致性中的一些值 | 成功 | | 0.009 |
| 2节点隐含的一些价值 | 成功 | | 0.018 |
| 数据属性不一致的字符串模式不一致 | 成功 | | 0.027 |
| WebOnt-description-logic-908一致性 | 成功 | | 0.027 |
| WebOnt-description-logic-019-不一致 | 成功 | | 0.019 |
| 一致数据属性-数据连接-一致性 | 成功 | | 0.023 |
| WebOnt-description-logic-627不一致 | 成功 | | 0.026 |
| owl2-rl-匿名-个体一致性 | 成功 | | 0.015 |
| WebOnt-description-logic-015-不一致 | 成功 | | 0.020 |
| WebOnt-maxCardinality-001-一致性 | 成功 | | 0.010 |
| WebOnt-description-logic-613-不一致 | 成功 | | 0.024 |
| WebOnt-I5.8-008-一致性 | 成功 | | 0.011 |
| WebOnt-I5.8-008-包含 | 成功 | | 0.015 |
| WebOnt-description-logic-606-一致性 | 成功 | | 0.030 |
| WebOnt-equivalentProperty-004-一致性 | 成功 | | 0.020 |
| WebOnt-equivalentProperty-004-附件 | 成功 | | 0.011 |
| WebOnt-description-logic-103-不一致 | 成功 | | 0.024 |
| WebOnt-description-logic-014-不一致 | 成功 | | 0.012 |
| WebOnt-description-logic-028一致性 | 成功 | | 0.032 |
| WebOnt-equivalentClass-002-一致性 | 成功 | | 0.013 |
| WebOnt-equivalentClass-002包含 | 成功 | | 0.013 |
| WebOnt-description-logic-632-不一致 | 成功 | | 0.030 |
| WebOnt-SymmetricProperty-002-一致性 | 成功 | | 0.014 |
| WebOnt-SymmetricProperty-002增强 | 成功 | | 0.025 |
| WebOnt-I5.26-003-一致性 | 成功 | | 0.016 |
| WebOnt-description-logic-026-不一致 | 成功 | | 0.016 |
| WebOnt-disjointWith-006-一致性 | 成功 | | 0.020 |
| WebOnt-description-logic-604-不一致 | 成功 | | 0.018 |
| WebOnt-Restriction-002-一致性 | 成功 | | 0.005 |
| WebOnt-description-logic-644-一致性 | 成功 | | 0.007 |
| WebOnt-其他-002-一致性 | 成功 | | 0.736 |
| WebOnt-I5.2-004-一致性 | 成功 | | 0.017 |
| WebOnt-I5.2-004-包含 | 成功 | | 0.022 |
| 新功能-灵活特性-001一致性 | 成功 | | 0.015 |
| 新功能—对称特性—001—一致性 | 成功 | | 0.021 |
| FS2RDF-不同个体-3-ar-一致性 | 成功 | | 0.017 |
| WebOnt-I5.8-010-一致性 | 成功 | | 0.014 |
| WebOnt-I5.8-010-包含 | 成功 | | 0.019 |
| 数据类型限制和互补不一致性中的不同类型 | 成功 | | 0.026 |
| WebOnt-description-logic-030-不一致 | 成功 | | 0.027 |
| WebOnt-description-logic-625一致性 | 成功 | | 0.021 |
| WebOnt-I5.24-003-一致性 | 成功 | | 0.014 |
| WebOnt-I5.24-003增强 | 成功 | | 0.015 |
| WebOnt-backwardCompatibleWith-002一致性 | 成功 | | 0.016 |
| WebOnt-disjointWith-008-一致性 | 成功 | | 0.011 |
| WebOnt-description-logic-205一致性 | 成功 | | 0.026 |
| WebOnt-description-logic-205包含 | 成功 | | 0.029 |
| WebOnt-sameAs-001-一致性 | 成功 | | 0.013 |
| WebOntsameAs-001-包含 | 成功 | | 0.024 |
| WebOnt-description-logic-614一致性 | 成功 | | 0.013 |
| 数据类型Float-Discrete-001不一致 | 成功 | | 0.024 |
| New-Feature-NegativeObjectPropertyAssertion-001-一致性 | 成功 | | 0.013 |
| 新功能—DisjointDataProperties-002一致性 | 成功 | | 0.020 |
| 新功能-DisjointDataProperties-002包含 | 成功 | | 0.022 |
| WebOnt-description-logic-501-一致性 | 成功 | | 0.368 |
| WebOnt-description-logic-667一致性 | 成功 | | 0.027 |
| WebOnt-description-logic-667增强 | 成功 | | 0.028 |
| owl2-rl-无效-无一致性 | 成功 | | 0.013 |
| WebOnt-description-logic-646不一致 | 成功 | | 0.014 |
| 数据不一致与限制不一致的补充 | 成功 | | 0.015 |
| 新功能-Rational-003-一致性 | 成功 | | 0.020 |
| WebOnt-description-logic-630-不一致 | 成功 | | 0.014 |
| 字节填充不一致-不一致 | 成功 | | 0.024 |
| WebOnt-其他-102一致性 | 成功 | | 0.015 |
| WebOnt-I5.3-010-一致性 | 成功 | | 0.020 |
| owl2-rl-invalid-leftside-macard一致性 | 成功 | | 0.010 |
| 新功能—Rational—001一致性 | 成功 | | 0.014 |
| WebOnt-description-logic-665-一致性 | 成功 | | 0.027 |
| WebOnt-description-logic-665增强 | 成功 | | 0.031 |
| WebOnt-cardinality-001-一致性 | 成功 | | 0.013 |
| WebOnt-基数-001-调整 | 成功 | | 0.020 |
| WebOnt-I5.26-002-一致性 | 成功 | | 0.013 |
| WebOnt-differentFrom-001一致性 | 成功 | | 0.021 |
| WebOnt-different与-001-调整 | 成功 | | 0.011 |
| WebOnt-description-logic-006-一致性 | 成功 | | 0.025 |
| owl2-rl无效-左侧-所有值自一致 | 成功 | | 0.011 |
| 新功能键-007-一致性 | 成功 | | 0.016 |
| 新功能-按键-007-无提示 | 成功 | | 0.029 |
| WebOnt-description-logic-905一致性 | 成功 | | 0.804 |
| 新功能TopObjectProperty-001一致性 | 成功 | | 0.007 |
| WebOnt-equivalentProperty-001-一致性 | 成功 | | 0.005 |
| WebOnt-equivalentProperty-001-附件 | 成功 | | 0.007 |
| WebOnt-description-logic-018-一致性 | 成功 | | 0.010 |
| owl2-rl-无效-非一致性 | 成功 | | 0.004 |
| WebOnt-equivalentClass-003-一致性 | 成功 | | 0.003 |
| WebOnt-equivalentClass-003-包含 | 成功 | | 0.006 |
| WebOnt-equivalentProperty-003-一致性 | 成功 | | 0.004 |
| WebOnt-equivalentProperty-003-附件 | 成功 | | 0.007 |
| WebOnt-equivalentClass-008-直接一致性 | 成功 | | 0.004 |
| WebOnt-equivalentClass-008-直接增强 | 成功 | | 0.005 |
| WebOnt-description-logic-002-不一致 | 成功 | | 0.005 |
| WebOnt-杂项203-不一致 | 成功 | | 0.007 |
| WebOnt-I4.6-005-直接一致性 | 成功 | | 0.004 |
| WebOnt-I4.6-005-直接增强 | 成功 | | 0.005 |
| WebOnt-description-logic-901一致性 | 成功 | | 0.004 |
| WebOnt-description-logic-901包含 | 成功 | | 0.009 |
| 新功能底部对象属性-001一致性 | 成功 | | 0.005 |
| WebOnt-I5.8-007-一致性 | 成功 | | 0.003 |
| WebOnt-I5.8-007无接触 | 成功 | | 0.006 |
| WebOnt-description-logic-016-一致性 | 成功 | | 0.006 |
| WebOnt-description-logic-032-不一致 | 成功 | | 0.009 |
| DisjointClasses-003-一致性 | 成功 | | 0.006 |
| 解散类别-003包含 | 成功 | | 0.011 |
| WebOnt-description-logic-629不一致 | 成功 | | 0.011 |
| WebOnt-Restriction-003-一致性 | 成功 | | 0.010 |
| WebOnt-description-logic-603-不一致 | 成功 | | 0.007 |
| 新功能-自我限制-001一致性 | 成功 | | 0.006 |
| 新功能-自我限制-001增强 | 成功 | | 0.009 |
| 数据类型限制-分钟-最大不一致-不一致 | 成功 | | 0.007 |
| WebOnt-description-logic-011-不一致 | 成功 | | 0.016 |
| owl2-rl-invalid-owlreal一致性 | 成功 | | 0.004 |
| owl2-rl-rules-ifp-differentFrom-consistent | 成功 | | 0.005 |
| owl2-rl-rules-ifp-differentFrom-entailment | 成功 | | 0.007 |
| WebOnt-I5.2-002-一致性 | 成功 | | 0.004 |
| WebOnt-I5.2-002包含 | 成功 | | 0.007 |
| WebOnt-I5.3-008-一致性 | 成功 | | 0.005 |
| WebOnt-description-logic-034-一致性 | 成功 | | 0.006 |
| WebOnt-disjointWith-003-一致性 | 成功 | | 0.006 |
| WebOnt-description-logic-025一致性 | 成功 | | 0.008 |
| WebOnt-description-logic-029-不一致 | 成功 | | 0.009 |
| 新特性对象属性链-001一致性 | 成功 | | 0.007 |
| 新功能-对象属性链-001内含 | 成功 | | 0.013 |
| WebOnt-description-logic-106-不一致 | 成功 | | 0.007 |
| WebOnt-imports-011-一致性 | 成功 | | 0.007 |
| WebOnt-imports-011-包含 | 成功 | | 0.009 |
| FS2RDF-no-buildin-prefixes-ar一致性 | 成功 | | 0.006 |
| WebOnt-description-logic-616-一致性 | 成功 | | 0.007 |
| bnode2原始值 | 成功 | | 0.004 |
| bnode2发动机某些值 | 成功 | | 0.012 |
| WebOnt-disjointWith-007-一致性 | 成功 | | 0.021 |
| WebOnt-description-logic-208一致性 | 成功 | | 1.477 |
| WebOnt-description-logic-208包含 | 成功 | | 2.388 |
| WebOnt-Restriction-005-直接一致性 | 成功 | | 0.004 |
| WebOnt-Restriction-005-直接扩展 | 成功 | | 0.006 |
| WebOnt-I5.24-004-一致性 | 成功 | | 0.004 |
| WebOnt-I5.24-004-增强 | 成功 | | 0.006 |
| WebOnt-description-logic-102-不一致 | 成功 | | 0.005 |
| 始终如一的一致性 | 成功 | | 0.012 |
| 始终如一的非必要条件 | 成功 | | 0.166 |
| WebOnt-description-logic-110-不一致 | 成功 | | 0.005 |
| WebOnt-其他-001-一致性 | 成功 | | 0.412 |
| 加减零整数一致性 | 成功 | | 0.008 |
| WebOnt-description-logic-641不一致 | 成功 | | 0.008 |
| 新特性对象属性链-BJP-004一致性 | 成功 | | 0.005 |
| 新特征-对象属性链-BJP-004-非接触 | 成功 | | 0.007 |
| WebOnt-description-logic-201-一致性 | 成功 | | 0.040 |
| WebOnt-description-logic-201-详细信息 | 成功 | | 0.048 |
| 测试葡萄酒 | 成功 | | 14.377 |
| testGalenIans已满未十进制 | 成功 | | 38.932 |
| test披萨 | 成功 | | 0.420 |
| 测试Propreo | 成功 | | 29.560 |
| testGalenIans已满未十进制 | 成功 | | 0.001 |
| testDolce测试工具 | 成功 | | 96.178 |
| 测试葡萄酒 | 成功 | | 58.905 |
| test披萨 | 成功 | | 0.362 |
| 测试Propreo | 成功 | | 0.598 |
| 测试反向 | 成功 | | 1.606 |
| 测试BobTestA和B | 成功 | | 1.624 |
| 测试更新已缓冲 | 成功 | | 0.012 |
| 测试更新无缓冲 | 成功 | | 0.011 |
| 测试对象属性 | 成功 | | 0.003 |
| 测试成功呼叫 | 成功 | | 2.560 |
| 测试BobTestC | 成功 | | 4.080 |
| 测试分离属性 | 成功 | | 2.463 |
| 测试分离类 | 成功 | | 2.653 |
| 测试BobTests | 成功 | | 0.434 |