Measuring Similarity in Description Logics Using Refinement Operators | Publicación