{"id":"https://openalex.org/W3202772329","doi":"https://doi.org/10.1145/3460210.3493561","title":"Expressing High-Level Scientific Claims with Formal Semantics","display_name":"Expressing High-Level Scientific Claims with Formal Semantics","publication_year":2021,"publication_date":"2021-11-24","ids":{"openalex":"https://openalex.org/W3202772329","doi":"https://doi.org/10.1145/3460210.3493561","mag":"3202772329"},"language":"en","primary_location":{"id":"doi:10.1145/3460210.3493561","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460210.3493561","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460210.3493561","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th Knowledge Capture Conference","raw_type":"proceedings-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3460210.3493561","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5028749027","display_name":"Cristina-Iulia Bucur","orcid":"https://orcid.org/0000-0002-7114-6459"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Cristina-Iulia Bucur","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands","vrije universiteit amsterdam"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"vrije universiteit amsterdam","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016394820","display_name":"Tobias Kuhn","orcid":"https://orcid.org/0000-0002-1267-0234"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Tobias Kuhn","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands","vrije universiteit amsterdam"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"vrije universiteit amsterdam","institution_ids":["https://openalex.org/I865915315"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5036715668","display_name":"Davide Ceolin","orcid":"https://orcid.org/0000-0002-3357-9130"},"institutions":[{"id":"https://openalex.org/I1341640284","display_name":"Centrum Wiskunde & Informatica","ror":"https://ror.org/00x7ekv49","country_code":"NL","type":"facility","lineage":["https://openalex.org/I1341640284","https://openalex.org/I2800991832"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Davide Ceolin","raw_affiliation_strings":["Centrum Wiskunde & Informatica, Amsterdam, Netherlands","[Centrum Wiskunde & Informatica]"],"affiliations":[{"raw_affiliation_string":"Centrum Wiskunde & Informatica, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I1341640284"]},{"raw_affiliation_string":"[Centrum Wiskunde & Informatica]","institution_ids":["https://openalex.org/I1341640284"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5042220566","display_name":"Jacco van Ossenbruggen","orcid":"https://orcid.org/0000-0002-7748-4715"},"institutions":[{"id":"https://openalex.org/I865915315","display_name":"Vrije Universiteit Amsterdam","ror":"https://ror.org/008xxew50","country_code":"NL","type":"education","lineage":["https://openalex.org/I865915315"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Jacco van Ossenbruggen","raw_affiliation_strings":["Vrije Universiteit Amsterdam, Amsterdam, Netherlands","vrije universiteit amsterdam"],"affiliations":[{"raw_affiliation_string":"Vrije Universiteit Amsterdam, Amsterdam, Netherlands","institution_ids":["https://openalex.org/I865915315"]},{"raw_affiliation_string":"vrije universiteit amsterdam","institution_ids":["https://openalex.org/I865915315"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5028749027"],"corresponding_institution_ids":["https://openalex.org/I865915315"],"apc_list":null,"apc_paid":null,"fwci":0.14,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.56423849,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"233","last_page":"240"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9983000159263611,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11986","display_name":"Scientific Computing and Data Management","score":0.9980000257492065,"subfield":{"id":"https://openalex.org/subfields/1802","display_name":"Information Systems and Management"},"field":{"id":"https://openalex.org/fields/18","display_name":"Decision Sciences"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}},{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.9977999925613403,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/rotation-formalisms-in-three-dimensions","display_name":"Rotation formalisms in three dimensions","score":0.7467736005783081},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7253624200820923},{"id":"https://openalex.org/keywords/rdf","display_name":"RDF","score":0.5314188003540039},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5269580483436584},{"id":"https://openalex.org/keywords/consistency","display_name":"Consistency (knowledge bases)","score":0.4740212559700012},{"id":"https://openalex.org/keywords/identifier","display_name":"Identifier","score":0.4661720097064972},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.40449848771095276},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.32642513513565063},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3016018569469452},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.3011910319328308},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2755669951438904},{"id":"https://openalex.org/keywords/semantic-web","display_name":"Semantic Web","score":0.21255412697792053},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.12477782368659973}],"concepts":[{"id":"https://openalex.org/C171018156","wikidata":"https://www.wikidata.org/wiki/Q7370306","display_name":"Rotation formalisms in three dimensions","level":2,"score":0.7467736005783081},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7253624200820923},{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.5314188003540039},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5269580483436584},{"id":"https://openalex.org/C2776436953","wikidata":"https://www.wikidata.org/wiki/Q5163215","display_name":"Consistency (knowledge bases)","level":2,"score":0.4740212559700012},{"id":"https://openalex.org/C154504017","wikidata":"https://www.wikidata.org/wiki/Q853614","display_name":"Identifier","level":2,"score":0.4661720097064972},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.40449848771095276},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.32642513513565063},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3016018569469452},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.3011910319328308},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2755669951438904},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.21255412697792053},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.12477782368659973},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/3460210.3493561","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460210.3493561","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460210.3493561","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th Knowledge Capture Conference","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2109.12907","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2109.12907","pdf_url":"https://arxiv.org/pdf/2109.12907","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:cwi.nl:31277","is_oa":true,"landing_page_url":"https://ir.cwi.nl/pub/31277","pdf_url":"https://ir.cwi.nl/pub/31277/31277.pdf","source":{"id":"https://openalex.org/S7407055335","display_name":"Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"mag:3202772329","is_oa":true,"landing_page_url":"http://arxiv.org/pdf/2109.12907.pdf","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:vu:oai:research.vu.nl:publications/93022091-bf37-4225-be6b-8098d1109d2e","is_oa":true,"landing_page_url":"https://research.vu.nl/en/publications/93022091-bf37-4225-be6b-8098d1109d2e","pdf_url":null,"source":{"id":"https://openalex.org/S4306401843","display_name":"Data Archiving and Networked Services (DANS)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1322597698","host_organization_name":"Royal Netherlands Academy of Arts and Sciences","host_organization_lineage":["https://openalex.org/I1322597698"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"K-CAP '21: Proceedings of the 11th on Knowledge Capture Conference, 233 - 240","raw_type":"info:eu-repo/semantics/conferencepaper"},{"id":"doi:10.48550/arxiv.2109.12907","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2109.12907","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article-journal"}],"best_oa_location":{"id":"doi:10.1145/3460210.3493561","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3460210.3493561","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3460210.3493561","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 11th Knowledge Capture Conference","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3202772329.pdf","grobid_xml":"https://content.openalex.org/works/W3202772329.grobid-xml"},"referenced_works_count":37,"referenced_works":["https://openalex.org/W158837568","https://openalex.org/W1561585380","https://openalex.org/W1651004564","https://openalex.org/W1969709265","https://openalex.org/W1991713242","https://openalex.org/W2036242330","https://openalex.org/W2046650403","https://openalex.org/W2054509941","https://openalex.org/W2060871034","https://openalex.org/W2096297868","https://openalex.org/W2104914590","https://openalex.org/W2114702301","https://openalex.org/W2123036199","https://openalex.org/W2150261856","https://openalex.org/W2150908245","https://openalex.org/W2169250641","https://openalex.org/W2222409207","https://openalex.org/W2336785612","https://openalex.org/W2398971311","https://openalex.org/W2401831675","https://openalex.org/W2468019168","https://openalex.org/W2530630547","https://openalex.org/W2739300322","https://openalex.org/W2765216418","https://openalex.org/W2767400974","https://openalex.org/W2774645926","https://openalex.org/W2804361106","https://openalex.org/W2828983966","https://openalex.org/W2891148407","https://openalex.org/W2911471988","https://openalex.org/W2963167730","https://openalex.org/W2983050946","https://openalex.org/W3016492791","https://openalex.org/W3019538379","https://openalex.org/W3097510093","https://openalex.org/W3184954410","https://openalex.org/W6959643953"],"related_works":["https://openalex.org/W2806616100","https://openalex.org/W2973066583","https://openalex.org/W2950014384","https://openalex.org/W2964116507","https://openalex.org/W1942438902","https://openalex.org/W2195257698","https://openalex.org/W3035487250","https://openalex.org/W2006002820","https://openalex.org/W2068319259","https://openalex.org/W2170728893","https://openalex.org/W1548685592","https://openalex.org/W1886172393","https://openalex.org/W2278340282","https://openalex.org/W2127778125","https://openalex.org/W2189625610","https://openalex.org/W2946072937","https://openalex.org/W1527656708","https://openalex.org/W2045854316","https://openalex.org/W3049721708","https://openalex.org/W2566468052"],"abstract_inverted_index":{"The":[0,85],"use":[1,122],"of":[2,16,66,81,90,131,149,168,196,200,221,245,252],"semantic":[3,124,183],"technologies":[4],"is":[5],"gaining":[6],"significant":[7],"traction":[8],"in":[9,18,97,138,209,277,286],"science":[10],"communication":[11],"with":[12,237],"a":[13,98,139,147,165,181,205,242,278],"wide":[14],"array":[15],"applications":[17],"disciplines":[19],"including":[20],"the":[21,27,64,71,79,82,129,143,188,194,197,235,250,253,256,262,265],"life":[22],"sciences,":[23],"computer":[24],"science,":[25],"and":[26,34,75,247,255,297],"social":[28],"sciences.":[29],"Languages":[30],"like":[31,170],"RDF,":[32],"OWL,":[33],"other":[35],"formalisms":[36,125,169],"based":[37],"on":[38,63,70,78,264],"formal":[39,136],"logic":[40],"are":[41,160],"applied":[42,214],"to":[43,50,55,107,116,126,179,204,217,232,271],"make":[44],"scientific":[45,67,73,91,133,150,222,239,275],"knowledge":[46,227],"accessible":[47],"not":[48],"only":[49,94],"human":[51],"readers":[52],"but":[53,176],"also":[54],"automated":[56,291],"systems.":[57],"These":[58,258],"approaches":[59],"have":[60,93],"mostly":[61],"focused":[62],"structure":[65,80],"publications":[68],"themselves,":[69],"used":[72,83],"methods":[74],"equipment,":[76],"or":[77,88,172],"datasets.":[84],"core":[86],"claims":[87,134,145],"hypotheses":[89],"work":[92],"been":[95],"covered":[96],"shallow":[99],"manner,":[100],"such":[101],"as":[102],"by":[103],"linking":[104],"mentioned":[105],"entities":[106],"established":[108],"identifiers.":[109],"In":[110],"this":[111,201,215],"research,":[112],"we":[113,120,155,177,186],"therefore":[114,260],"want":[115],"find":[117,156],"out":[118],"whether":[119],"can":[121,281],"existing":[123],"fully":[127],"express":[128,272],"content":[130],"high-level":[132,274],"using":[135],"semantics":[137,159],"systematic":[140],"way.":[141],"Analyzing":[142],"main":[144],"from":[146,152],"sample":[148,220],"articles":[151],"all":[153],"disciplines,":[154],"that":[157,226],"their":[158,273],"more":[161],"complex":[162],"than":[163],"what":[164],"straight-forward":[166],"application":[167],"RDF":[171],"OWL":[173],"account":[174],"for,":[175],"managed":[178],"elicit":[180],"clear":[182],"pattern":[184],"which":[185],"call":[187],"\"super-pattern''.":[189],"We":[190,212,224],"show":[191,225,241],"here":[192],"how":[193],"instantiation":[195],"five":[198],"slots":[199],"super-pattern":[202,216,236],"leads":[203],"strictly":[206],"defined":[207],"statement":[208],"higher-order":[210],"logic.":[211],"successfully":[213],"an":[218],"enlarged":[219],"claims.":[223],"representation":[228],"experts,":[229],"when":[230],"instructed":[231],"independently":[233],"instantiate":[234],"given":[238,249],"claims,":[240],"high":[243],"degree":[244],"consistency":[246,292],"convergence":[248],"complexity":[251],"task":[254],"subject.":[257],"results":[259],"open":[261],"door":[263],"longer":[266],"run":[267],"for":[268,290],"allowing":[269],"researchers":[270],"findings":[276],"manner":[279],"they":[280],"be":[282],"automatically":[283],"interpreted.":[284],"This":[285],"turn":[287],"will":[288],"allow":[289],"checking,":[293],"question":[294],"answering,":[295],"aggregation,":[296],"much":[298],"more.":[299]},"counts_by_year":[{"year":2023,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}