Description Logics over Lattices with Multi-valued Ontologies