High Level Knowledge Representation and Reasoning