Description logics of context

@article{Klarman2016DescriptionLO,
  title={Description logics of context},
  author={Szymon Klarman and V{\'i}ctor Guti{\'e}rrez-Basulto},
  journal={J. Log. Comput.},
  year={2016},
  volume={26},
  pages={817-854}
}
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