Equality-Friendly Well-Founded Semantics and Applications to Description Logics