×

通过语义web集成实现半形式数学知识的协作。 (英语) Zbl 1275.68005

语义网研究11.阿姆斯特丹:IOS出版社;海德堡:Akademische Verlagsgesellschaft AKA(ISBN 978-1-60750-840-3;978-3-89838-657-9/pbk)。十八,592页。(2011年)。
Publisher's description:数学越来越具有协作性,但软件并不能充分支持这一点:社交网络应用程序目前还不能让对数学结构有更深入理解的自动代理访问数学知识。这样的代理虽然存在,但专注于单个研究任务,如创作、发布、同行评审或验证,而不是复杂的协作工作流。
这项工作通过将数学创作和发布的面向文档的视角与线程化讨论和Web信息检索的网络视角联系起来,有效地实现了它们的集成。这是通过给关于应用程序、项目和人员的数学和相关知识的现有表示提供一个公共语义Web基础来实现的。服务集成从嵌入辅助服务丰富已发布文档和在知识库中不同知识表示之间的转换两个角度进行了研究。对语义wiki的可用性进行了评估,它一致地集成了知识生产和消费服务,指出了在使这种异构集成的环境支持现实的工作流方面仍然存在的挑战。
本论文的研究成果很快也将使合作获取新的数学知识,以及对现有知识集合的贡献。

理学硕士:

68-02年 与计算机科学有关的研究展览会(专著、调查文章)
68T30型 知识表示
68T35型 人工智能语言和软件系统(知识系统、专家系统等)理论
PDF格式 BibTeX公司 XML 引用
全文: 链接