P-CLASSIC: A Tractable Probablistic Description Logic
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/aaai/KollerLP97, title={P-CLASSIC: A Tractable Probablistic Description Logic}, pages={390-397}, year={1997}, booktitle={AAAI/IAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai97.html#KollerLP97}, author={Daphne Koller and Alon Y. Levy and Avi Pfeffer} }\end{bibtex}
