%0 Journal Article
%T Research on Tableau algorithm for Horn-Extended DL<br>Horn-Extended DL的Tableau算法研究
%A XIAO Lan
%A ZHENG Li
%A XIAO Jian
%A HUANG Yi
%A <br>肖岚
%A 郑力
%A 肖建
%A 黄毅
%J 计算机应用
%D 2009
%I 
%X 描述逻辑和逻辑程序是两种非常重要的知识表达形式,分别具有不同的表达能力.为了保证结合描述逻辑和逻辑程序的可判定性,Motik给出了一种DL-safe规则.在Motik工作的基础上,提出了对描述逻辑进行Horn子句拓展的Horn-Extended DL,并给出了Horn-Extended DL的Tableau算法,最后通过一个算例验证了算法的正确性和效率.
%K 描述逻辑
%K 逻辑程序
%K 模型理论语义
%K Horn子句
%K Tableau算法
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=B0ACC6DB7A57DD218AB7267AFA7A6493&yid=DE12191FBD62783C&vid=771469D9D58C34FF&iid=38B194292C032A66&sid=8243B77967FFD12E&eid=AF14A8B15FB15A64&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=8