Equivalent classes not correctly inferred

[matentzn]

Two equal definitions are not inferred to be equivalent.

Tried with jfact 4.0.1 and 5.0.1 (and the latest OWL API versions for those, 5.0.5 and 4.3.1). Used fr Pellet:

net.sourceforge.owlapi pellet-owlapi-ignazio1977 2.4.0-ignazio1977 owlapi-distribution net.sourceforge.owlapi

public static void main(String[] args) {

        try {
            OWLOntologyManager man = OWLManager.createOWLOntologyManager();
            OWLDataFactory df = man.getOWLDataFactory();
            IRI base = IRI.create("http://owl.api.tutorial#");

            OWLOntology o = man.createOntology();

            // Classes
            OWLClass pizza = df.getOWLClass(IRI.create(base + "Pizza"));
            OWLClass meatPizza = df.getOWLClass(IRI.create(base + "MeatPizza1"));
            OWLClass meatTopping = df.getOWLClass(IRI.create(base + "MeatTopping"));
            OWLClass meatPizza2 = df.getOWLClass(IRI.create(base + "MeatPizza2"));
            OWLObjectProperty hasTopping = df.getOWLObjectProperty(IRI.create(base + "hasTopping"));

            OWLEquivalentClassesAxiom meatPizza_def = df.getOWLEquivalentClassesAxiom(meatPizza,
                    df.getOWLObjectIntersectionOf(pizza, df.getOWLObjectSomeValuesFrom(hasTopping, meatTopping)));

            OWLEquivalentClassesAxiom meatPizza_def2 = df.getOWLEquivalentClassesAxiom(meatPizza2,
                    df.getOWLObjectIntersectionOf(pizza, df.getOWLObjectSomeValuesFrom(hasTopping, meatTopping)));

            man.addAxiom(o,meatPizza_def);
            man.addAxiom(o,meatPizza_def2);

            OWLReasoner r = new JFactFactory().createReasoner(o);
            r.precomputeInferences(InferenceType.CLASS_HIERARCHY);

            System.out.println("Equivalent classes of MeatPizza:");
            r.getEquivalentClasses(meatPizza).getEntities().forEach(System.out::println);
            System.out.println(r.isEntailed(df.getOWLEquivalentClassesAxiom(meatPizza, meatPizza2)));

            r = new PelletReasonerFactory().createReasoner(o);
            r.precomputeInferences(InferenceType.CLASS_HIERARCHY);

            System.out.println("Equivalent classes of MeatPizza:");
            r.getEquivalentClasses(meatPizza).getEntities().forEach(System.out::println);
            System.out.println(r.isEntailed(df.getOWLEquivalentClassesAxiom(meatPizza, meatPizza2)));

            //saveOntology(man, o, IRI.create(new File("D:\\onto\\test2.owl").toURI()));

        } catch (OWLOntologyCreationException e) {
            e.printStackTrace();
        }
    }

[ignazio1977]

The problem is with the anonymous intersection class. The second axiom using it is erasing the first axiom using it - looking up for its equivalent classes only beings up MeatPizza2. Using a named class in place of the intersection makes the issue disappear.