https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/Head https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://www.nanopub.org/nschema#hasAssertion https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/assertion https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://www.nanopub.org/nschema#hasProvenance https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/provenance https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://www.nanopub.org/nschema#hasPublicationInfo https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/pubinfo https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://www.nanopub.org/nschema#Nanopublication https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/assertion https://doi.org/10.1145/3460210.3493561 http://purl.org/dc/terms/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. https://doi.org/10.1145/3460210.3493561 http://purl.org/dc/terms/date 2021-12-02 https://doi.org/10.1145/3460210.3493561 http://purl.org/dc/terms/isPartOf https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/kcap-2021 https://doi.org/10.1145/3460210.3493561 http://purl.org/dc/terms/title Expressing High-Level Scientific Claims with Formal Semantics https://doi.org/10.1145/3460210.3493561 http://purl.org/ontology/bibo/authorList https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/author-list https://doi.org/10.1145/3460210.3493561 http://purl.org/ontology/bibo/pageEnd 240 https://doi.org/10.1145/3460210.3493561 http://purl.org/ontology/bibo/pageStart 233 https://doi.org/10.1145/3460210.3493561 http://www.w3.org/1999/02/22-rdf-syntax-ns#type http://purl.org/spar/fabio/ConferencePaper https://orcid.org/0000-0002-1267-0234 http://schema.org/affiliation https://ror.org/008xxew50 https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://orcid.org/0000-0002-3357-9130 http://schema.org/affiliation https://ror.org/00x7ekv49 https://orcid.org/0000-0002-3357-9130 http://xmlns.com/foaf/0.1/name Davide Ceolin https://orcid.org/0000-0002-7114-6459 http://schema.org/affiliation https://ror.org/008xxew50 https://orcid.org/0000-0002-7114-6459 http://xmlns.com/foaf/0.1/name Cristina-Iulia Bucur https://orcid.org/0000-0002-7748-4715 http://schema.org/affiliation https://ror.org/008xxew50 https://orcid.org/0000-0002-7748-4715 http://xmlns.com/foaf/0.1/name Jacco van Ossenbruggen https://ror.org/008xxew50 http://xmlns.com/foaf/0.1/name Department of Computer Science, Vrije Universiteit Amsterdam, Amsterdam, Netherlands https://ror.org/00x7ekv49 http://xmlns.com/foaf/0.1/name Centrum Wiskunde & Informatica, Amsterdam, Netherlands https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_1 https://orcid.org/0000-0002-7114-6459 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_2 https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_3 https://orcid.org/0000-0002-3357-9130 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/author-list http://www.w3.org/1999/02/22-rdf-syntax-ns#_4 https://orcid.org/0000-0002-7748-4715 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/kcap-2021 http://purl.org/dc/terms/title Proceedings of the 11th Knowledge Capture Conference (K-CAP 2021) https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/provenance https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-3357-9130 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-7114-6459 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/assertion http://www.w3.org/ns/prov#wasAttributedTo https://orcid.org/0000-0002-7748-4715 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/assertion http://www.w3.org/ns/prov#wasDerivedFrom https://doi.org/10.1145/3460210.3493561 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/pubinfo https://orcid.org/0000-0002-1267-0234 http://xmlns.com/foaf/0.1/name Tobias Kuhn https://orcid.org/0000-0002-3357-9130 http://xmlns.com/foaf/0.1/name Davide Ceolin https://orcid.org/0000-0002-7114-6459 http://xmlns.com/foaf/0.1/name Cristina-Iulia Bucur https://orcid.org/0000-0002-7748-4715 http://xmlns.com/foaf/0.1/name Jacco van Ossenbruggen https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://purl.org/dc/terms/created 2026-06-30T15:12:45.000+02:00 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://purl.org/dc/terms/creator https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://purl.org/dc/terms/license https://creativecommons.org/publicdomain/zero/1.0/ https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://purl.org/nanopub/x/hasNanopubType http://purl.org/spar/fabio/ScholarlyWork https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://purl.org/nanopub/x/introduces https://doi.org/10.1145/3460210.3493561 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://purl.org/nanopub/x/supersedes https://w3id.org/np/RAXTZgKi-aszn_8uUgAlPr6D1FRzMDKnv5R_zpzox0hGs https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic http://www.w3.org/2000/01/rdf-schema#label Expressing High-Level Scientific Claims with Formal Semantics https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic https://w3id.org/np/o/ntemplate/wasCreatedFromProvenanceTemplate http://purl.org/np/RAGXx_k9eQMnXaCbsXMsJbGClwZtQEGNg0GVJu6amdAVw https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RACJ58Gvyn91LqCKIO9zu1eijDQIeEff28iyDrJgjSJF8 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RAoTD7udB2KtUuOuAe74tJi1t3VzK0DyWS7rYVAq1GRvw https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic https://w3id.org/np/o/ntemplate/wasCreatedFromPubinfoTemplate https://w3id.org/np/RAukAcWHRDlkqxk7H2XNSegc1WnHI569INvNr-xdptDGI https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic https://w3id.org/np/o/ntemplate/wasCreatedFromTemplate https://w3id.org/np/RA6NErVvGFJ1AflK02qqnB4jiQeF2EHl7mlbA7kp0d-lk https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/sig http://purl.org/nanopub/x/hasAlgorithm RSA https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/sig http://purl.org/nanopub/x/hasPublicKey MIIBIjANBgkqhkiG9w0BAQEFAAOCAQ8AMIIBCgKCAQEArRL5MjH1KfuE89dpKsIiscF/THrJ4uSvhl0NgaC8x3TdTDrL00kCnlH+2g7PMYhaUQIGWq27TTXHAGp7ehO8yLjRNeDCc8zjUCQJqLbzay3DB51PCiz50OsMgxiZC1+e0bVdk/CAQV4oVo+VgI+awHI1bTT4Yp7pR2I67imf1PIcwczGVhn8EQwtNdWQOZ63wDgUCY+6IubHBQzjLfbYh0828UETEyIV28T7fvf5+y4A5M590InmgkLGpJbRXoL0pnCm1BtFOoxeAVqfivbxIZWPYN2Yd0cSfqwIIUYyaLFpjDrBwc4iJdOus4UQ9OYqkeZDMpU3opU8jWKDIm77jwIDAQAB https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/sig http://purl.org/nanopub/x/hasSignature AIoO9M9p0IIAPaxkpAP0GAYGDBmjYVFRfWjyOAL7G/ebiMiJrvgRwvu3Ck8GP8qBB6+btyePOAZjxuJW2yiMZK7lEgkcB98qcd4GwhMNjwyQeLUZ6B4k8s1oEy7P9+vvLTOSDeG3+8nZuN0J2WQtXlvuSMJbUDiPkxgTfEcPA/ayHTemzHWXHLC8biWNfFyQI/o0618DdNc99pVl4nj8taMbLSfDvLstoa7mcRQon9knyYxarlEUhc5B05xS7pO4vDyy/m7atPjZBBrHl4QxK2+msf/mkDxIQ3pI5/HeN+E0+cBF1xr9S82HSs7ebCdSkDvnPMj16YQOLDkW+V22dg== https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/sig http://purl.org/nanopub/x/hasSignatureTarget https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/sig http://purl.org/nanopub/x/signedBy https://orcid.org/0000-0002-1267-0234 https://w3id.org/np/RAKnPUCGVEUIl7lb6I5PP9HfRW4rJVihXSOLcPKqbZqic/sig http://purl.org/nanopub/x/signedBy https://w3id.org/np/RAkkUz7qBJ-BIOCHV_4WCTgHCdTyI25_bnRuw166SXjwM/DOI-bot