GraphDB非单调推理？

Question

GraphDB是否提供实现策略的可配置性，以允许非单调包含？即向图添加新的显式语句可能需要撤回基于对图的先前断言已经推断出的现有隐式语句。

Answer 1

从GraphDB文档中看来，这确实确实可以扩展：

  

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

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

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

Answer 2

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