{"id":"https://openalex.org/W7225742399","doi":"https://doi.org/10.5281/zenodo.24116157","title":"Implication-Space Semantics for RDF","display_name":"Implication-Space Semantics for RDF","publication_year":2026,"publication_date":"2026-11-10","ids":{"openalex":"https://openalex.org/W7225742399","doi":"https://doi.org/10.5281/zenodo.24116157"},"language":"en","primary_location":{"id":"doi:10.5281/zenodo.24116157","doi":"https://doi.org/10.5281/zenodo.24116157","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116157","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.5281/zenodo.24116157","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077292144","display_name":"Bradley P. Allen","orcid":"https://orcid.org/0000-0003-0216-3930","observed_orcids":["https://orcid.org/0000-0003-0216-3930"]},"institutions":[{"id":"https://openalex.org/I887064364","display_name":"University of Amsterdam","ror":"https://ror.org/04dkp9463","country_code":"NL","type":"education","lineage":["https://openalex.org/I887064364"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Allen, Bradley Paul","raw_affiliation_strings":["University of Amsterdam"],"raw_orcid":"https://orcid.org/0000-0003-0216-3930","affiliations":[{"raw_affiliation_string":"University of Amsterdam","institution_ids":["https://openalex.org/I887064364"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5077292144"],"corresponding_institution_ids":["https://openalex.org/I887064364"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.5785999894142151,"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.5785999894142151,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.39890000224113464,"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/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.0019000000320374966,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[],"concepts":[{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.732699990272522},{"id":"https://openalex.org/C15657843","wikidata":"https://www.wikidata.org/wiki/Q1751819","display_name":"RDF Schema","level":5,"score":0.7035999894142151},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6175000071525574},{"id":"https://openalex.org/C69075417","wikidata":"https://www.wikidata.org/wiki/Q515701","display_name":"Linked data","level":3,"score":0.484499990940094},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.4242999851703644},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.420199990272522},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38269999623298645},{"id":"https://openalex.org/C78923513","wikidata":"https://www.wikidata.org/wiki/Q2115","display_name":"RDF/XML","level":5,"score":0.38119998574256897},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.37400001287460327},{"id":"https://openalex.org/C89497691","wikidata":"https://www.wikidata.org/wiki/Q7981058","display_name":"Well-founded semantics","level":5,"score":0.3709999918937683},{"id":"https://openalex.org/C46681722","wikidata":"https://www.wikidata.org/wiki/Q4725589","display_name":"Alias","level":2,"score":0.3617999851703644},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.35659998655319214},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.34459999203681946},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.32710000872612},{"id":"https://openalex.org/C61151141","wikidata":"https://www.wikidata.org/wiki/Q7249983","display_name":"Proof-theoretic semantics","level":5,"score":0.31769999861717224},{"id":"https://openalex.org/C41009113","wikidata":"https://www.wikidata.org/wiki/Q54871","display_name":"SPARQL","level":4,"score":0.3172000050544739},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3154999911785126},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.3043000102043152},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3003000020980835},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.2922999858856201},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.28049999475479126},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.2784000039100647},{"id":"https://openalex.org/C189950617","wikidata":"https://www.wikidata.org/wiki/Q937228","display_name":"Property (philosophy)","level":2,"score":0.2736999988555908},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2712000012397766},{"id":"https://openalex.org/C42058472","wikidata":"https://www.wikidata.org/wiki/Q810214","display_name":"Base (topology)","level":2,"score":0.267300009727478},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.259799987077713}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.5281/zenodo.24116157","doi":"https://doi.org/10.5281/zenodo.24116157","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116157","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.5281/zenodo.24116158","doi":"https://doi.org/10.5281/zenodo.24116158","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116158","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"}],"best_oa_location":{"id":"doi:10.5281/zenodo.24116157","doi":"https://doi.org/10.5281/zenodo.24116157","is_oa":true,"landing_page_url":"https://doi.org/10.5281/zenodo.24116157","pdf_url":null,"source":{"id":"https://openalex.org/S4306400562","display_name":"Zenodo (CERN European Organization for Nuclear Research)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I67311998","host_organization_name":"European Organization for Nuclear Research","host_organization_lineage":["https://openalex.org/I67311998"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"The":[0,175],"Semantic":[1],"Web":[2],"is":[3,103,146,163,196,202,238],"a":[4,76,109,161,204],"deployed":[5],"inferential":[6,246],"practice:":[7],"hundreds":[8],"of":[9,16,67,75,193,206,272],"communities":[10,229],"publish,":[11],"in":[12,64,96,165,248],"the":[13,19,24,49,65,97,101,105,115,120,124,141,143,166,170,177,190,207,212,216,222,274,277],"formal":[14],"language":[15],"RDF,":[17,82],"both":[18],"claims":[20],"they":[21],"endorse":[22],"and":[23,69,83,154,160,186,224,259],"schema":[25],"triples":[26,72],"that":[27,122,189],"license":[28],"inference":[29],"among":[30],"them.":[31,199],"Its":[32],"official":[33],"semantics":[34,63,116,167,195,237],"has":[35],"been":[36],"model-theoretic":[37],"throughout":[38],"its":[39],"history;":[40],"this":[41],"note":[42],"gives":[43],"it":[44],"an":[45,61],"inferentialist":[46],"one,":[47],"for":[48,89,100,112,127],"entailment":[50,129],"regimes":[51,178,213,275],"presented":[52,131],"by":[53,132,242],"closure":[54,133],"under":[55,134,184],"rules.":[56],"We":[57,240],"provide":[58],"RDF":[59,93,150,236,249],"with":[60],"implication-space":[62,194],"sense":[66],"Hlobil":[68],"Brandom,":[70],"encoding":[71],"as":[73,219,221],"bearers":[74],"single":[77],"ternary":[78],"property":[79],"over":[80,92],"generalized":[81],"prove":[84],"two":[85],"recovery":[86],"results.":[87],"First,":[88],"any":[90],"base":[91,102,106,142],"triples,":[94],"implication":[95],"models":[98],"fit":[99],"exactly":[104,168],"lifted":[107],"through":[108,227],"substitutional":[110],"clause":[111],"blank":[113],"nodes;":[114],"adds":[117],"nothing":[118],"to":[119],"practice":[121],"supplies":[123],"base.":[125],"Second,":[126],"every":[128,245],"regime":[130,144],"Horn":[135],"rules,":[136],"including":[137],"rules":[138,172],"concluding":[139],"false,":[140],"specifies":[145],"recovered":[147],"exactly:":[148],"simple":[149],"entailment,":[151,153],"RDFS":[152],"OWL":[155],"2":[156],"RL":[157],"are":[158,276],"instances,":[159],"graph":[162,251],"incoherent":[164],"when":[169],"regime\u2019s":[171],"derive":[173],"false.":[174],"frames":[176],"induce":[179],"come":[180],"out":[181],"monotone,":[182],"closed":[183],"Cut,":[185],"explosive,":[187],"so":[188],"substructural":[191],"machinery":[192],"idle":[197],"on":[198],"That":[200],"idleness":[201],"not":[203],"limitation":[205],"semantics.":[208],"It":[209],"locates":[210],"what":[211],"leave":[214],"out:":[215],"domain":[217],"knowledge,":[218],"well":[220],"constraints":[223],"query-side":[225],"practices":[226],"which":[228,234,273],"actually":[230],"handle":[231],"defeat,":[232],"about":[233],"classical":[235],"silent.":[239],"conclude":[241],"sketching":[243],"how":[244],"commitment":[247],"knowledge":[250],"construction":[252],"\u2014":[253,262],"assertions,":[254],"ontologies,":[255],"published":[256],"incompatibilities,":[257],"constraints,":[258],"human":[260],"curation":[261],"can":[263],"be":[264],"brought":[265],"into":[266],"one":[267],"nonmonotone,":[268],"nonexplosive":[269],"consequence":[270],"relation":[271],"monotone":[278],"corner.":[279]},"counts_by_year":[],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2026-11-11T00:00:00"}