{"id":"https://openalex.org/W7155490359","doi":"https://doi.org/10.48550/arxiv.2604.20946","title":"Common Foundations for Recursive Shape Languages","display_name":"Common Foundations for Recursive Shape Languages","publication_year":2026,"publication_date":"2026-04-22","ids":{"openalex":"https://openalex.org/W7155490359","doi":"https://doi.org/10.48550/arxiv.2604.20946"},"language":null,"primary_location":{"id":"doi:10.48550/arxiv.2604.20946","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.20946","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":false,"raw_source_name":null,"raw_type":"Preprint"},"type":"preprint","indexed_in":["datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://doi.org/10.48550/arxiv.2604.20946","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5012171077","display_name":"Shqiponja Ahmetaj","orcid":"https://orcid.org/0000-0003-3165-3568"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ahmetaj, Shqiponja","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5057438862","display_name":"Iovka Boneva","orcid":"https://orcid.org/0000-0002-2696-7303"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Boneva, Iovka","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068967246","display_name":"Jan Hidders","orcid":"https://orcid.org/0000-0002-8865-4329"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Hidders, Jan","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5033452636","display_name":"Maxime Jakubowski","orcid":"https://orcid.org/0000-0002-7420-1337"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Jakubowski, Maxime","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5075941749","display_name":"Jose-Emilio Labra-Gayo","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Labra-Gayo, Jose-Emilio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016412428","display_name":"Wim Martens","orcid":"https://orcid.org/0000-0001-9480-3522"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Martens, Wim","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052215915","display_name":"Fabio Mogavero","orcid":"https://orcid.org/0000-0002-5140-5783"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Mogavero, Fabio","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5037986297","display_name":"Filip Murlak","orcid":"https://orcid.org/0000-0003-0989-3717"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Murlak, Filip","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003919374","display_name":"Cem Okulmus","orcid":"https://orcid.org/0000-0002-7742-0439"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Okulmus, Cem","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5009122904","display_name":"Ognjen Savkovi\u0107","orcid":"https://orcid.org/0000-0002-9141-3008"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Savkovi\u0107, Ognjen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5079813467","display_name":"Mantas \u0160imkus","orcid":"https://orcid.org/0000-0003-0632-0294"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"\u0160imkus, Mantas","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5043372470","display_name":"Dominik Tomaszuk","orcid":"https://orcid.org/0000-0003-1806-067X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tomaszuk, Dominik","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":[],"corresponding_institution_ids":[],"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.840399980545044,"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.840399980545044,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.06780000030994415,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.017999999225139618,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5697000026702881},{"id":"https://openalex.org/keywords/schema","display_name":"Schema (genetic algorithms)","score":0.48739999532699585},{"id":"https://openalex.org/keywords/formal-semantics","display_name":"Formal semantics (linguistics)","score":0.4821999967098236},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.35920000076293945},{"id":"https://openalex.org/keywords/interoperability","display_name":"Interoperability","score":0.34439998865127563},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.299699991941452},{"id":"https://openalex.org/keywords/stable-model-semantics","display_name":"Stable model semantics","score":0.299699991941452},{"id":"https://openalex.org/keywords/duality","display_name":"Duality (order theory)","score":0.28790000081062317}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6567000150680542},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5697000026702881},{"id":"https://openalex.org/C52146309","wikidata":"https://www.wikidata.org/wiki/Q7431116","display_name":"Schema (genetic algorithms)","level":2,"score":0.48739999532699585},{"id":"https://openalex.org/C146499914","wikidata":"https://www.wikidata.org/wiki/Q5469969","display_name":"Formal semantics (linguistics)","level":2,"score":0.4821999967098236},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.46860000491142273},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.447299987077713},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.35920000076293945},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.35100001096725464},{"id":"https://openalex.org/C20136886","wikidata":"https://www.wikidata.org/wiki/Q749647","display_name":"Interoperability","level":2,"score":0.34439998865127563},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.299699991941452},{"id":"https://openalex.org/C127001435","wikidata":"https://www.wikidata.org/wiki/Q7595770","display_name":"Stable model semantics","level":4,"score":0.299699991941452},{"id":"https://openalex.org/C2778023678","wikidata":"https://www.wikidata.org/wiki/Q554403","display_name":"Duality (order theory)","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.28130000829696655},{"id":"https://openalex.org/C207648694","wikidata":"https://www.wikidata.org/wiki/Q1189746","display_name":"Denotational semantics","level":4,"score":0.28110000491142273},{"id":"https://openalex.org/C150607116","wikidata":"https://www.wikidata.org/wiki/Q4677421","display_name":"Action semantics","level":5,"score":0.2800999879837036},{"id":"https://openalex.org/C147497476","wikidata":"https://www.wikidata.org/wiki/Q54872","display_name":"RDF","level":3,"score":0.2696000039577484},{"id":"https://openalex.org/C2129575","wikidata":"https://www.wikidata.org/wiki/Q54837","display_name":"Semantic Web","level":2,"score":0.26899999380111694},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.2680000066757202},{"id":"https://openalex.org/C60048249","wikidata":"https://www.wikidata.org/wiki/Q37437","display_name":"Syntax","level":2,"score":0.25850000977516174},{"id":"https://openalex.org/C192800085","wikidata":"https://www.wikidata.org/wiki/Q5258530","display_name":"Semantic interoperability","level":3,"score":0.2583000063896179}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.48550/arxiv.2604.20946","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.20946","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":"Preprint"}],"best_oa_location":{"id":"doi:10.48550/arxiv.2604.20946","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.2604.20946","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":false,"raw_source_name":null,"raw_type":"Preprint"},"sustainable_development_goals":[{"score":0.4690202474594116,"id":"https://metadata.un.org/sdg/17","display_name":"Partnerships for the goals"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"As":[0],"schema":[1],"languages":[2],"for":[3,42],"RDF":[4],"data":[5,216],"become":[6],"more":[7,71],"mature,":[8],"we":[9,58,157,209],"are":[10,70,169],"seeing":[11],"efforts":[12],"to":[13,48,86,95,113,159,179],"extend":[14],"them":[15],"with":[16,189],"recursive":[17,33],"semantics,":[18],"applying":[19],"diverse":[20],"ideas":[21],"from":[22],"logic":[23],"programming":[24],"and":[25,46,79,91,117,125,137,145,151,167,176,217,222,228],"description":[26],"logics.":[27],"While":[28],"ShEx":[29,63,78,168,175,221],"has":[30],"an":[31],"official":[32],"semantics":[34,132,140],"based":[35],"on":[36,153],"greatest":[37],"fixpoints":[38,53],"(GFP),":[39],"the":[40,102,162,203,215],"discussion":[41],"SHACL":[43,68,166,177,223],"is":[44,195],"ongoing":[45],"seems":[47],"be":[49,180],"converging":[50],"towards":[51],"least":[52],"(LFP).":[54],"A":[55],"practical":[56],"study":[57],"perform":[59],"shows":[60],"that,":[61,173],"indeed,":[62],"validators":[64,69],"implement":[65],"GFP,":[66,136,227],"whereas":[67],"heterogeneous.":[72],"This":[73],"situation":[74],"creates":[75],"tension":[76],"between":[77,149,199],"SHACL,":[80],"as":[81],"their":[82,143],"semantic":[83,104],"commitments":[84],"appear":[85],"diverge,":[87],"potentially":[88],"undermining":[89],"interoperability":[90],"predictability.":[92],"We":[93,127,171],"aim":[94],"clarify":[96],"this":[97],"design":[98],"space":[99],"by":[100,165],"comparing":[101],"main":[103],"options":[105],"in":[106,122,182],"a":[107,129,147,196,211,235],"principled":[108],"yet":[109],"accessible":[110],"way,":[111],"hoping":[112],"engage":[114],"both":[115],"theoreticians":[116],"practitioners,":[118],"especially":[119],"those":[120],"involved":[121],"developing":[123],"tools":[124],"standards.":[126],"present":[128,210],"unifying":[130],"formal":[131],"that":[133,231],"treats":[134],"LFP,":[135,226],"supported":[138],"model":[139],"(SMS),":[141],"clarifying":[142],"relationships":[144],"highlighting":[146],"duality":[148],"LFP":[150],"GFP":[152],"stratified":[154],"fragments.":[155],"Next,":[156],"investigate":[158],"which":[160],"extent":[161],"directions":[163],"taken":[164],"compatible.":[170],"show":[172],"although":[174],"seem":[178],"going":[181],"different":[183],"directions,":[184],"they":[185],"include":[186],"large":[187],"fragments":[188,201],"identical":[190],"expressive":[191],"power.":[192],"Moreover,":[193],"there":[194],"strong":[197],"correspondence":[198],"these":[200],"through":[202],"aforementioned":[204],"principle":[205],"of":[206,214,220],"duality.":[207],"Finally,":[208],"complete":[212],"picture":[213],"combined":[218],"complexity":[219],"validation":[224],"under":[225,239],"SMS,":[229],"showing":[230],"SMS":[232],"comes":[233],"at":[234],"higher":[236],"computational":[237],"cost":[238],"standard":[240],"complexity-theoretic":[241],"assumptions.":[242]},"counts_by_year":[],"updated_date":"2026-07-01T06:00:48.157686","created_date":"2026-04-25T00:00:00"}