Description logics of context

  title={Description logics of context},
  author={Szymon Klarman and V{\'i}ctor Guti{\'e}rrez-Basulto},
  journal={J. Log. Comput.},
We introduce Description Logics of Context (DLCs) — an extension of Description Logics (DLs) for context-based reasoning. Our approach descends from J. McCarthy’s tradition of treating contexts as formal objects over which one can quantify and express first-order properties. DLCs are founded in two-dimensional possible world semantics, where one dimension… CONTINUE READING