Two-Dimensional Description Logics of Context
From International Center for Computational Logic
Two-Dimensional Description Logics of Context
Talk by Szymon Klarman
- Location: APB 3105
- Start: 26. November 2014 at 9:20 am
- End: 26. November 2014 at 10:20 am
- Research group: Automata Theory
- iCal
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.
- More info at: http://klarman.synthasite.com/
