GraphDB 非单调推理？答案

【问题标题】：GraphDB Non-monotonic Reasoning?GraphDB 非单调推理？
【发布时间】：2018-07-20 18:56:59
【问题描述】：

GraphDB 是否提供实现策略的可配置性以允许非单调蕴涵？ IE。向图中添加新的显式语句可能需要撤回根据先前对图所做的断言推断出的现有隐式语句。

【问题讨论】：

【解决方案1】：

从GraphDB 文档来看，这在某种程度上确实是可能的：

GraphDB 存储显式和隐式语句，即从显式语句推断（物化）的语句。因此，当显式语句从存储库中删除时，任何依赖于已删除语句的隐式语句也必须被删除。

即，如果一个新的三元组导致先前的隐式/显式三元组被删除，则与此已删除三元组相关的任何隐式三元组也将被删除。

您可以阅读有关 GraphDB 推理策略的更多信息here。

【讨论】：

【解决方案2】：

GraphDB 推理引擎（及其规则语言）不支持任何形式的否定，因此不支持非单调推理。

【讨论】：

不确定“任何形式的否定”对于非单调性是绝对必要的......顺便说一下，有像[Constraint a != <rdf:type>]这样的约束：)
我的意思是“作为失败的否定”作为规则语言语法中的一种结构。因此，如果所有前提都不存在（存在），则该规则不会触发。上述不公平只是减少了完全封闭（例如，如果 'a' 等于 rdf:type 对于特定的前提，不要派生任何东西）