《表2 LUBM-50实验结果汇总》

  提示：宽带有限、当前游客访问压缩模式

本系列图表出处文件名：随高清版一同展现

《一种基于约束依赖性分析的RDFS模式抽取方法》

1. 获取 高清版本忘记账户？点击这里登录

1. 下载图表忘记账户？点击这里登录

为了验证本文方法的有效性，我们开发了原型系统并进行了超过400次的检测实验.所有实验是在Intel Core i5-7400、4GB内存和Windows 10操作系统的环境下执行的.实验选取LUBM-50、LUBM-100和DBLP作为数据集.我们分别使用两种推理工具StardogICV和RDD CHECKER，并以逐步增加复杂度的方式执行可满足性检测.在实验过程中，对于每种RDFS本体我们分别随机选择3个元素并检测它们的可满足性.为了测试本方法在任务复杂度逐渐增加的情况下的表现，对于所选择的每个元素，我们依次检测了实例个数为1，2，3，...，12时的可满足性，因此每种实例个数和元素的组合构成了1个单独的检测目标.图7给出了检测的执行时间的部分结果.所有实验结果汇总于表2～表4中.