A Faithful Integration of Description Logics with Logic Programming
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/ijcai/MotikR07, title={A Faithful Integration of Description Logics with Logic Programming}, pages={477-482}, year={2007}, crossref={DBLP:conf/ijcai/2007}, booktitle={IJCAI}, ee={http://www.ijcai.org/papers07/Papers/IJCAI07-075.pdf}, url={http://www.informatik.uni-trier.de/~ley/db/conf/ijcai/ijcai2007.html#MotikR07}, author={Boris Motik and Riccardo Rosati} }\end{bibtex}
