Two-Dimensional Description Logics for Context-Based Semantic Interoperability