Description logic programs: combining logic programs with description logic

From Tetherless World Wiki

\begin{bibtex} @inproceedings{DBLP:conf/www/GrosofHVD03, title={Description logic programs: combining logic programs with description logic}, pages={48-57}, year={2003}, booktitle={WWW}, ee={http://doi.acm.org/10.1145/775152.775160}, url={http://www.informatik.uni-trier.de/~ley/db/conf/www/www2003.html#GrosofHVD03}, author={Benjamin N. Grosof and Ian Horrocks and Raphael Volz and Stefan Decker} }\end{bibtex}