jena - 如何将 Datalog 规则添加到 Jena 中的 Pellet 推理机？

Question

我在 Datalog Form 中有多个个人推理规则。我可以扩展 JenaGenericRuleReasoner以便在推理步骤中将它们考虑在内。这是执行此操作的代码示例：

String rules = "[r1: (?e1 st:runningTask st:gic_eth0) -> (?e1 rdf:type st:dataFromEthernet2IP)]";
Reasoner reasoner = new GenericRuleReasoner(Rule.parseRules(rules));
reasoner.setDerivationLogging(true);
InfModel inf = ModelFactory.createInfModel(reasoner, rawData);

实际上，我想使用Pellet推理器，因为它很容易插入 Jena。我想知道是否Pellet可扩展为GenericRuleReasoner？如果是，如何在其中添加我的 Datalog 规则？