Pronto: A Non-monotonic Probabilistic Description Logic Reasoner

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/esws/Klinov08, title={Pronto: A Non-monotonic Probabilistic Description Logic Reasoner}, pages={822-826}, year={2008}, booktitle={ESWC}, ee={http://dx.doi.org/10.1007/978-3-540-68234-9_66}, crossref={DBLP:conf/esws/2008}, url={http://www.informatik.uni-trier.de/~ley/db/conf/esws/eswc2008.html#Klinov08}, author={Pavel Klinov} }\end{bibtex}