1

我正在尝试将作为字符串提交的 Jena 规则添加到以下方法。但是没有添加规则,因为我可以验证写入 E://1_1_1 的本体没有新的变化有人可以帮我怎么做。其他可能相关的 SO 问题是26292160349652;两者都与我的情况相似。

public String ValidateAndConfigureRule(String string) {     

    try{
        GenericRuleReasoner reasoner = new GenericRuleReasoner(Rule.parseRules(string));
        Model oModel = m.getOntology();

        reasoner.setDerivationLogging(true);            
        reasoner.setOWLTranslation(true);
        reasoner.setTraceOn(true);
        reasoner.setTransitiveClosureCaching(true);

        InfModel inf = ModelFactory.createInfModel(reasoner, oModel);

        inf.write(new FileWriter("E://1_1_1"));

        Model baseModel = ModelFactory.createDefaultModel();            
        baseModel.add(inf);

        final OntModel model  = ModelFactory.createOntologyModel(OntModelSpec.OWL_DL_MEM_RULE_INF, baseModel);          

        ValidityReport validity = model.validate();
    }
}

规则本身的格式是, [ r1: (?x :objProp1 :ind_x) -> (?x :objProp2 :ind_y) ]其中objProp's 是对象属性,ind_x,ind_y是个体以及规则字符串中“:”的必要前缀。

4

2 回答 2

1

Andy 的回答抓住了这里最重要的部分:当您定义基于规则的推理模型时,模型的内容是断言和推理的三元组;规则没有写入模型。规则是推理器的一部分,而不是数据

这实际上与 SWRL 规则相反,后者定义了序列化格式,以便 SWRL 规则可以与 OWL 数据一起编写。您可以考虑使用 SWRL 规则和支持它们的推理器(例如,Pellet、HermiT)而不是 Jena 规则,因为这些规则可以与数据一起编写。

作为一种解决方法,您还可以将 Jena 规则的文本存储为 OWL 本体上的注释属性的值,并在加载本体时再次读取它们。也就是说,您最终可能会得到以下结果:

@prefix : <http://example.org/my-ontology/>

<http://example.org/my-ontology>
        a                owl:Ontology ;
        rdfs:comment     "My ontology with some Jena rules"@en ;
        :hasJenaRules    "...rule content here..." .

然后,当您加载本体时,您可以检查是否存在具有属性的三元组:hasJenaRules,如果有,您可以获取它们的对象,将它们解析为 Jena 规则,并使用规则创建推理器。我认为这将是使用 Jena 将规则与数据一起存储的最简单方法。

于 2015-01-05T15:11:47.300 回答
0

当您编写 InfModel 时,它会写入基本数据 - 这并没有改变。规则不写。

于 2015-01-02T20:12:41.087 回答