%0 Journal Article
%T ABox Knowledge Update Based on ALCO@<br>基于ALCO~@的ABox知识更新的研究
%A LIU Yi-song
%A WANG Chang-hai
%A ZHAO Ji-qing
%A <br>刘一松
%A 王昌海
%A 赵吉庆
%J 计算机科学
%D 2012
%I 
%X 以描述逻辑ALCO@为基础研究知识更新。首先介绍ALCO@的语法和语义,然后引入确定集和冲突集的概念,并根据描述逻辑的Tableau判定算法给出从原知识库得到确定集和冲突集的推演算法。在更新算法执行过程中,首先在原知识库中删除冲突集中的断言,然后把需要添加的断言加入到知识库中,最后修改受更新操作影响的其它断言的约束条件,以使知识库满足开世界假设。
%K 描述逻辑
%K 断言
%K 开世界假设
%K 标准否定范式
%K 确定集
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=64A12D73428C8B8DBFB978D04DFEB3C1&aid=A97816070393C026B05E586FDE12986B&yid=99E9153A83D4CB11&vid=7C3A4C1EE6A45749&iid=F3090AE9B60B7ED1&sid=7ABC4505E3960D2B&eid=866F8A6B640835A7&journal_id=1002-137X&journal_name=计算机科学&referenced_num=0&reference_num=0