Baobab: neuro-symbolic learning over OWL 2 DL via consequence-based compilation of SROIQ to differentiable SDD circuits - View it on GitHub