论文标题
基于纳米出版物的语义出版和审查:与形式论文的现场研究
Nanopublication-Based Semantic Publishing and Reviewing: A Field Study with Formalization Papers
论文作者
论文摘要
随着科学文献的迅速越来越多,在不同学科的研究人员的最新发现中,在其研究领域的最新发现更新。以自动化的方式进行科学文章是为了解决这一问题的解决方案,但是通过基本的方法,该方法的精确度仍然很差,使我们的提取任务既不在范围之外。 machine-interpretable by expressing them with formal semantics from the start.In the work presented here,we set out to demonstrate that we can formally publish high-level scientific claims in formal logic,and publish the results in a special issue of an existing journal.We use the concept and technology of nanopublications for this endeavor,and represent not just the submissions and final papers in this RDF-based format,but also the whole process in between,including评论,回答和决定。我们通过对我们所谓的形式化论文进行现场研究来做到这一点,这贡献了先前发表的索赔的新型形式化。我们收到了18位作者的15份提交,然后通过整个出版物进行了整个出版过程,从而导致其在特殊问题中的贡献。我们的评估非常有影响力。尽管当前的用户界面具有技术性,但我们认为这些结果表明,从一开始就可以从不同领域发表科学结果,从一开始就可以发表机器可解开的语义,而这又有无数可能性的可能性,可以从整体上远远提高科学努力的有效性和效率。
With the rapidly increasing amount of scientific literature,it is getting continuously more difficult for researchers in different disciplines to be updated with the recent findings in their field of study.Processing scientific articles in an automated fashion has been proposed as a solution to this problem,but the accuracy of such processing remains very poor for extraction tasks beyond the basic ones.Few approaches have tried to change how we publish scientific results in the first place,by making articles machine-interpretable by expressing them with formal semantics from the start.In the work presented here,we set out to demonstrate that we can formally publish high-level scientific claims in formal logic,and publish the results in a special issue of an existing journal.We use the concept and technology of nanopublications for this endeavor,and represent not just the submissions and final papers in this RDF-based format,but also the whole process in between,including reviews,responses,and decisions.We do this by performing a field study with what we call formalization papers,which contribute a novel formalization of a previously published claim.We received 15 submissions from 18 authors,who then went through the whole publication process leading to the publication of their contributions in the special issue.Our evaluation shows the technical and practical feasibility of our approach.The participating authors mostly showed high levels of interest and confidence,and mostly experienced the process as not very difficult,despite the technical nature of the current user interfaces.We believe that these results indicate that it is possible to publish scientific results from different fields with machine-interpretable semantics from the start,which in turn opens countless possibilities to radically improve in the future the effectiveness and efficiency of the scientific endeavor as a whole.