In toy owl file with subclass(B,A), reasoner infers Equivalent(Nothing, Thing)

[iamcrowd]

I loaded a toy ontology with just a subclass.
JFact shows me EquivalentClasses(owl:Nothing owl:Thing )
when computing the inferences.
I am using the class InferredEquivalentClassAxiomGenerator()

        OWLReasoner reasoner = reasonerFactoryFact.createReasoner(this.ontology);
        this.gens.add(new InferredEquivalentClassAxiomGenerator());
        InferredOntologyGenerator iog = new InferredOntologyGenerator(reasoner, this.gens);
        OWLDataFactory df = OWLManager.getOWLDataFactory();
        iog.fillOntology(df, this.ontology);

[ignazio1977]

Can you add the toy ontology?

[iamcrowd]

Done! thanks

German

1a.owl.txt

[iamcrowd]

I also tried with the OpenlletReasoner on the very same owl and I got the right inferences