Those two aspects of knowledge are formalized in DAOK,which constitute the event-noun knowledge base of ontology.

• 利用DAOK语言将其形式化,实现事件名词本体知识库。