随着计算机技术的飞速发展,计算机辅助教育已成为信息时代的重要教育形式。但是教学系统中的教育资源缺乏统一的规范化表示,导致网络中存在许多相同或相似的资源而不能相互共享和重用。然而,本体的最大优点在于它可将领域的概念和术语规范化。因此将教育资源采用本体技术来实现,能从根本上解决资源的共享和重用问题。目前大多数本体都是通过手工构建的,且几乎都是结构化的静态本体。近年来不断有人提出半自动地构建领域本体、动态本体等。本文在此基础上提出了基于平面几何的过程本体的半自动构建方法。根据几何证明题描述和结构的规范性,采用信息抽取技术对证明题的证明过程进行解析,从过程的每个逻辑分段中自动地提取其抽象模型和实例模型,并将新的模型存储于本体中或对已存在于本体中的模型进行完善。本文还提出了将此过程本体应用于自动解题的研究。采用正序根据题目的已知条件查询过程本体中的模型得到某个结论,而该结论又可作为新的已知条件再查询过程本体得到其它结论,直到得到题目的最终结论,从而实现基于过程本体的自动问题求解。最后,本文通过实验展示了过程本体的构建和完善过程,并成功地将此过程本体应用于问题的自动求解。实验表明,过程本体中的抽象模型体现了定理的结构关系和序的关系,实例模型记录了个体之间的详细关系；进一步,过程本体为自动解题的实现提供了一种新的思路。