一种面向语义Web浏览器的基于规则的推理方法

讨论了语义Web浏览器环境下RDF数据推理与查询面临的若干挑战:动态性、可伸缩性、及时性和可信性.提出了一种基于前向链的规则推理方法,通过动态提取与查询相关的规则和事实来处理动态性和可伸缩性挑战.该方法通过MagicSets优化技术提高推理性能来满足及时性要求.提取的规则包含了本体公理转化而来的规则.为了提高推理结果的可信性,转化本体公理时考虑了数据源的权威性,并提供推理结论的证据解释.实验评估显示了该方法在语义Web浏览器中的有效性.