Contextual Representation and Reasoning with Description Logics