A Dissimilarity Measure for the ALC Description Logic