%0 Journal Article
%T 基于可拓理论的描述逻辑扩展
%A 王静
%A 贾成伟
%A 张健沛
%A 杨静
%J 计算机应用
%D 2008
%I 
%X 传统描述逻辑不适合于处理信息不全、存在隐性知识甚至存在矛盾前提的问题,所以作为语义Web的逻辑基础它是不充分的,为此引入可拓学中的物元及其发散规则对它进行了扩充.首先给出了物元的语义解释,然后引入物元及其发散规则扩充Tableau算法,生成了Tableau-E算法和Tableau-E′算法,从而实现了对实例断言集Abox的扩展以及一致性检测,弥补了传统描述逻辑的不足.
%K 语义Web
%K 描述逻辑
%K 可拓学
%K 物元
%K 发散规则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=831E194C147C78FAAFCC50BC7ADD1732&aid=F4DF571639EB8363C8011C9A8DDA8996&yid=67289AFF6305E306&vid=D3E34374A0D77D7F&iid=5D311CA918CA9A03&sid=6E3B915514BCF8E8&eid=CFC6DB3515228A5D&journal_id=1001-9081&journal_name=计算机应用&referenced_num=0&reference_num=5