我们介绍了一个能够构建表达式描述逻辑 ALC 扩展的序列系统的框架。我们的框架不仅涵盖了各种常见的描述逻辑,而且还允许获取具有特殊公式的扩展描述逻辑的序列系统,我们称之为 “角色关系公理”。所有的序列系统都是声音和完整性,并具有高度保持常见结构规则的可容许性和高度保持规则的可逆性。
Jun, 2022
该论文涉及描述逻辑的特性,首次引入普遍量化的概念,提出两种扩展的语义模型,包括模态逻辑中的公理原型和二阶逻辑中的量词的替代。研究表明,在某些扩展的语义中,所得出的结论与经典的描述逻辑相符,并证明了某种程度上用于这种扩展的算法的多项式可判定性。
Aug, 2023
本文通过五个方面来深入系统地研究原始 DL-Lite 逻辑的扩展中的推理,分别是添加布尔连接符和数字限制到概念构造中,允许角色层次结构,允许角色的互斥、对称性、非对称性、自反性、反自反性和传递性约束,并接受或放弃同一性假设,同时分析了语言的可满足复杂性,验证数据复杂性和回答反面存在性查询的数据复杂性。
Jan, 2014
该论文介绍了描述逻辑的主要概念和特点,包括例子、语法和语义,并概述了轻量级描述逻辑语言、Web 本体语言 OWL 的关系以及更多阅读指南。
Jan, 2012
提出一种将抽象级别作为一等公民并提供概念和角色的抽象和细化的显式运算符的 DLs 扩展,它可以支持多个抽象级别上的知识表示,并证明在这个扩展的 DLs 家族中推理是可判定的,而一些看似无害的变化则是不可判定的。
Jun, 2023
通过 Universal Dependencies 标记 negation scope 的能力,实现 UDepLambda 和 higher-order type theory 结合,处理代表否定、全称量词等复杂语义现象。初步实现针对英语的转化表现良好。
Feb, 2017
将一个使用 DL L1 表达的本体 O1 重写为 Horn DL L2 中的本体 O2,以保证在任意数据集扩展时 O1 和 O2 是等价的。对存在 Horn 重写的本体进行研究,并识别出一类本体可以用多项式大小的 Horn 重写表示。
Apr, 2015
通过将对角线方法扩展到一个张量范畴中,我们展示了表征不同范畴语法的一个一阶乘性线性逻辑子集相当于最近引入的扩展张量类型演算,它不仅提供了先前的某些替代语法和直观几何表示,还具有本质的演绎系统。
本篇论文研究了 Term Modal Logics 中的两个变量,并证明了该领域中的一个有趣分支的可决定性,与两个变量的一阶模态逻辑不同,后者是不可判定的。
Apr, 2019
本文提出了一个算法,用于决定具有传递性和逆作用的角色,角色层次结构和限定数量限制的 A LC 的可满足性,并研究了这种 DL 族的决策能力极限。
May, 2000