Dürig, Studer, 2005. Probabilistic ABox Reasoning: Preliminary Results, in: .