See: Knowledge Representation Formalism, Formal Knowledge Representation Language, Knowledge Representation Theory.