%0 Journal Article
%T 面向语义Web的描述逻辑*
%A 蒋运承
%A 汤庸
%A 王驹
%A 周生明
%J 模式识别与人工智能
%P 48-54
%D 2007
%X 分析描述逻辑SHOIQ(D)与语义Web的关系，特别是SHOIQ(D)与语义Web本体语言的等价性.但由于SHOIQ(D)的复杂性，目前只给出它的语法和语义，还没有研究给出它的推理机制.在描述逻辑SHOIQ推理机制的基础上，首先提出SHOIQ(D)的tableaux的概念.然后重点研究基于tableaux的SHOIQ(D)的推理机制，提出SHOIQ(D)tableaux推理算法，并证明该算法的正确性.
%K 语义Web
%K 描述逻辑
%K SHOIQ(D)
%K Tableaux算法
%U http://manu12.magtech.com.cn/Jweb_prai/CN/abstract/abstract10457.shtml