(┓)RDF推理中不一致问题研究

(┓)RDF在RDF中引入经典否定和推理,以增强RDF的表达和推理能力,但经典否定会使程序出现不一致情况,导致程序无解.为此,提出一种基于加权回答集程序的加权(┓)RDF((┓) WRDF)推理方法.借鉴加权回答集思想,通过加权回答集程序对(┓)WRDF进行推理,给出其应用实例.实例应用结果表明,该方法使得程序在不一致的情况下,仍然可以得到最接近用户需求的解.