Explanation of OWL Entailments in Protege 4
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/semweb/HorridgePS08a,
author = {Matthew Horridge and
Bijan Parsia and
Ulrike Sattler},
title = {Explanation of OWL Entailments in Protege 4},
booktitle = {International Semantic Web Conference (Posters {\&} Demos)},
year = {2008},
ee = {http://ceur-ws.org/Vol-401/iswc2008pd_submission_47.pdf},
crossref = {DBLP:conf/semweb/2008p},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
