Finding all justifications of OWL entailments using TMS and MapReduce.

Gang Wu, Guilin Qi, Jianfeng Du

Browse the full CIKM paper archive.