Two-Dimensional Description Logics of Context

We introduce an extension of Description Logics (DLs) for representing and reasoning about contextualized knowledge. Our formalism is inspired by McCarthy’s theory of formalizing contexts and based on two-dimensional semantics, with one dimension representing a usual object domain and the other a domain of contexts. Additionally, it is equipped with a second DL language for describing the context domain. As a result, we obtain a family of two-sorted, two-dimensional combinations of pairs of DLs.

• Type: Journal
• Year: 2011
• Where: DLOG
• Authors: Szymon Klarman, Víctor Gutiérrez-Basulto
• Keywords: Automated Reasoning, Description Logics, DLOG 2011, Dls, Object Domain