Cohen, W. W. & Hirsh, H. (1994), 'The Learnability of Description Logics with Equality Constraints.', Machine Learning 17 (2-3), 169-199.