Parallelizing Algebraic Reasoning for the Description Logic SHOQ

Jocelyne Faddoul, Wendy MacCaull
2013 Canadian Semantic Web Symposium  
dblp:conf/csws/FaddoulM13 fatcat:7skri2lxdfglppu4x4vselc34q