构建用于几何题解题提示的模型

1。前提：

（1）已经拥有了一个基础的几何本体

（2）使用解题过程扩展了本体

2。本体：

（1）证明三角形全等的部分模型

  

 （2）本模型采用OWL1描述，并存于AG

PS:OWL2能更容易的描述（如个体加入类都可以作限制），但现阶段OWL2支持不好，不支持标准的查询

      AG仅支持RDF++推理（RDF和部分OWL的公理）

（3）使用AG的图的搜索算法查询题目 到 结论 的路径

3。程序解析路径，并作出判断

（1）必须包含判定定理的所有条件，才能推荐此路径

（2）去重复，每当一条路径已经作为了一个条件，就要把重复的去掉

4。本体自动更新的难点

（1）如何将数学符号、数学描述 和 本体描述语言映射

（2）如何添加个体和个体之间的关系（主要是标准化，同义词等问题）

（3）还需要考虑已有推理过程是不是一定正确，可以先存入数据库作一个概念统计

5。本体管理和应用

（1）如何添加、删除、更新、修改

（2）如何展示，如概念图、列表等

6。可参考的几何本体

http://i2geo.net/ontologies/dev/

Classes (681)

Object Properties (21)

Data Properties (21)

Individuals (2895)