WilliamW.Cohen HaymHirsh Learning the Classic Description Logic: Theoretical and Experimental Results Morgan Kaufmann 121–133 1994