Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary

From Tetherless World Wiki

\begin{bibtex} @article{DBLP:journals/ws/Horst05, title={Completeness, decidability and complexity of entailment for RDF Schema and a semantic extension involving the OWL vocabulary}, pages={79-115}, year={2005}, volume={3}, journal={J. Web Sem.}, number={2-3}, ee={http://dx.doi.org/10.1016/j.websem.2005.06.001}, url={http://www.informatik.uni-trier.de/~ley/db/journals/ws/ws3.html#Horst05}, author={Herman J. ter Horst} }\end{bibtex}