Knowledge Representation Formalisms Research Articles