Comparison of Approaches toward Formalising Context: Implementation Characteristics and Capacities