bundle : a reasoner for probabilistic ontologies .
The description logic handbook: theory, implementation, and applications