Using an Expressive Description Logic: FaCT or Fiction?
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/kr/Horrocks98, title={Using an Expressive Description Logic: FaCT or Fiction?}, pages={636-649}, year={1998}, booktitle={KR}, url={http://www.informatik.uni-trier.de/~ley/db/conf/kr/kr98.html#Horrocks98}, author={Ian Horrocks} }\end{bibtex}
