APPROVED
Sean Bechhofer
DL Test: k_poly ABox test from DL98 systems comparison.