该文提出了基于ＯＷＬ本体与Ｐｒｏｌｏｇ规则的平面几何知识库的构建方法，从而可形式化地表示平面几何中丰富的语义信息．一方面，用类型、定义域、值域、分类、属性、实例等本体描述来表达结构化的知识，为领域内概念与概念之间关系的描述提供形式化的语义；另一方面，用Ｐｒｏｌｏｇ规则来解决本体不能有效表达的诸如属性之间的关系和操作等问题，从而支持复杂关系间的推理．在此基础上，用Ｐｒｏｔéｇé和Ｐｒｏｌｏｇ构建了一个基于本体和规则的平面几何知识库．实验证明：此知识库可实现知识和语义层次上的信息查询，还可进行复杂问