Formalization and Specification of Geometric Knowledge Objects
Formalization and Specification of Geometric Knowledge Objects
复制标题
几何知识对象的形式化和规范化
DOI：
10.1007/s11786-013-0167-4
复制
发表时间：
2013-11
影响因子：
0.8
通讯作者：
陈肖宇
中科院分区：
文献类型：
--
作者：
陈肖宇
本文介绍了我们的工作，几何知识对象的识别，形式化，结构化和规范的语义表示和知识管理的目的。我们分类几何知识，根据它是如何积累和表示在几何文献中，形式化几何知识的语句，通过适应语言的一阶逻辑，指定知识对象与嵌入式知识在一个可检索和可扩展的数据结构，并组织它们之间的关系建模的层次结构。几何知识对象的形式化规范的一些例子来说明我们的方法。该方法的基本思想已成功地用于自动几何推理，知识库创建，和电子文档生成。
This paper presents our work on the identification, formalization, structuring, and specification of geometric knowledge objects for the purpose of semantic representation and knowledge management. We classify geometric knowledge according to how it has been accumulated and represented in the geometric literature, formalize geometric knowledge statements by adapting the language of first-order logic, specify knowledge objects with embedded knowledge in a retrievable and extensible data structure, and organize them by modeling the hierarchic structure of relations among them. Some examples of formal specification for geometric knowledge objects are given to illustrate our approach. The underlying idea of the approach has been used successfully for automated geometric reasoning, knowledge base creation, and electronic document generation.
登录
查看更多内容
DOI：
10.1007/978-3-7643-9977-1
发表时间：
2010-01
期刊：
--
影响因子：
--
作者：
Wei Li
通讯作者：
Wei Li
影响因子：
--
作者：
Tielin Liang;Dongming Wang
通讯作者：
Tielin Liang;Dongming Wang
DOI：
10.1007/978-3-642-25070-5_10
发表时间：
2010-07
期刊：
--
影响因子：
--
作者：
P. Quaresma
通讯作者：
P. Quaresma
DOI：
10.1007/3-540-36187-1_65
发表时间：
2002-12
期刊：
--
影响因子：
--
作者：
Manfred Kerber;Martin Pollet
通讯作者：
Manfred Kerber;Martin Pollet
影响因子：
1.2
作者：
Lozier, DW
通讯作者：
Lozier, DW