基于Ontology的平面几何知识库设计

文中给出了Ontology建模方法在平面几何知识库设计中的一个应用实例。先从总体上介绍了Ontology建模方法的思想、框架结构及优点。再详细描述了平面几何知识库的设计、组织结构及其实现。我们提出概念分层 ,等价类存贮 ,启发式双向推理 ,推理经验生成 ,交互解题 ,数字测试等多种平面几何知识库的相关技术 ;能生成与“吴法”等代数方法不同的、传统的、较优的可读证明 ;并提高了系统的重用性、可靠性。