Tag
Presents Moose, a neuro-symbolic method that compiles OWL 2 EL ontologies into Sentential Decision Diagrams for differentiable weighted model counting, enabling latent concept learning under partial supervision and providing the first reasoning-shortcut analysis in an OWL EL setting.