Niepert. Reasoning Under Uncertainty with Log-linear Description Logics. 2011.