question de raisonnement récursif Jena

Question

Dans le exemple ci-dessous, le INFM ne déduit pas que {r myProperty v}, des idées pourquoi?

Cependant, il ne déduisons que {hibou r: sameAs r1} des mySameAs a affirmé la déclaration. Mais si je vous écris:

this.infM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MINI_RULE_INF, this.baseM);
this.infM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MINI_RULE_INF, this.infM);

il génère également que {r myProperty v}

Exemple de code:

this.baseM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM);
this.infM = ModelFactory.createOntologyModel(OntModelSpec.OWL_MEM_MINI_RULE_INF, this.baseM);

OntResource r = baseM.createOntResource(null);
OntResource r1 = baseM.createOntResource(null);
OntProperty myProperty = baseM.createOntProperty("http://example.com#my_property");
OntResource v = baseM.createOntResource("http://example.com#a_value");
OntProperty mySameAs = baseM.createOntProperty("http://example.com#mySameAs");
baseM.add(mySameAs, RDFS.subPropertyOf, OWL.sameAs);

r1.addProperty(myProperty, v);
r.addProperty(mySameAs, r1);

infM.rebind();

assertTrue(infM.contains(r, myProperty, v));

Answer 1

Cela ressemble à un bug pour moi. Je suis connecté comme -61 jena sur l'Apache Jena Jira.