Rdf 如何在Blazegraph中创建不存在约束的规则？

这个问题与Blazegraph Java示例有关。我想用SPARQL

notexists

子句创建一个规则。提供一个约束子句，用于检查

IsLiteral（）

。我想实现一个提供以下功能的规则：

?a rdf:type xyz:T .
filter(not exits(?a xyz:p ?o)) .
->
?a xyz:q xyz:T

我在com.bigdata.rdf.internal.constraints中检查了合适的类 并且找不到支持

存在

（和

减去

）的

BOp

类。我发现一个

NOT

操作符

NotBOp（）

下面是我想用一个虚构的

ExistsBOp

函数创建的约束：

new IConstraint[] { // constraints
    // you can use SPARQL value expression bops in inference by wrapping them with an InferenceBVE
    Constraint.wrap(new InferenceBVE(new NotBOp(new ExistsBOp(var("a"), vocab.getConstant(XYZ.q), vocab.getConstant(XYZ.T))))
}

是否有其他方法来实现约束