Two-Dimensional Description Logics of Context

Vortrag von Szymon Klarman

Veranstaltungsort: APB 3105
Beginn: 26. November 2014 um 09:20
Ende: 26. November 2014 um 10:20
Forschungsgruppe: Automatentheorie
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.

Weitere Infos unter: http://klarman.synthasite.com/