Local Models Semantics, or Contextual Reasoning = Locality + Compatibility.

Fausto Giunchiglia, Chiara Ghidini

Browse the full KR paper archive.