Cohen, William W. and Hirsh, Haym. "The Learnability of Description Logics with Equality Constraints.." Machine Learning 17 , no. 2-3 (1994): 169-199.