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

摘要

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