Two-Dimensional Description Logics of Context

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Two-Dimensional Description Logics of Context

Vortrag von Szymon Klarman
In this talk I will 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.