bundle : a reasoner for probabilistic ontologies .
Pellet : A practical OWL-DL reasoner