Matches in Nanopublications for { ?s ?p ?o <https://w3id.org/np/RAlv5lNecArWiIpm21CZRF71DX3aESwTuJSL5tF0H0J48/assertion>. }
Showing items 1 to 23 of
23
with 100 items per page.
- 3460210.3493561 type ConferencePaper assertion.
- author-list _1 0000-0002-2241-8585 assertion.
- author-list _2 0000-0002-1267-0234 assertion.
- author-list _3 0000-0002-3357-9130 assertion.
- author-list _4 0000-0002-7748-4715 assertion.
- 0000-0002-1267-0234 name "Tobias Kuhn" assertion.
- 0000-0002-3357-9130 name "Davide Ceolin" assertion.
- 0000-0002-7748-4715 name "Jacco van Ossenbruggen" assertion.
- 008xxew50 name "Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, Netherlands" assertion.
- 0000-0002-2241-8585 name "Cristina-Iulia Bucur" assertion.
- 00x7ekv49 name "Centrum Wiskunde & Informatica, Amsterdam, Netherlands" assertion.
- 3460210.3493561 title "Expressing High-Level Scientific Claims with Formal Semantics" assertion.
- kcap-2021 title "Proceedings of the 11th Knowledge Capture Conference (K-CAP 2021)" assertion.
- 3460210.3493561 date "2021-12-02" assertion.
- 3460210.3493561 isPartOf kcap-2021 assertion.
- 3460210.3493561 abstract "The use of semantic technologies is gaining significant traction in science communication with a wide array of applications in disciplines including the life sciences, computer science, and the social sciences. Languages like RDF, OWL, and other formalisms based on formal logic are applied to make scientific knowledge accessible not only to human readers but also to automated systems. These approaches have mostly focused on the structure of scientific publications themselves, on the used scientific methods and equipment, or on the structure of the used datasets. The core claims or hypotheses of scientific work have only been covered in a shallow manner, such as by linking mentioned entities to established identifiers. In this research, we therefore want to find out whether we can use existing semantic formalisms to fully express the content of high-level scientific claims using formal semantics in a systematic way. Analyzing the main claims from a sample of scientific articles from all disciplines, we find that their semantics are more complex than what a straight-forward application of formalisms like RDF or OWL account for, but we managed to elicit a clear semantic pattern which we call the "super-pattern". We show here how the instantiation of the five slots of this super-pattern leads to a strictly defined statement in higher-order logic. We successfully applied this super-pattern to an enlarged sample of scientific claims. We show that knowledge representation experts, when instructed to independently instantiate the super-pattern with given scientific claims, show a high degree of consistency and convergence given the complexity of the task and the subject. These results therefore open the door on the longer run for allowing researchers to express their high-level scientific findings in a manner they can be automatically interpreted. This in turn will allow for automated consistency checking, question answering, aggregation, and much more." assertion.
- 0000-0002-1267-0234 affiliation 008xxew50 assertion.
- 0000-0002-3357-9130 affiliation 00x7ekv49 assertion.
- 0000-0002-7748-4715 affiliation 008xxew50 assertion.
- 0000-0002-2241-8585 affiliation 008xxew50 assertion.
- 3460210.3493561 authorList author-list assertion.
- 3460210.3493561 pageEnd "240" assertion.
- 3460210.3493561 pageStart "233" assertion.