如何解决GRAQL中的递归查询?
是否有一种方法可以在GRAQL中定义递归查询,即匹配实体之间确切谓词路径未知(例如,其中有多少个实体)的模式?
SPARQL在1.1版本中添加了对这些功能的支持。 Apache Jena Documentation中的示例:
# Find the types of :x,following subClassOf
SELECT *
{
:x rdf:type/rdfs:subClassOf* ?t
}
CYPHER也从一开始就允许他们使用。示例:
MATCH (alice:Person { name:"Alice" })-[:friend *1..2]->(friend:Person)
RETURN friend.name;
是否可以在GRAQL中做类似的事情?
解决方法
可以使用Grakn的推理引擎在Graql中实现这一目标。
Graql match
查询不支持循环查询语法(虽然,但已计划),但是您可以使用rule
在Grakn中定义递归逻辑。为了实现递归,应该有一个规则,在其when
中包含与规则then
中推断出的类型相同的内容。
在Graql中,此确切的friend
示例如下。此示例不使用递归,因为我们只在寻找1或2跳循环。
首先,您需要一个架构:
define
name sub attribute,value string;
person sub entity,has name,plays friend;
friend sub relation,relates friend;
如果这是您的初始模式,则需要按如下所示扩展它,以在新的n-degree-friendship
关系中添加递归:
define
friend-of-a-friend isa relation,relates connected-friend;
person sub entity,plays connected-friend;
infer-friend-of-a-friend sub rule,when {
(friend: $p1,friend: $p2) isa friendship;
(friend: $p2,friend: $p3) isa friendship;
},then {
(connected-friend: $p1,connected-friend: $p3) isa friend-of-a-friend;
};
然后,您可以查询通过任意数量的friendship
关系建立联系的朋友:
match $p1 isa person,has name "John";
$p2 isa person,has name $n;
{ (connected-friend: $p1,connected-friend: $p2) isa friend-of-a-friend; }
or { (friend: $p1,friend: $p2) isa friendship; };
get $n;
此friend
示例不是递归的,但可以扩展为递归。 Grakn当前无法支持的是循环次数。
尽管如此,我们在subClassOf
示例中看到了一个很好的递归示例:
define
class sub entity,plays subclass,plays superclass;
class-hierarchy sub relation,relates subclass,relates superclass;
class-hierarchy-is-recursive sub rule,when {
(subclass: $c1,superclass: $c2) isa class-hierarchy;
(subclass: $c2,superclass: $c3) isa class-hierarchy;
},then {
(subclass: $c1,superclass: $c3) isa class-hierarchy;
};
然后匹配以找到x
的所有子类:
match $x isa class;
$y isa class;
(superclass: $x,subclass: $x) isa subclass;
get $y;
版权声明:本文内容由互联网用户自发贡献,该文观点与技术仅代表作者本人。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容, 请发送邮件至 dio@foxmail.com 举报,一经查实,本站将立刻删除。