Tableau算法相关论文
语义Web是当前Web的扩展，它为Web信息附加计算机可理解的语义，实现Web数据处理的智能化。描述逻辑被视为语义Web的主要逻辑基础，它赋......
近年来，描述逻辑由于其强大的表达能力和优良的计算性质，在知识工程领域受到广泛关注。描述逻辑的出现改变了以往知识表示和推理的方......
语义Web的发展使得其逻辑基础描述逻辑也成为研究的一个热点。描述逻辑支持推理，其推理主要涉及如下问题：概念可满足性(Concept Sati......
为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的......
作为一种动态知识表示形式,动态时序逻辑(DLTL)尤适用于正规程序验证,然而它不直接支持测试动作,这使得其应用受到一定限制。为支......
为了判定SHIF的ABox一致性,提出了一种Tableau算法。该算法先通过预处理将ABox转换成标准形式,然后按照特定的完整策略将一套Table......
为实现语义web上包含复杂模糊知识模糊本体的表示和推理,提出了一种基于vague集的模糊描述逻辑——vague ALC.首先介绍了vague集的......
由于目前tableau算法在判断概念可满足性时会产生大量的描述重复（因而浪费了很多空间）,针对描述逻辑语言ALCN提出了一种基于子句重构......
描述逻辑是语义网的理论基础，文章首先对语义Web服务中的输入／输出参数进行了抽象描述，依据描述逻辑的观点得到了语义Web服务的形式化......
Tableau算法是描述逻辑中判断概念的可满足性最常用的方法，但传统的Tableau算法只适用于标准的描述逻辑。对于粗糙描述逻辑的情况，有......
时态描述逻辑ALC-LTL将描述逻辑ALC的描述能力与线性时态逻辑LTL的刻画能力结合起来,在具有较强描述能力的同时还使得可满足性问题......
领域专家知识库的构建及其推理在专家系统中具有重要的作用，为此介绍了基于描述逻辑的知识表示方法对知识库的体系结构及其基本的组......
动态描述逻辑在描述逻辑的基础上引入了动态维，用于描述和推理动态领域的知识，但目前缺少有效的判定算法作为支撑。文中以描述逻辑AL......
基于描述逻辑ALCQ，通过引入分级近似算子而得到粗描述逻辑RALCQ。随后通过转换的方法得到粗描述逻辑RALCQ的Tableau算法推理规则及......
为了判定描述逻辑SHIN的ABox一致性，提出了一种Tableau算法。给定TBoxT、ABoxA和角色层次H，该算法通过预处理将彳转换成标准的ABoxA......
描述逻辑ALCRP（D）在经典描述逻辑ALC的基础上添加具体域和角色构成谓词算子,用于确定性空间的推理,但不能用于模糊空间的推理。通过......
为了使描述逻辑能够处理更一般化的模糊信息，Straccia给出了基于完备格的L-ALC描述逻辑系统．在该方法的基础上，提出了带数量约束算子......
描述逻辑和逻辑程序是两种非常重要的知识表达形式,分别具有不同的表达能力。为了保证结合描述逻辑和逻辑程序的可判定性,Motik给......
描述逻辑是一族知识表示的形式化语言,是一阶谓词逻辑的可判定子集,已成为语义Web的理论基础。描述逻辑中ALC是最小命题封闭的,是......
基于三角模的模糊描述逻辑的提出，使得模糊描述逻辑的框架更一般化，为知识处理提供了更理想的方法．在此基础上，提出基于修正的Kleene蕴......
文章首先介绍了本体模型的Tbox术语检验和Abox实例检验,将本体模型的一致性检验简化为术语的可满足性检验。通过引入Tableau算法的......
对动态系统的描述是智能领域的一个重要问题，但目前已有的动态描述逻辑语言，用不可再分的符号表示原子动作，不能区分动作类和动作实例......
在自动推理方面的研究中，由于等词的增加，导致证明的搜索空间膨胀，简单的定理证明变得复杂，甚至得不到证明．在增添新的扩展规则的tablea......
为判定描述逻辑SHIQ的ABox一致性，提出一种Tableau算法。给定TBox几ABoxA和角色层次H，通过预处理将A转换成标准的ABox A’，按照特定的......
以往的粗糙描述逻辑(RDL)都是基于传统的粗糙集理论。实际上,经常会出现用形式概念表示一个概念的情况,此时一个自然的问题就是如......
描述逻辑是一阶逻辑的可判定子集,它被认为是语义网的本体语言,因此对描述逻辑进行研究是语义网得以实现的保证.而模糊描述逻辑赋......
随着语义Web的不断发展和应用,描述逻辑以易于理解的形式化表示和完善的推理机制等特点,成为语义Web中实现知识表示和推理的逻辑基......
时态描述逻辑是将描述逻辑与时态逻辑相结合后得到的逻辑系统,具有较强的描述能力;但是大部分的时态描述逻辑都是将时态算子同时引......
为了近一步提高模态逻辑推理机的效率,提出了两种Tableau算法优化技术——冲突技术和矛盾学习技术,并结合这两种技术实现了针对模......
针对现有模块化本体推理方法通用性低、控制复杂等不足,提出一种基于服务的分布式Tableau算法。模块在进行一致性推理时,对关于外......
随着网络技术的发展和网络上信息量的激增，信息检索越来越受到人们的关注。信息检索系统作为网络信息平台的一个重要组成部分，在用户......
知识库中的完整性约束验证是自动推理领域近年来研究的热点，对于语义Web数据的应用具有重要意义。完整性约束用于保证知识库中的合......
城市公共交通（地铁,公交,出租车等）智能系统,都各自建立起自己的知识库和专家系统,但是这些知识库是相互独立的。为了应对不同领域知......
