History of knowledge representation and reasoning