TY - JOUR AU - Meissner, A. TI - Experimental analysis of some computation rules in a simple parallel reasoning system for the ALC description logic JO - International Journal of Applied Mathematics and Computer Science PY - 2011 SP - 83 EP - 95 VL - 21 IS - 1 PB - mathdoc UR - http://geodesic.mathdoc.fr/item/IJAMCS_2011_21_1_a5/ LA - en ID - IJAMCS_2011_21_1_a5 ER -