Tableaux算法相关论文
20世纪90年代,本体成为人工智能研究领域的热门课题。本体的定义是共享概念模型的明确的形式化规范说明。一个本体主要包括概念、......
学位
分析了现有描述逻辑在模糊知识和数据类型表示方面存在的问题，提出了一种新的模糊描述逻辑F—SHOIQ（G）．F-SHOIQ（G）不仅能够表示模糊知识，......
对本体库进行逻辑检测是本体构建的一个重要环节。基于描述逻辑的领域本体知识逻辑检测主要归结为判断概念关于TBox的可满足性以及......
针对普通的模糊描述逻辑使用单个隶属度无法准确表示不精确知识,而且描述逻辑是在抽象层次上描述知识,对实体的数值信息缺乏强有力......
为了解决传统相似度计算结果准确度较低的问题，提出了一种基于语义框架填充过程的语义相似度计算方法。在知识表示层面利用语义框架......
