  Concern in AI about the representation of large and apparently heterogeneous domains and about the integration of disparate knowledge sources, as well as interests in formalizing common sense of the sort discussed in  Section 2.2,  above, have led to interest in the AI community in formalizing languages that take context into account more explicitly.