SMS: Generalized Link Properties for Expressive E−connections of Description Logics.