{"id":"https://openalex.org/W4317641481","doi":"https://doi.org/10.14778/3565838.3565850","title":"Exploiting the Power of Equality-Generating Dependencies in Ontological Reasoning","display_name":"Exploiting the Power of Equality-Generating Dependencies in Ontological Reasoning","publication_year":2022,"publication_date":"2022-09-01","ids":{"openalex":"https://openalex.org/W4317641481","doi":"https://doi.org/10.14778/3565838.3565850"},"language":"en","primary_location":{"id":"doi:10.14778/3565838.3565850","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3565838.3565850","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5049287242","display_name":"Luigi Bellomarini","orcid":"https://orcid.org/0000-0001-6863-0162"},"institutions":[{"id":"https://openalex.org/I103737770","display_name":"Bank of Italy","ror":"https://ror.org/03v2nbx43","country_code":"IT","type":"funder","lineage":["https://openalex.org/I103737770"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Luigi Bellomarini","raw_affiliation_strings":["Banca d'Italia"],"affiliations":[{"raw_affiliation_string":"Banca d'Italia","institution_ids":["https://openalex.org/I103737770"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5001272511","display_name":"Davide Benedetto","orcid":null},"institutions":[{"id":"https://openalex.org/I119003972","display_name":"Roma Tre University","ror":"https://ror.org/05vf0dg29","country_code":"IT","type":"education","lineage":["https://openalex.org/I119003972"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Davide Benedetto","raw_affiliation_strings":["Universit\u00e0 Roma Tre"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 Roma Tre","institution_ids":["https://openalex.org/I119003972"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5068808466","display_name":"Matteo Brandetti","orcid":"https://orcid.org/0009-0009-6328-4585"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Matteo Brandetti","raw_affiliation_strings":["TU Wien"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5012243761","display_name":"Emanuel Sallinger","orcid":"https://orcid.org/0000-0001-7441-129X"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]},{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["AT","GB"],"is_corresponding":false,"raw_author_name":"Emanuel Sallinger","raw_affiliation_strings":["TU Wien & University of Oxford"],"affiliations":[{"raw_affiliation_string":"TU Wien & University of Oxford","institution_ids":["https://openalex.org/I145847075","https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5049287242"],"corresponding_institution_ids":["https://openalex.org/I103737770"],"apc_list":null,"apc_paid":null,"fwci":0.6631,"has_fulltext":false,"cited_by_count":5,"citation_normalized_percentile":{"value":0.74992113,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":97},"biblio":{"volume":"15","issue":"13","first_page":"3976","last_page":"3988"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9995999932289124,"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.9995999932289124,"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/T11719","display_name":"Data Quality and Management","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1803","display_name":"Management Science and Operations Research"},"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9886000156402588,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.8709772825241089},{"id":"https://openalex.org/keywords/decidability","display_name":"Decidability","score":0.8363348245620728},{"id":"https://openalex.org/keywords/conjunctive-query","display_name":"Conjunctive query","score":0.7851234674453735},{"id":"https://openalex.org/keywords/p","display_name":"P","score":0.6646510362625122},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6601060628890991},{"id":"https://openalex.org/keywords/undecidable-problem","display_name":"Undecidable problem","score":0.519001841545105},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.516135573387146},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.49076637625694275},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.43211814761161804},{"id":"https://openalex.org/keywords/semantic-reasoner","display_name":"Semantic reasoner","score":0.4148905277252197},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.41084399819374084},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.38930684328079224},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.2173086702823639},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.2170100212097168},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2132011353969574},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.16881749033927917},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.13660994172096252},{"id":"https://openalex.org/keywords/time-complexity","display_name":"Time complexity","score":0.1360102891921997},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.09087401628494263}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.8709772825241089},{"id":"https://openalex.org/C153269930","wikidata":"https://www.wikidata.org/wiki/Q430001","display_name":"Decidability","level":2,"score":0.8363348245620728},{"id":"https://openalex.org/C65647387","wikidata":"https://www.wikidata.org/wiki/Q1781706","display_name":"Conjunctive query","level":3,"score":0.7851234674453735},{"id":"https://openalex.org/C134026603","wikidata":"https://www.wikidata.org/wiki/Q846354","display_name":"P","level":3,"score":0.6646510362625122},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6601060628890991},{"id":"https://openalex.org/C192034797","wikidata":"https://www.wikidata.org/wiki/Q3502995","display_name":"Undecidable problem","level":3,"score":0.519001841545105},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.516135573387146},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.49076637625694275},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.43211814761161804},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.4148905277252197},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.41084399819374084},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.38930684328079224},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.2173086702823639},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.2170100212097168},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2132011353969574},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.16881749033927917},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.13660994172096252},{"id":"https://openalex.org/C311688","wikidata":"https://www.wikidata.org/wiki/Q2393193","display_name":"Time complexity","level":2,"score":0.1360102891921997},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.09087401628494263}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/3565838.3565850","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3565838.3565850","pdf_url":null,"source":{"id":"https://openalex.org/S4210226185","display_name":"Proceedings of the VLDB Endowment","issn_l":"2150-8097","issn":["2150-8097"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the VLDB Endowment","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.7699999809265137,"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":35,"referenced_works":["https://openalex.org/W1788016700","https://openalex.org/W1964929381","https://openalex.org/W1970782121","https://openalex.org/W1976055110","https://openalex.org/W1985581502","https://openalex.org/W2000587134","https://openalex.org/W2001399171","https://openalex.org/W2013096722","https://openalex.org/W2029685341","https://openalex.org/W2057069578","https://openalex.org/W2062501346","https://openalex.org/W2062796915","https://openalex.org/W2073471108","https://openalex.org/W2145813209","https://openalex.org/W2148096737","https://openalex.org/W2164928285","https://openalex.org/W2166162093","https://openalex.org/W2188696002","https://openalex.org/W2189052568","https://openalex.org/W2193530801","https://openalex.org/W2211160973","https://openalex.org/W2270663495","https://openalex.org/W2613947812","https://openalex.org/W2768706663","https://openalex.org/W2808240130","https://openalex.org/W2926816154","https://openalex.org/W2950924954","https://openalex.org/W2965683718","https://openalex.org/W3023186102","https://openalex.org/W3177005003","https://openalex.org/W3210615953","https://openalex.org/W4206031975","https://openalex.org/W4288018257","https://openalex.org/W6658013616","https://openalex.org/W6760573127"],"related_works":["https://openalex.org/W2136421307","https://openalex.org/W1983914494","https://openalex.org/W4288363924","https://openalex.org/W2740681086","https://openalex.org/W4389096604","https://openalex.org/W2146329061","https://openalex.org/W4387838894","https://openalex.org/W2926816154","https://openalex.org/W3012562581","https://openalex.org/W2165864074"],"abstract_inverted_index":{"Equality-generating":[0],"dependencies":[1],"(EGDs)":[2],"allow":[3,139],"to":[4,66,68,140],"fully":[5],"exploit":[6],"the":[7,26,35,58,85,112,123,129,196],"power":[8],"of":[9,28,37,60,72,88,98,114,131,146],"existential":[10],"quantification":[11],"in":[12,75,84,94,160,165],"ontological":[13,171],"reasoning":[14,40,172,187],"settings":[15],"modeled":[16],"via":[17],"Tuple-Generating":[18],"Dependencies":[19],"(TGDs),":[20],"by":[21],"enabling":[22],"value-assignment":[23],"or":[24,70],"forcing":[25],"equivalence":[27],"fresh":[29],"symbols.":[30],"These":[31],"capabilities":[32],"are":[33],"at":[34,111],"core":[36],"many":[38,52],"common":[39],"tasks,":[41],"including":[42],"graph":[43],"traversals,":[44],"clustering,":[45],"data":[46,49,95],"matching":[47],"and":[48,51,62,138,175,191,208],"fusion,":[50],"more":[53],"related":[54],"real-world":[55],"scenarios.":[56],"However,":[57],"interplay":[59],"TGDs":[61],"EGDs":[63,137,190],"is":[64,92,173],"known":[65],"lead":[67],"undecidability":[69],"intractability":[71],"query":[73,90],"answering":[74,91],"tractable":[76],"Datalog+/-":[77,167],"fragments,":[78],"like":[79,101],"Warded":[80,166],"Datalog+/-,":[81],"for":[82,122,154,186],"which,":[83],"sole":[86],"presence":[87],"TGDs,":[89],"PTIME":[93],"complexity.":[96],"Restrictions":[97],"equality":[99],"constraints,":[100],"separable":[102,136],"EGDs,":[103,133,170],"have":[104],"been":[105],"studied,":[106],"but":[107],"all":[108],"achieve":[109],"decidability":[110],"cost":[113],"limited":[115],"expressive":[116],"power,":[117],"which":[118],"makes":[119],"them":[120],"unsuitable":[121],"mentioned":[124],"tasks.":[125,147],"This":[126],"paper":[127],"introduces":[128],"class":[130,145],"\"harmless\"":[132],"that":[134,164],"subsume":[135],"model":[141],"a":[142,150,199],"very":[143],"broad":[144],"We":[148,162,203],"contribute":[149],"sufficient":[151],"syntactic":[152],"condition":[153],"testing":[155],"harmlessness,":[156],"an":[157,193],"undecidable":[158],"task":[159],"general.":[161],"argue":[163],"with":[168,188],"harmless":[169,189],"decidable":[174],"PTIME.":[176],"From":[177],"such":[178],"theoretical":[179],"underpinnings,":[180],"we":[181],"develop":[182],"novel":[183],"chase-based":[184],"techniques":[185],"present":[192],"implementation":[194],"within":[195],"Vadalog":[197],"system,":[198],"state-of-the-art":[200],"Datalog-based":[201],"reasoner.":[202],"provide":[204],"full-scale":[205],"experimental":[206],"evaluation":[207],"comparative":[209],"analysis.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":3}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}