missing inference (equivalent to bottomObjectProperty)

[tobiaswjohn]

I am using openllet to infer axioms given an ontology and I think there is an axiom missing in some cases. I am not 100% sure if the axiom should be inferred, but HermiT does infer the "missing" equivalence axiom. Here is a minimal example for reproduction: ontology:

@prefix owl: <http://www.w3.org/2002/07/owl#> .
@prefix rdfs: <http://www.w3.org/2000/01/rdf-schema#> .

<r> rdfs:range <B> .   
<r> rdfs:range <C> . 
<B> owl:disjointWith <C> .    

call from program:

OWLOntology ont = loadTurtle(ontFile);
OWLReasoner openllet = OpenlletReasonerFactory.getInstance().createReasoner(ont);

List<InferredAxiomGenerator<? extends OWLAxiom>> gens = new ArrayList<>();
gens.add( new InferredEquivalentObjectPropertyAxiomGenerator());

InferredOntologyGenerator iog = new InferredOntologyGenerator(openllet, gens);
OWLOntology infOnt = manager.createOntology();
iog.fillOntology(ont.getOWLOntologyManager().getOWLDataFactory(), infOnt);

Openllet does not infer any axiom, but the following should be inferred:

EquivalentObjectProperties(<r> owl:bottomObjectProperty)