Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description).
['Pavel Klinov', 'Bijan Parsia']
Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description).