1.一种基于语义网的几何辅导系统，其特征在于，包括：
几何知识库模块，根据知识点建立几何概念语义网、几何定理语义网和几何证明语义网；
导学模块，用于识别用户的选择，并根据选择在几何知识库模块中定位到知识点所在的语义网；
学习模块，根据导学模块定位到的知识点和评分模块计算的答题分数显示不同类型的学习问题，供用户解答；所述学习问题根据几何概念语义网和几何定理语义网自动生成，或从几何证明语义网中选取；
在几何概念语义网或几何定理语义网中，将几何概念或几何定理的关键词的语义链接关系设置为ASSOC，学习模块解析几何概念或几何定理中链接关系为ASSOC的关键词，隐去任意一个关键词，生成几何概念选择题、几何概念填空题、几何定理选择题、几何定理填空题，隐去的关键词作为标准答案；
画图模块，根据学习模块生成的学习问题同步生成几何示意图，辅助用户答题；所述画图模块包括集几何模式库和作图指令库；
所述几何模式库遍历学习问题对应的几何概念语义网、几何定理语义网或几何证明语义网，根据语义网中的所有语义链接关系，在作图指令库中匹配并调用相应的作图指令，同步生成几何示意图；
解析模块，根据学习模块生成的学习问题同步生成求解过程；所述解析模块包括提取单元、推理规则库和已知事实库；
在几何证明语义网中，将几何证明题的已知条件关键词的语义链接关系设置为ATT，将证明结果关键词的语义链接关系设置为VAL；学习模块选取几何证明题时，提取单元将语义链接关系为ATT的关键词提取出作为已知条件存入已知事实库，从推理规则库中选择几何推理规则应用于已知事实库产生新事实，将新事实存入已知事实库，重复推理直到不能产生新事实；提取单元将语义链接关系为VAL的关键词提取出作为证明结果，若已知事实库中存在与证明结果相同的事实，则将该几何推理规则产生与证明结果相同的事实的过程作为求解过程；若已知事实库中不存在与证明结果相同的事实，则在推理规则库选择新的几何推理规则，直至获得与证明结果相同的事实；
评分模块，根据求解过程评判用户答题是否正确，并计算答题分数，将答题分数发送至学习模块；
提示模块，用于识别用户的提示请求，向用户展示学习问题的知识点或求解过程。
2.根据权利要求1所述的基于语义网的几何辅导系统，其特征在于，几何知识库模块，根据知识点建立几何概念语义网、几何定理语义网和几何证明语义网的具体方法为：
向几何知识库模块输入几何学科的知识点及其证明题，几何知识库模块根据知识点所属年级创建目录进行分类，目录包含若干章，章包含若干节，节包含具体知识点；几何知识库模块基于语义网，根据知识点属性，建立几何概念语义网和几何定理语义网，根据知识点证明题建立几何证明语义网。
3.根据权利要求1所述的基于语义网的几何辅导系统，其特征在于，所述系统还包括历史记录模块，用于记录用户的学习历史，供导学模块读取；
导学模块识别用户的选择后，首先读取历史记录模块中用户的学习历史记录，若历史记录模块中不存在用户选择的章或节的学习记录，则导学模块在几何知识库模块中定位到知识点所在的几何概念语义网；若历史记录模块中存在用户选择的章或节的学习记录，则跳转至上一次学习记录所在的语义网。
4.根据权利要求1所述的基于语义网的几何辅导系统，其特征在于，所述学习模块根据导学模块定位到的知识点所在的语义网和评分模块计算的答题分数显示选择题、填空题或证明题；
当答题分数小于分数阈值时，根据知识点位于几何概念语义网或几何定理语义网，学习模块生成知识点对应的几何概念选择题、几何概念填空题、几何定理选择题、几何定理填空题中的一种或几种；
当答题分数不小于分数阈值时，学习模块在几何证明语义网中选取几何证明题。
5.根据权利要求1所述的基于语义网的几何辅导系统，其特征在于，所述评分模块评判用户答题是否正确的具体方法为：
评分模块获取用户答案，对于选择题和填空题，将用户答案与标准答案进行匹配，相同则正确，不同则错误；对于证明题，将用户答案与解析模块生成的求解过程逐步骤进行匹配，步骤相同则判定为正确，步骤不同则判定为错误。
6.根据权利要求5所述的基于语义网的几何辅导系统，其特征在于，所述提示模块包括提示标记、提示库和提示积分；
设置提示标记TIPS作为语义链接关系，链接学习问题与几何概念语义网、几何定理语义网中的知识点，将知识点保存在提示库中；
提示积分的初始值设置为0，用户每完成一个知识点的学习，提示积分增加a，用户每使用一次提示请求，提示积分减少b，其中a7.一种基于语义网的几何辅导方法，其特征在于，利用权利要求1‑6任意一项所述的基于语义网的几何辅导系统，所述方法包括：
S1：根据知识点建立几何概念语义网、几何定理语义网和几何证明语义网；
S2：识别用户的选择，并根据选择在几何知识库模块中定位到知识点所在的语义网；
S3：根据定位到的知识点和答题分数显示不同类型的学习问题，供用户解答；所述学习问题根据几何概念语义网和几何定理语义网自动生成，或从几何证明语义网中选取；在几何概念语义网或几何定理语义网中，将几何概念或几何定理的关键词的语义链接关系设置为ASSOC，学习模块解析几何概念或几何定理中链接关系为ASSOC的关键词，隐去任意一个关键词，生成几何概念选择题、几何概念填空题、几何定理选择题、几何定理填空题，隐去的关键词作为标准答案；
S4：根据学习问题同步生成几何示意图，辅助用户答题；
遍历学习问题对应的几何概念语义网、几何定理语义网或几何证明语义网，根据语义网中的所有语义链接关系，调用相应的作图指令，同步生成几何示意图；
S5：根据学习问题同步生成求解过程；
在几何证明语义网中，将几何证明题的已知条件关键词的语义链接关系设置为ATT，将证明结果关键词的语义链接关系设置为VAL；选取几何证明题时，将语义链接关系为ATT的关键词提取出作为已知条件保存，选择几何推理规则应用产生新事实，将新事实保存，重复推理直到不能产生新事实；将语义链接关系为VAL的关键词提取出作为证明结果，若存在与证明结果相同的事实，则将该几何推理规则产生与证明结果相同的事实的过程作为求解过程；不存在与证明结果相同的事实，则在推理规则库选择新的几何推理规则，直至获得与证明结果相同的事实；
S6：评判用户答题是否正确，并计算答题分数，将答题分数发送至步骤S3；
S7：识别用户的提示请求，向用户展示学习问题的知识点或求解过程。