role relational axioms | BriefGPT

关键词role relational axioms

搜索结果 - 1

描述逻辑的统一模块化序列系统
我们介绍了一个能够构建表达式描述逻辑 ALC 扩展的序列系统的框架。我们的框架不仅涵盖了各种常见的描述逻辑，而且还允许获取具有特殊公式的扩展描述逻辑的序列系统，我们称之为 “角色关系公理”。所有的序列系统都是声音和完整性，并具有高度保持常见
PDF2 years ago