Baobab Compiles OWL 2 DL Ontologies into Differentiable Sentential Decision Diagrams

Baobab enables neuro-symbolic learning over complex SROIQ ontologies by compiling them into differentiable Sentential Decision Diagrams (SDDs). This allows perception networks to learn from partial ABox supervision while maintaining classical entailment properties.