（南京航空航天大学 信息科学与技术学院， 南京 210016）
　　摘 要：针对知识发现在实际应用中的问题，提出了一种以领域知识为中心的知识发现过程模型，并将其形式化，描述了其动态语义。与已有的知识发现过程模型相比，此过程模型更能体现知识发现过程的本质特性，同时具有严格的形式化基础，为知识发现系统的设计和实际的知识发现应用提供了一个新的参考。
　　关键词：知识发现；过程模型；领域知识；本体；时序逻辑
　　中图分类号：tp311 文献标志码：a
　　 文章编号：10013695(2009)02060404
　　
　　domain knowledge centered knowledge discovery process model
　　
　　chen shengqing,huang zhiqiu,zhu xiaodong,wang shanshan
　　（college of information science & technology, nanjing university of aeronautics & astronautics, nanjing 210016, china）
　　abstract:considering the problems in actual application, this paper proposed a kind of domain knowledge centered know-ledge discovery process model, then formalized it and described its dynamic semantics. compared with the known knowledge discovery process model, the model expressed the hypostasis of the knowledge discovery process more exactly and had a strict formalization base, which provides a new reference for the design of knowledge discovery system and actual application.
　　key words:knowledge discovery(kd); process model; domain knowledge; ontology; temporal logic
　　知识发现是指从数据集中发现其中隐含知识的一个非平凡的过程。