Cohen, William W. and Hirsh, Haym. "Learning the Classic Description Logic: Theoretical and Experimental Results.." Paper presented at the meeting of the KR, 1994.