GRAQL 中的递归查询?
Recursive query in 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;
有没有一种方法可以在 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;