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

• 作者: 吴文渊 曾振柄 符红光
• 来源期刊: 计算机应用
• 学科: 工学
• 关键词: Ontology建模方法 KADS框架结构 知识重用 启发式双向推理
• 年，卷（期）: 2002,（3）
• 所属期刊栏目: 研究与设计
• 页码范围: 10-14
• 页数: 5页
• 分类号: TP301.1
• 字数: 5769字
• 语种: 中文

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	吴文渊		4	58	1.0	4.0
2	曾振柄		1	57	1.0	1.0
3	符红光		1	57	1.0	1.0