Graphql规则可以用语义Web术语创建新实例或个人吗?

问题描述 投票:1回答:1

我想知道Graql Rule形式主义。规则可以创建新实例吗?

作为一个扩展,是Graql单调?它可以保证规则解雇总是结束并且不与KB中的事实相矛盾吗?

grakn graql
1个回答
2
投票

规则可以创建新实例吗?

最简洁的答案是不。我们要求规则受范围限制 - 它们的应用程序无法创建任何断开连接的节点。在实践中,这意味着我们要求所有规则头变量相对于它们各自的规则体绑定。

请注意,范围限制规则的扣除是可以判定的。

长期的答案是,如果需要,推理可以使用虚拟概念进行操作,因此在查询时间内,可以创建实际的新概念。然而,这些是短暂的并且与特定交易相关联。

作为一个扩展,是Graql单调?

直到最新版本(截至目前为1.4.3)Graql是单调的。下一个版本将引入模式否定,它与规则一起使得推理非单调。但是,如果仅将规则限制为正数,则会恢复推理单调性属性。

关于矛盾,我们计划在数据验证过程中告知用户可能存在的矛盾。

© www.soinside.com 2019 - 2024. All rights reserved.