一种带否定陈述的 RDFS 极小演绎系统

三元组语言 RDFS 仅被设计用于表示和推理\emph{肯定}陈述（例如“解热药是药物”）。本文展示了如何在开放世界假设（OWA）下扩展 RDFS 以表达和推理各种形式的否定陈述。为此，我们从一个极小但重要的 RDFS 片段 $\rho df$ 出发，它涵盖了 RDFS 的所有本质特征，然后将其扩展为 $\rho df_\bot^\neg$，从而也允许表达诸如“放射治疗是非药物治疗”“埃博拉没有治疗方法”或“阿片类药物与解热药是不相交类”之类的陈述。据我们所知，我们提案的主要且独有的特征是：(i) $\rho df_\bot^\neg$ 通过带有特定语义的新符号扩展 $\rho df$，在句法上仍是三元组语言，且无需借助具体化方法来表示否定三元组；(ii) 该逻辑的定义使得任何 RDFS 推理机/存储若不想考虑这些额外能力，可将新谓词作为普通项处理；(iii) 尽管存在否定陈述，每个 $\rho df_\bot^\neg$ 知识库都是可满足的；(iv) $\rho df_\bot^\neg$ 的蕴含判定过程通过附加推理规则由 $\rho df$ 获得，有利于潜在实现；以及 (v) 在 $\rho df_\bot^\neg$ 中判定蕴含的复杂度介于 P 到 NP 之间。