Extending EL++ with linear constraints on the probability of axioms - Finger, Marcelo (Description logic, theory combination, and all that : essays dedicated to Franz Baader on the occasion of his 60th birthday, 2019)