Author

Asaad Mohammedsaleh

h-index 1 View on Semantic Scholar

We have 2 of 3 papers

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Aug 2026

Moose: Latent concept learning with reasoning-shortcut awareness in $\mathcal{EL}^{++}$

Moose improves over propositional-NeSy, fuzzy-logic, and ontology embedding baselines, and presents the first reasoning-shortcut analysis in an OWL EL setting.

O. Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho et al. · 0 citations

Preprint Aug 2026

Neuro-symbolic learning over OWL 2 DL via consequence-based compilation to differentiable circuits

Baobab is presented, which is to the authors' knowledge the first to characterize and mitigate reasoning shortcuts in a non-Horn description logic and machine-checked in Lean 4.

O. Mashkova, Asaad Mohammedsaleh, Fernando Zhapa-Camacho et al. · 0 citations