论文标题
负面陈述的RDF的最小演绎系统
A Minimal Deductive System for RDFS with Negative Statements
论文作者
论文摘要
三重语言RDF旨在用\ emph {阳性}陈述表示和推理（例如，“抗送药是药物”）。 在本文中，我们展示了如何在开放世界假设（OWA）下以各种形式的负面陈述来扩展RDF，以表达和推理。为此，我们从$ρdf$开始，这是一个涵盖RDF的所有基本特征的最小但重要的RDF片段，然后将其扩展到$ρdf_\ bot^\ neg $，允许明确的陈述，例如“无线电疗法”，例如“无线电治疗”是“非药物治疗”，ebola''ebola''ebola没有治疗”或“ eptioids and”或“ aptipyrestics”和“ aptipyretics”。据我们所知，我们的提案的独特功能是：（i）$ρdf_\ bot^\ neg $通过将$ρdf$扩展到具有特定语义的新符号，并且无需恢复以代表负面三倍的重复方法，从而是语法上的三重语言； （ii）逻辑的定义方式以使任何RDFS推理器/商店都可以将新谓词作为普通术语处理，如果它不想考虑额外的功能； （iii）尽管否定陈述，但每一个$ρdf_\ bot^\ neg $知识基础都是满足的； （iv）$ρdf_\ bot^\ neg $组成决策程序是通过有利于潜在实施的额外推理规则从$ρdf$获得的； （v）在$ρdf_\ bot^\ neg $从p到np的范围内确定零件。
The triple language RDFS is designed to represent and reason with \emph{positive} statements only (e.g."antipyretics are drugs"). In this paper we show how to extend RDFS to express and reason with various forms of negative statements under the Open World Assumption (OWA). To do so, we start from $ρdf$, a minimal, but significant RDFS fragment that covers all essential features of RDFS, and then extend it to $ρdf_\bot^\neg$, allowing express also statements such as "radio therapies are non drug treatments", "Ebola has no treatment", or "opioids and antipyretics are disjoint classes". The main and, to the best of our knowledge, unique features of our proposal are: (i) $ρdf_\bot^\neg$ remains syntactically a triple language by extending $ρdf$ with new symbols with specific semantics and there is no need to revert to the reification method to represent negative triples; (ii) the logic is defined in such a way that any RDFS reasoner/store may handle the new predicates as ordinary terms if it does not want to take account of the extra capabilities; (iii) despite negated statements, every $ρdf_\bot^\neg$ knowledge base is satisfiable; (iv) the $ρdf_\bot^\neg$ entailment decision procedure is obtained from $ρdf$ via additional inference rules favouring a potential implementation; and (v) deciding entailment in $ρdf_\bot^\neg$ ranges from P to NP.
