Finding all justifications of OWL entailments using TMS and MapReduce

Gang Wu, Guilin Qi, Jianfeng Du. Finding all justifications of OWL entailments using TMS and MapReduce. In Craig Macdonald, Iadh Ounis, Ian Ruthven, editors, Proceedings of the 20th ACM Conference on Information and Knowledge Management, CIKM 2011, Glasgow, United Kingdom, October 24-28, 2011. pages 1425-1434, ACM, 2011. [doi]

Abstract

Abstract is missing.