亚历山大·基里洛维奇;奥尔加·内夫佐罗娃;玛丽娜·法利列娃;叶夫根·利帕切夫;莉莉亚娜·夏基洛娃 OntoMath:一个基于语言的教育数学本体论。 (英语) Zbl 1455.68265号 Benzmüller,Christoph(编辑)等人,《智能计算机数学》。第十三届国际会议,CICM 2020,意大利贝蒂诺罗,2020年7月26-31日。诉讼程序。查姆:斯普林格。莱克特。注释计算。科学。12236, 157-172 (2020). 摘要:我们发布了OntoMath(^\mathit{Edu})的第一个版本,这是一个新的教育数学本体。本体旨在用作数学教育的链接开放数据中心、智能数学语言处理的语言资源和最终用户参考教育数据库。本体分为三层:基础本体层、领域本体层和语言层。领域本体层包含独立于语言的概念,涵盖中学数学课程。语言层为这些概念提供了语言基础,而基础本体层为它们提供了元本体论的表示。这些概念被组织在两个主要层次结构中:对象层次结构和具体化关系层次结构。据我们所知,OntoMath(^\mathit{Edu})是第一个链接开放数据数学本体,它尊重基础本体提供的本体论区别;将数学关系表示为一阶实体;并为所表示的数学概念提供了强大的语言基础。有关整个系列,请参见[Zbl 1452.68005号]. 引用于1文件 MSC公司: 68伏30 数学知识管理 68立方英尺 知识表示 68T50型 自然语言处理 97U70型 技术工具、计算器(数学教育方面) 关键词:本体论;数学教育;链接的开放数据;自然语言处理;数学知识管理;OntoMath\(^\mathit{Edu}\) PDF格式BibTeX公司 XML格式引用 \textit{A.Kirillovich}等人,Lect。注释计算。科学。12236,157--172(2020;Zbl 1455.68265) 全文: 内政部