Parallelizing description logics1995-01-010 PRE AI DOI:10.1007/3-540-60343-3_32OriginalOriginal request for helpShareSaveAbstract En