Understanding Entailments in OWL
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/owled/HorridgeBPS08,
author = {Matthew Horridge and
Johannes Bauer and
Bijan Parsia and
Ulrike Sattler},
title = {Understanding Entailments in OWL},
booktitle = {OWLED},
year = {2008},
ee = {http://ceur-ws.org/Vol-432/owled2008eu_submission_23.pdf},
crossref = {DBLP:conf/owled/2008},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
\end{bibtex}
