D4.5 Specification of Formal Models and Structures for Context Representation