克里斯托夫·兰格 通过语义web集成实现半形式数学知识的协作。 （英文） Zbl 1275.68005号 语义网研究11.阿姆斯特丹：IOS出版社；海德堡：Akademische Verlagsgesellschaft AKA（ISBN 978-1-60750-840-3；978-3-89838-657-9/pbk）。十八、592页。(2011). Publisher的描述：数学正变得越来越协作，但软件还不足以支持这一点：社交网络应用程序目前无法让对数学结构有更深入理解的自动化代理访问数学知识。此类代理存在，但专注于单个研究任务，如创作、发布、同行评审或验证，而不是复杂的协作工作流。这项工作通过将数学创作和发布的面向文档的观点与线程讨论和Web信息检索的网络观点结合起来，有效地实现了两者的集成。这是通过为有关应用程序、项目和人员的数学和相关知识的现有表示提供一个通用语义Web基础来实现的。服务集成从两个角度进行：通过嵌入辅助服务来丰富已发布的文档，以及在知识库中的不同知识表示之间进行转换。对语义wiki进行的可用性评估一致地集成了知识生产和消费服务，指出了在使这种异构集成环境支持现实工作流方面仍存在的挑战。本论文的结果也将很快使合作获取新的数学知识，以及数据网现有知识库的贡献成为可能。 引用于1文件 MSC公司： 68-02 与计算机科学有关的研究展览会（专著、调查文章） 68立方英尺 知识表示 68层35 人工智能语言和软件系统理论（基于知识的系统、专家系统等） 软件：NNexus公司;foaf公司;组织环境信息系统;动态数学;LaTeXML;月收入;弹丸;赫茨;玛蒂塔;jsMath（数学）;小伙子;TNT基地;Gtk数学视图;MMT公司;公式生成器MathML;arXMLiv公司;SPARQL公司;电子几何教科书;STEX公司+;STEXIDE公司;数学Dox PDF格式BibTeX公司 XML格式引用 \textit{C.Lange}，通过语义web集成实现半形式数学知识的协作。阿姆斯特丹：IOS出版社；海德堡：Akademische Verlagsgesellschaft AKA（2011；Zbl 1275.68005） 全文： 链接