亚历克斯·博吉达 描述逻辑和谓词逻辑的相对表达性。 （英语） Zbl 1506.68132号 Artif公司。智力。 82，编号1-2，353-367（1996）. 摘要：将描述逻辑中的概念和角色定义视为在谓词演算中表示一元谓词和二元谓词是很自然的。我们表明，使用DL文献中通常考虑的构造函数构建的描述与\（\ddot{\mathcal{L}}^3）中公式定义的谓词完全相同，这是一阶谓词演算的子集，一元和二元谓词只允许三个变量符号。为了处理“数字边界”，我们允许使用数字量词，对于角色的传递闭包，我们使用无限析取。利用文献中关于变量数目有限的语言的先前结果，我们推论出FOPC公式的存在性，这些公式不能用描述来表示。我们还表明，通过省略角色组合，描述准确地表达了\（ddot{mathcal{L}}^2）中的公式，这是已知的可判定公式。 引用于18文件 理学硕士： 68T27型 人工智能中的逻辑 PDF格式BibTeX公司 XML格式引用 \textit{A.Borgida}，阿蒂夫。智力。82，编号1--2，353--367（1996；Zbl 1506.68132） 全文： 内政部 参考文献： [1] 安德烈卡，H。；van Benthem，J。；Nemeti，I.，《模态逻辑和经典逻辑之间的来回》，J.Int.Gp.Pure Appl。逻辑，3，5，685-720（1995）·Zbl 0840.03010号 [2] Baader，F.，《知识表示语言表达能力的正式定义》（Proceedings ECAI-90）。ECAI-90会议记录，斯德哥尔摩（1990），53-58 [3] 巴德，F。；Bürckert，H-J。；海因森，J。；霍兰德，B。；穆勒，J。；Nebel，B。；纳特·W。；Profitlich，H.，《术语知识表示：术语逻辑的建议》（DFKI Report（1992），DFKI:DFKI Saarbrücken） [4] Borgida，A.，《数据管理中的描述逻辑》，IEEE Trans。知识数据工程，7671-682（1995） [5] Borgida，A。；Brachman，R.J.，《将数据加载到描述推理器中》（Proceedings ACM SIGMOD Conference on data Management） [6] Brachman，R.J.，《表征知识的结构范式》（博士论文（1977），哈佛大学工程与应用物理系：工程与应用物理学系，哈佛大学剑桥分校，马萨诸塞州） [7] Buchheit，M。；Jeusfeld，M。；纳特·W。；Staudt，M.，面向对象数据库中查询之间的包含，信息系统。，19, 1, 33-54 (1994) [8] 蔡，J。；Fürer，M。；Immerman，N.，《图形识别变量数量的最优下界》（第30届IEEE计算机科学基础研讨会论文集（1989）），612-617 [9] 多尼尼，F.M。；Lenzerini，M。；Nardi，D。；Schaerf，A.，《带有数据日志和概念语言的混合系统》，（《人工智能趋势》，《人工智能发展趋势》，人工智能讲义，549（1991），施普林格：施普林格柏林），88-97 [10] Gabbay，D.，《时态逻辑中的表达功能完备性》（Mönnich，U.，《哲学逻辑方面》（1981），Reidel:Reidel Dordrecht，荷兰），第91-117页·Zbl 0523.03017号 [11] Immerman，N.，一阶可表达性的上下限，J.Compute。系统。科学。，76-98年5月25日（1982年）·Zbl 0503.68032号 [12] Immerman，N.，可在多项式时间内计算的关系查询，Inf.Control，68，86-104（1986）·Zbl 0612.68086号 [13] 科莱蒂斯，P。；Vardi，M.，《关于数据日志的表达能力：工具和案例研究》，（第九届美国计算机学会数据库系统原理研讨会论文集。第九届ACM数据库系统原理会议论文集，田纳西州纳什维尔（1990）），61-71 [14] Lewis，H.R.（量化公式的不可解类（1979），Addison Wesley:Addison Wesley Reading，MA）·Zbl 0423.03003号 [15] MacGregor，R.M.，演绎模式匹配器（Proceedings AAAI-87）。AAAI-87会议记录，西雅图，华盛顿州（1987），403-408 [16] 莫蒂默，M.，《关于双变量语言》，Z.数学。Logik Grundl公司。数学。，21, 135-140 (1975) ·兹宝利0343.02009 [17] Nebel，B.，《术语循环：语义和计算属性》（Sowa，J.，《语义网络原理》（1991），Morgan Kaufmann:Morgan Koufmann Los Altos，CA），331-362 [18] Patel-Schneider，P.F.，NIKL中包含的不确定性，Artif。智力。，39, 263-272 (1989) [19] Patel-Schneider，P.F。；Swartout，B.，ARPA知识共享工作的KRSS小组的描述逻辑知识表示系统规范，AT&T贝尔实验室报告（1994），新泽西州默里山 [20] Schild，K.，术语逻辑的对应理论（Proceedings IJCAI-91）。澳大利亚悉尼IJCAI-91会议记录（1991年） [21] Schild，K.，《域闭合公理和完整知识在描述逻辑中实现可判定和可处理推理中的作用》（Apt，K.R.；Marchiori，E.，ESPRIT BRA Compulog 2第三年的交付成果（1995）） [22] Schmolze，J.G。；Israel，D.，KL-ONE:语义和分类，（《NL理解的知识表示研究》，《NL了解的知识表示方法研究》，技术报告5421（1983），BBN实验室） [23] 塔斯基，A。；Givant，S.，《无变量集合理论的形式化》，（AMS学术讨论会出版物（1987），美国数学学会：美国数学学会普罗维登斯，RI）·Zbl 0654.03036号 [24] W.A.Woods和J.G.Schmolze，KL-ONE家族，计算机。数学。申请。23（2-5）人工智能中语义网络专题。 此参考列表基于出版商或数字数学图书馆提供的信息。它的项目与zbMATH标识符启发式匹配，并且可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不声称其完整性或完全匹配。