Weighted Description Logic for Classification Problems. | AMiner