关于一致一维片段
On the uniform one-dimensional fragment
AI总结：
本文综述了一致一维片段U1的性质，探讨其与支持高元数关系的描述逻辑（尤其是DLR_reg）的联系，并给出U1变体的描述逻辑版本及表达力新结果。
摘要：
一阶逻辑的一致一维片段U1是一种形式体系，它以自然的方式将二变量逻辑扩展到具有任意元数关系的语境中。我们综述了U1的性质，并研究了它与为容纳更高元数关系而设计的描述逻辑之间的关系，特别关注DLR_reg。我们还定义了U1的一个变体的描述逻辑版本，并证明了关于U1及相关逻辑表达力的一系列新结果。
英文摘要：
The uniform one-dimensional fragment of first-order logic, U1, is a formalism that extends two-variable logic in a natural way to contexts with relations of all arities. We survey properties of U1 and investigate its relationship to description logics designed to accommodate higher arity relations, with particular attention given to DLR_reg. We also define a description logic version of a variant of U1 and prove a range of new results concerning the expressivity of U1 and related logics.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
