Consequences:

  • A context is always relative to another context

  • Contexts have an infinite dimension – and so cannot be described completely

  • When several contexts occur, there is a common context above all of them into which all terms and predicates can be lifted

  • Many other relations among contexts and context valued functions as specialize(c1, c2)

  • Lifting rules are axioms describing and interrelating contexts

  • Subsumption leads to a kind of decontextualization, Contexts of problem solving are ephemeral

    Use of Context in Applications:

    The PEPYS project

  • Context of an event can be easier to remember than the event itself.

  • Context acts as a retrieval key for indexing information automatically.

  • In PEPYS , each employee is given an active badge

  • System uses badge to keep diary for users.

    After reading their diaries, users remembered events that they had previously forgotten.