如何在Jena中向Datlet推理器添加Datalog规则？

Question

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

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规则？