%0 Journal Article
%T 一种描述逻辑SHIF的ABox一致性判定算法
%A 彭　立
%A 杨恒伏
%J 计算机应用研究
%D 2013
%I 
%X 为了判定SHIF的ABox一致性, 提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式, 然后按照特定的完整策略将一套Tableau规则应用于ABox, 直到将它扩展成完整的ABox为止。ABox与TBox一致, 当且仅当算法能产生一个无冲突的完整的ABox。算法所采用的阻塞机制可以避免Tableau规则的无限次执行。为了提高算法的效率, 该机制允许一个新个体被在其之前创建的任意新个体直接阻塞, 而不仅仅局限于其祖先。通过对算法的可终止性、合理性和完备性进行证明, 算法的正确性得以确认。
%K 描述逻辑SHIF
%K ABox一致性判定
%K Tableau算法
%K 阻塞机制
%K 正确性
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=A9D9BE08CDC44144BE8B5685705D3AED&aid=51EFA6F8AD100243B78D2ABEA42E33F0&yid=FF7AA908D58E97FA&vid=340AC2BF8E7AB4FD&iid=0B39A22176CE99FB&sid=F27A401E323B6FAD&eid=B7ACE2F11789CAE0&journal_id=1001-3695&journal_name=计算机应用研究&referenced_num=0&reference_num=14