克里斯托夫·兰格 Krextor–一个可扩展的框架，用于为数据网络提供内容数学。 （英语） Zbl 1335.68260号 Davenport，James H.（编辑）等人，《智能计算机数学》。2011年7月18日至23日，在意大利贝尔蒂诺罗举行的2011年微积分学第18次研讨会和2011年MKM第10次国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-22672-4/pbk）。计算机科学课堂讲稿6824。人工智能课堂讲稿，304-306（2011）。 摘要：越来越多的科学知识正在为新兴的[链接]数据网络做出贡献，在该网络中，它以机器可理解的方式提供，并与其他相关数据集相互关联。这已经为分布式查询应答引擎和智能语义混搭提供了强大的动力，丰富了web发布内容——然而，它在很大程度上仍然缺乏数学功能。有电子科学数据集，其中的数学模型描述对机器来说是不透明的。有一些统计数据集，例如来自电子政务的数据，但没有明确描述如何得出价值。有数字图书馆和科学出版物数据库，其中有关于谁引用了你的论文的信息，但没有关于谁在构建你的数学思想的信息。关于整个系列，请参见[Zbl 1218.68014号]. MSC公司： 68立方英尺 知识表示 软件：动态数学;DLMF公司;平面路径 PDF格式BibTeX公司 XML格式引用 \textit{C.Lange}，莱克特。注释计算。科学。6824、304--306（2011；Zbl 1335.68260） 全文： DOI程序 参考文献： [1] 数学标记语言（MathML）3.0版。W3C推荐标准（2010），http://www.w3.org/TR/MathML3 [2] Heath，T.，Bizer，C.：关联数据：将网络演变为全球数据空间。Morgan&Claypool（2011），http://linkeddatabook.com [3] Krextor–KWARC RDF提取器，http://kwarc.info/projects/krextor/（2010年6月12日访问） [4] Lange，C.：通过语义Web集成实现半形式数学知识的协作。1月31日提交，3月11日辩护。博士论文。不来梅雅各布斯大学（2011），https://svn.kwarc.info/reports/swim/doc/phd/phd.pdf(2011) ·Zbl 1275.68005号 [5] Lange，C.：Krextor–一种可扩展的XML\（\右箭头\）RDF提取框架。In:语义Web的脚本和开发（SFSW）。CEUR研讨会程序。，第449卷（2009年），http://CEUR-WS.org/Vol-449/ [6] Lange，C.：语义网络上表示数学知识的本体论和语言。语义网络期刊（2011），http://www.semantic-web-journal.net/content/new-submission-ntologies-and-languages-representingmathematical-knowledge-semantic-web（已接受） [7] Lange，C.：将OpenMath内容词典作为链接数据。在：第23届开放数学研讨会，arXiv:1006.4057v1[cs.DL]（2010） [8] Lange，C.，González Palomo，A.：使用SWiM轻松编辑和浏览复杂的OpenPath标记。In:数学用户界面研讨会（2008），http://www.activemath.org/workshops/MathUI/08/proceedings/LangeGonzales-OMEdit.html [9] 国家标准与技术研究所主编《数学函数数字图书馆》（2010年5月7日），http://dlmf.nist.gov [10] OpenMath协会，http://www.openmath.org/standard/omxsl/（2010年9月8日访问） [11] PlanetMath.org–面向大众的数学，http://planetmath.org（2011年6月1日访问） [12] 开放数学标准2.0版。技术代表The OpenMath Society（2004），http://www.openmath.org/standard/om20 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。