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

为了验证RDFS（resource description framework schema）本体的正确性所执行的推理是一项计算开销很大的任务，该任务在附加约束存在的条件下变得更加复杂.提出了一种旨在不改变推理结果的前提下，对RDFS模式进行抽取的方法.该方法基于对约束间的依赖关系进行分析.为了获取RDFS模式的精确语义，首先，将模式元素和约束形式化为一阶谓词逻辑中的析取嵌入依赖；接着，根据约束间的相互影响建立约束依赖图，在此基础上，提出了删除与推理任务无关的边和节点的策略；最后，通过重构造过程获取RDFS子模式.该方法使得推理验证可以在抽取后的小规模本体上进行.实验结果显示，该方法可以显著地提高RDFS本体验证过程的效率，抽取过程的平均耗时为0.60s，与推理检测时间相比几乎可以忽略，而获得的效率提升则为2.00倍~22.97倍不等