doi dblp Optimising ontology stream reasoning with truth maintenance system Yuan Ren | Jeff Z. Pan Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011