Vol-495⫷ Vol-496 ⫸Vol-497
urn:nbn:de:0074-496-0


Vol-496/paper-17⫷Vol-496/paper-18⫸Vol-496/paper-19
Pavel KlinovBijan Parsia

Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description)