乔纳森·斯特拉特福德；詹姆斯·H·达文波特。 单位知识管理。 （英语） Zbl 1166.68360号 Autexier，Serge（编辑）等人，《智能计算机数学》。2008年7月28日至8月1日，在英国伯明翰举行的2008年AISC第九届国际会议、2008年Calculemus第十五届研讨会、2008年MKM第七届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-85109-7/pbk）。计算机科学课堂讲稿5144。人工智能课堂讲稿，382-397（2008）。 摘要：在[J.H.达文波特和W.A.内勒，“OpenMath中的单位和维度”（2003），在线阅读http://www.openmath.org/documents/Units.pdf]，对OpenMath中（物理）单元的处理进行了各种观察。在本文中，我们更新了这些观察结果，并基于工作单元转换器做出了一些评论[J.斯特拉福德，“基于OpenMath的单位转换器”，巴斯大学计算机科学学士学位论文。CSBU–2008–02（2008）技术报告，在线阅读http://www.cs.bath.ac.uk/department/technical-report-series/technical报告-series/index.php]由于其基于OpenMath的设计，因此具有模块化、可扩展性和反射性。我们还注意到，有效转换器中的一些问题（例如，控制缩写的规则）更倾向于语言而非数学形式，不适合在OpenMath中轻松表达。有关整个系列，请参见[Zbl 1154.68002号]. 引用于三文件 MSC公司： 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） PDF格式BibTeX公司 XML格式引用 \textit{J.Stratford}和\textit{J.H.Davenport}，莱克特。票据计算。科学。5144382--397（2008年；Zbl 1166.68360） 全文： 内政部 链接 参考文献： [1] 匿名者。维基百科，英语（2008），http://www.wikipedia.org [2] 比利时王国。收集Métrologique，http://mineco.fgov.be/organization_market/metrology/showole_FR.asp？cParam=1150Metrologiche重组，http://economie.fgov.be/organization_market/metrology/showole_nl.asp？cParam=1152 [3] Buswell，S.、Caprotti，O.、Carlisle，D.P.、Dewar，M.C.、Gaétano，M.、Kohlhase，M.：OpenMath Standard 2.0（2004），http://www.openmath.org/standard/om20-2004-06-30/omstd20.pdf [4] 全球网络联盟。数学标记语言（MathML[tm]）1.01规范（1999），http://www.w3.org/TR/MathML/ [5] 全球网络联盟。数学标记语言（MathML）2.0版（第二版）（2003年），http://www.w3.org/TR/MathML2/ [6] 万维网联盟。RDF语义（2004），http://www.w3.org/TR/2004/REC-rdf-mt-20040210/ [7] 全球网络联盟。Web本体语言OWL（2004），http://www.w3.org/2004/OWL/ [8] Davenport，J.H.，小型OpenPath类型系统，ACM SIGSAM Bulletin，34，2，16-21（2000）·数字对象标识代码：10.1145/362001.362014 [9] Davenport，J.H.，Naylor，W.A.：OpenMath中的单位和尺寸。(2003), http://www.openmath.org/documents/Units.pdf [10] Davenport，J.H.，Fischer，H.-C.：表达式的操纵。《改进浮点编程》，第149-167页（1990年） [11] Davenport，J.H.，Libbrecht，P.：扩展OpenMath的自由及其实用性。计算机科学中的数学（2008年出版）·Zbl 1173.00301号 [12] Donner，M.：私人通信（2008年5月） [13] 梅特雷公约国际组织。国际单位制（SI），第8版。，http://www.bipm.org/utils/common/pdf/si_brochure_8_en.pdf [14] 全球网络联盟。Harder，D.W.，Devitt，S.（编辑）。MathML中的单位（2003），http://www.w3.org/Math/Documents/Notes/units.xml [15] IEEE/ASTM。SI 10-1997国际单位制（SI）使用标准：现代公制。IEEE公司（1997） [16] 国际标准组织。测量不确定度表示指南（1995） [17] 火星气候轨道飞行器Mishap调查委员会。火星气候轨道器：第一阶段报告（1999年11月），ftp://ftp.hq.nasa.gov/pub/pao/reports/1999/MCO_report.pdf [18] 尼尔森，W.H.：金利滑翔机。《飞翔杂志》（1997） [19] 牛津大学出版社。《牛津英语词典》（2008），http://dictionary.oed.com/entrace.dtl ·Zbl 1284.62002年 [20] Sears，J.E。；约翰逊，W.H。；Jolly，H.L.P.，《帝国标准码与国际原型米比率的新测定》，Phil Trans。罗伊。社会学协会，227281-315（1928）·doi:10.1098/rsta.1928.0007 [21] Stratford，J.：基于OpenMath的单位转换器。巴斯大学计算机科学学士学位论文。技术报告CSBU-2008-02（2008），http://www.cs.bath.ac.uk/department/technical-report-series/technical报告-series/index.php [22] Taylor，B.N.：《国际单位制（SI）使用指南》（2007年5月），http://physics.nist.gov/Pubs/SP811 [23] 怀特黑德，A.N。；罗素，B.，《数学原理》（1910），剑桥：剑桥大学出版社，剑桥·JFM 41.0083.02号 [24] 威廉姆斯：156吨的吉姆利滑翔机。澳大利亚飞行安全（2003） 此参考列表基于出版商或数字数学图书馆提供的信息。其项与zbMATH标识符进行启发式匹配，可能包含数据转换错误。在某些情况下，zbMATH Open的数据对这些数据进行了补充/增强。这试图尽可能准确地反映原始论文中列出的参考文献，而不要求完整或完全匹配。