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

Pavel Klinov, Bijan Parsia. Demonstrating Pronto: a Non-Monotonic Probabilistic OWL Reasoner (Demo Description). In Kendall Clark, Peter F. Patel-Schneider, editors, Proceedings of the Fourth OWLED Workshop on OWL: Experiences and Directions, Washington, DC, USA, 1-2 April 2008. Volume 496 of CEUR Workshop Proceedings, CEUR-WS.org, 2008. [doi]

Abstract

Abstract is missing.