×
Elizarov，A.M。;A.V.基里洛维奇。;英国利帕切夫。;O.A.内夫佐罗娃。;索洛维耶夫（V.D.Solovyev）。;Zhiltsov，N.G。

数学知识表示：语义模型和形式。 （英语） Zbl 1323.68472号

Lobachevskii J.数学。 35，第4期，348-354（2014）.
摘要：本文综述了解决数学知识管理中基本任务的语义方法。讨论了本体模型和形式。我们提出了一种数学知识本体论，涵盖了数学的广泛领域。我们演示了这种表示在数学公式搜索和学习中的应用。

引用于7文件

MSC公司：

68立方英尺 知识表示
68第20页 信息存储和数据检索

关键词：

本体工程;数学知识;元数据抽取;信息检索;数学公式搜索

软件：

DLMF公司;ASCII数学ML;数学jax;Coq公司;米扎尔;OMDoc公司;CRAN（起重机）;sTeX公司;新型网络搜索引擎;TeX公司;CTAN公司
PDF格式BibTeX公司 XML格式引用
\textit{A.M.Elizarov}等人，Lobachevskii J.Math。35，第4号，348--354（2014；Zbl 1323.68472）
全文： DOI程序 arXiv公司

参考文献：

[1] D.E.Knuth，TEX图书（Addison-Wesley出版公司，1986年）·Zbl 0609.68001号
[2] CTAN公司。综合TEX档案网络。URL:网址：http://www.ctan.org/
[3] Wolfram Mathematica。网址：http://www.wolfram.com/mathematica/
[4] WolframAlpha计算知识引擎。网址：网址：http://www.wolframalpha.com/
[5] S.Wolfram，《一种新的科学》（WolframMedia，Inc.，2002年）·Zbl 1022.68084号
[6] 数学Jax。在所有浏览器中都有漂亮的数学。网址：http://www.mathjax.org/
[7] Cervone，D.，无文章标题，《美国数学学会通告》，59312（2012）·Zbl 1237.68242号 ·doi:10.1090/noti794
[8] ASCIIMathML.js（2.0版）：将ASCII数学符号转换为MathML和图形。网址：http://www1.chapman.edu/jipsen/mathml/asciimath.html·Zbl 1390.01100号
[9] Zhizhchenko，A.B。；艾扎克，A.D.，无文章标题，俄罗斯数学。调查，62943（2007）·Zbl 1149.00017号 ·doi:10.1070/RM2007v062n05ABEH004455
[10] 库恩，S。；Helmus，T。；兰开夏郡，R.J。；莫里·鲁斯特，P。；Rzepa，H.S。；斯坦贝克，C。；Willigagen，E.L.，无文章标题，化学杂志。Inf.Mod.（信息模式）。，47, 2015 (2007) ·doi:10.1021/ci600531a
[11] Murray-Rust，P.，化学信息学杂志，无文章标题，3，48（2011）·doi:10.1186/1758-2946-3-48
[12] MKM-IG公司。数学知识管理。网址：http://www.mkm-ig.org/
[13] Sperber，W.，《搜索引擎和书目数据库》，26-30（2008）
[14] J.Carette，W.M.Farmer，《数学知识管理评论》，《智能计算机数学》。计算机科学讲座笔记5625233（2009）·Zbl 1247.68266号 ·doi:10.1007/978-3-642-02614-021
[15] Ion，PD F.，《数学与万维网》，第7961230期（2013）·Zbl 1390.01100号 ·doi:10.1007/978-3-642-39320-4_15
[16] Lange，C.，无文章标题，语义网。，4, 119 (2013)
[17] 巴伦德雷格特，H。；Wiedijk，F.，无文章标题，《皇家学会学报A》，363，2351（2005）·Zbl 1152.03304号 ·doi:10.1098/rsta.2005.1650
[18] Elizarov，AM；Lipachev，E.K。；O.A.内夫佐罗娃。；Solov'ev，V.D.，无文章标题，Doklady Math。，90, 521 (2014) ·Zbl 1328.68288号 ·doi:10.1134/S1064562414050275
[19] Biryal’tsev，E.V。；Elizarov，A.M。；Zhil’tsov，N.G。；Lipachev，E.K。；内华达州。；Solov'ev，V.D.，无文章标题，自动文档和数学语言学，48，81（2014）·doi:10.3103/S000510551402006X
[20] S.Parinov和M.Kogalovsky，《应用信息学》第6期（2009年）；网址：http://www.ipr-ras.ru/articles/koga-pari09-2.pdf。
[21] Liber Mathematicae，网址：http://math.colorado.edu/libermath/。
[22] M.J.Pflaum，J.Tuley，arXiv:1102.5720。
[23] 交互式内容的可计算文档格式（CDF），URL：http://wolfram.com/cdf
[24] Mizar项目，URL:http://mizar.org/project/。
[25] 考证助理，网址：http://coq.inria.fr/。 ·Zbl 1039.68543号
[26] Berners-Lee，T。；亨德勒，J。；Lassila，O.，无文章标题，《科学美国人》，284，28（2001）·doi:10.1038/科学美国人0501-34
[27] R.Ausbrooks等人，数学标记语言（MathML）3.0版。2009年12月15日W3C候选人推荐。万维网联盟13（2009）。
[28] Miner，R.，无文章标题，AMS公告，52，532（2005）·Zbl 1079.68641号
[29] Word到LaTeX、LaTeX到Word转换器，URL：http://www.tex2word.com/。
[30] LaTeX到XML/HTML/MathML转换器，URL：http://dlmf.nist.gov/LaTeXML/。
[31] M.Kohlhase，OMDoc-数学文档的开放标记格式[第1.2版]（柏林：Springer，2006）。 ·doi:10.1007/11826095
[32] 伊恩库，M。；科尔哈斯，M。；拉贝，F。；Urban，J.，无文章标题，《自动推理杂志》，50，191（2013）·兹比尔1260.68375 ·doi:10.1007/s10817-012-9271-4
[33] C.David、M.Kohlhase、C.Lange、F.Rabe、N.Zhiltsov和V.Zholudev，Proc。第七届扩展语义网会议（ESWC）370（2010）；网址：http://arxiv.org/pdf/104.3390.pdf。
[34] M.Kohlhase，STEX:TEX/LATEX中的语义标记（2005）；网址：https://svn.kwarc.info/repos/stex/trunk/sty/stex.pdf。
[35] Kohlhase，M.，无文章标题，数学。计算。科学。，2, 279 (2008) ·Zbl 1176.68230号 ·doi:10.1007/s11786-008-0055-5
[36] Kamaredine，F。；Wells，J.B.，无文章标题，Electr。注释Theor。计算。科学。，205, 5 (2008) ·Zbl 1277.68288号 ·doi:10.1016/j.entcs.2008.03.063
[37] V.Solovyev和N.Zhiltsov，《网络智能、挖掘和语义国际会议论文集》（WIMS’11）。ACM，21:1-21:9（2011）。
[38] S.Auer、C.Bizer、G.Kobilarov、J.Lehmann、R.Cyganiak和Z.Ives，《语义网》（Springer Berlin Heidelberg，2007），第722页·doi:10.1007/978-3-540-76298-0_52
[39] K.Aberer、A.Boyarsky、P.Cudré-Mauroux、G.Demartini和O.Ruchayskiy，第十届国际语义网络会议（ISWC 2011-Demo，2011）。
[40] Sloane，N.，无文章标题，AMS公告，50，912（2003）·Zbl 1044.11108号
[41] R.Thomas，MSOR Connections 4（3）（2004年）。
[42] M.R.Genesereth和N.J.Nilsson，《人工智能的逻辑基础》（Morgan Kaufmann，Los Altos，CA，1987）·Zbl 0645.68104号
[43] Gruber，T.R.，无文章标题，知识获取，5199（1993）·doi:10.1006/knac.1993.1008
[44] Studer，R。；本杰明斯，R。；Fensel，D.，《数据与知识工程》，无文章标题，25，161（1998）·Zbl 0896.68114号 ·doi:10.1016/S0169-023X（97）00056-6
[45] N.Guarino，D.Oberle，S.Staab，《本体论手册》，第二版（Springer，纽约，2009），第1-17页·Zbl 1429.68001号 ·doi:10.1007/978-3-540-92673-30
[46] J.Angele、M.Kifer和G.Lausen，《本体论手册》，第二版（Springer，纽约，2009），第45-68页·Zbl 1429.68001号 ·doi:10.1007/978-3-540-92673-3_2
[47] F.Baader、I.Horrocks和U.Sattler，《本体论手册》，第二版（Springer，纽约，2009），第21-43页·Zbl 1429.68001号 ·doi:10.1007/978-3-540-92673-3_1
[48] P.Hitzler、M.Krötzsch、B.Parsia、P.F.Patel-Schneider和S.Rudolph（编辑，.）OWL 2网络本体语言初级读本，http://www.w3.org/TR/owl2-primer/。
[49] O.Nevzorova、N.Zhiltsov、A.Kirillovich和E.Lipachev，KESW 2014，CCIS 468。105-119（2014）；网址：http://arxiv.org/abs/1407.4833。
[50] A.M.Elizarov、E.K.Lipachev和M.A.Malakhaltsev，《面向数学家的网络技术：数学ML基础》。《实用指南》（Fizmatlit，莫斯科，2010）[俄语]。
[51] O.Nevzorova、N.Zhiltsov、D.Zaikin、O.Zhibrik、A.Kirillovich、V.Nevzorav和E.Birialtsev，第12届国际语义网络会议，澳大利亚新南威尔士州悉尼，2013年10月21日至25日，《会议录》（柏林斯普林格出版社，2013），第1部分，第8218卷，第379-394页。
[52] D.Velleman，《如何证明：结构化方法》，第二版（剑桥大学出版社，2006年）·Zbl 1101.00008号 ·doi:10.1017/CBO9780511808234
此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。