DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web
From Tetherless World Wiki
\begin{bibtex} @inproceedings{DBLP:conf/aaai/BikakisA05, title={DR-Prolog: A System for Reasoning with Rules and Ontologies on the Semantic Web}, pages={1594-1595}, year={2005}, crossref={DBLP:conf/aaai/2005}, booktitle={AAAI}, url={http://www.informatik.uni-trier.de/~ley/db/conf/aaai/aaai2005.html#BikakisA05}, author={Antonis Bikakis and Grigoris Antoniou} }\end{bibtex}
