Knowledge Representation

On knowledge representation area, we focus on the basic theory of knowledge ontology structure and the representation models for meticulous semantics. By analysis the nuance of synonyms, we found the representation method for meticulous semantics, and know more about the knowledge representation models and semantic synthesis. We create a knowledge representation system — E-HowNet, by integrating some of the most important ontology structures, WordNet, HowNet, and EventFrameNet. We will keep moving forward to the integration of logic inference and knowledge structure, and also the working on automatic entailments and theoretical proofs.