描述逻辑中的表达式数字限制

@文章{Baader1999ExpressiveNR，title={描述逻辑中的表达式数字限制}，author={Franz Baader和Ulrike Sattler}，日志={J.Log.Comput.}，年份={1999}，体积={9}，页码={319-350}，url={https://api.semanticscholar.org/CorpusID:17139389}}
本文通过在数量限制中允许更复杂的角色来增加描述逻辑的表达能力，并证明了概念可满足性对于受限逻辑是可判定的。
通过Publisher查看
cs.man.ac.uk（中文）
37引文
极具影响力的引文
三
背景引文
12
方法引文
6
结果引文
1

本文中的数字

37引文

描述逻辑中的表达式数限制

通过对domino问题的简化可以看出，a LC N（+；t）和ALC N（+，u）是不可判定的，这代表了非常有表现力的描述语言，并且对于应用程序来说非常有用。

表达描述逻辑中具有基数限制和名词的推理的复杂性

这项工作降低了具有基数限制的推理的复杂性，使其能够用（通常较弱的）泛化公理的术语形式主义进行推理，并证明了具有名词的LCQI的纯概念可满足性是NExpTime-complete。

具有交集、合成、角色转换和角色标识的表达描述逻辑的决策过程

结果表明，ALC（u，Ç，t）的可满足性是PSPACE完备的，其中通过树自动机技术给出了2-EXPTIME的上界。

表au描述算法综述

本文重点讨论了在描述逻辑中起重要作用的三个特性（数字限制、三元公理和角色构造器），并展示了tableau算法如何考虑它们。

不要太大，不要太小。。。一阶和描述逻辑中固定域推理的复杂性

一元编码的复杂性概述是完整的，建立了确保固定域推理的NP完全性的通用准则，并研究了二进制编码的影响，得到了部分令人惊讶的结果。

描述逻辑中的标识约束和功能依赖

本文介绍了一个DL，它扩展了DLR，并充分捕获了标识约束和函数依赖的语义，并解决了这种逻辑中的推理问题。

用描述逻辑进行代数推理

基于真实世界和合成本体的实验结果表明，real-DL在处理名词和QCR之间的交互方面优于现有的推理方法，并且可以为使用名词或QCR为本体提供更有效的推理支持奠定基础。

2001年描述逻辑应用研讨会论文集

本次研讨会的主要重点是描述逻辑的应用，Ian Horrocks就描述逻辑研究的最新发展进行了辅导式演讲。

基于Tableaux的表达式描述逻辑中查询回答的数据复杂性

本文证明了，对于包含$\mathcal{SHOIQ}$的整个范围的子逻辑，回答此类查询具有coNP完全数据复杂性，并证明了无传递角色的正存在查询的紧coNP上界。

知识库转换推理的逻辑基础

概述了所提出的编程语言的操作语义，并开发了一个匹配的Hoare演算，其前后条件再次是DL公式，它们是描述逻辑公式的逻辑公式。

39参考文献

增强描述逻辑与命题动态逻辑的对应性

本文导出了文献中出现的一些最具表现力的逻辑的可判定性和复杂性结果，并从PDL的观点出发，导出了几种形式的程序确定性表示和部分计算规范的通用方法。

术语逻辑的对应理论：初步报告

证明了通用蕴涵可以在TSC中表达，并表明动态逻辑中与确定性程序相对应的特征保持了可判定性，尽管违反了其有限模型属性。

概念语言中的限定数限制

本文提出了该语言的一个完备的包含算法，并从计算的角度讨论了为什么该语言中的包含问题相当困难，从而引出了如何识别导致可处理问题的概念的想法。

带数限制和不动点的概念语言及其与微积分的关系

本文认为，所提出的语言是可识别的，它不是选择单一的语义风格，而是通过采用允许不同语义共存的形式主义来获得更好的结果，并提出了基于这种形式主义的知识表示。

通过角色的传递闭包扩充概念语言：术语循环的替代方法

提出了一种在扩展语言中保留带有循环定义的FLQ的gfp语义的愉快特性的方法，而不会遇到大型语言中循环所带来的麻烦。

聚合中的内容：具有元组和集合的描述逻辑的基础

本文提出了一种强大的描述逻辑，克服了上述限制，并表明其推理任务在最坏情况下是可判定的。

表达描述逻辑中的TBox和ABox推理

一种完善的、完整的、终止的推理过程，它解决了DL系统中的推理问题，具有以下特点：它配备了一种表达性很强的语言，允许最通用的TBox断言形式，并考虑了ABox中概念和角色的实例断言。

术语循环与命题微积分

本文研究了术语标准逻辑矩阵{ALC}中的术语循环，唯一的限制是递归定义的概念必须出现在其定义中，并提出用mu-calculus的不动点操作符增强的ALC作为所有三种语义的统一框架。

术语知识表示语言表达能力的形式化定义

表达能力的定义将用于比较文献中已知的各种术语性KR语言的表达能力，并将为表示语言的表达性与其计算可处理性之间的权衡提供新的视角。

二元一阶逻辑的决策问题

摘要我们确定了FO2可满足性问题的计算复杂性，FO2是一阶逻辑片段，由最多两个不同的一阶关系语句组成…