de.tu-dresden.inf.lat.born:born-gui (maven): Bayesian ontology reasoner.
Keywords: automated-reasoning|java|jcel|owl-api|probabilities|problog|tu-dresden|visual-interface