fix for all case

[LckyLke]

fix for this problem: https://github.com/dice-group/owlapy/blob/ddp_owl_reasoning/counterexample_forall_incompleteness.py

[Demirrr]

That you for the PR

[LckyLke]

While the "nominal injection" works for explicitly named individuals, it drops inferences for anonymous individuals (blank nodes) generated by the TBox.

e.g.:

• TBox: Person ⊑ ∃hasMother.Woman and Person ⊑ ∀hasMother.Woman
• ABox: Alice : Person (mother's IRI is never explicitly asserted)

Standard Pellet correctly infers that Alice satisfies ∀hasMother.Woman because her implied mother must be a Woman.

However, this bottom-up approach gathers explicit Woman IRIs first (e.g., {Marie, Ada}) and rewrites the query as ∀hasMother.{Marie, Ada}. The local shard cannot prove Alice's unnamed mother is exactly Marie or Ada, so it returns empty and misses Alice.

Converted back to draft for this reason.
Also, atm, i have no idea how to get it to work with the given edge case