{"id":"https://openalex.org/W4407693790","doi":"https://doi.org/10.14778/3704965.3704970","title":"The Vadalog Parallel System: Distributed Reasoning with Datalog+/-","display_name":"The Vadalog Parallel System: Distributed Reasoning with Datalog+/-","publication_year":2024,"publication_date":"2024-09-01","ids":{"openalex":"https://openalex.org/W4407693790","doi":"https://doi.org/10.14778/3704965.3704970"},"language":"en","primary_location":{"id":"doi:10.14778/3704965.3704970","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3704965.3704970","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"],"raw_orcid":null,"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":["Prometheux & Universit\u00e0 Roma Tre"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Prometheux & 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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"middle","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"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien & University of Oxford","institution_ids":["https://openalex.org/I145847075","https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5028304268","display_name":"Adriano Vlad","orcid":null},"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":"Adriano Vlad","raw_affiliation_strings":["Prometheux, TU Wien & University of Oxford"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Prometheux, TU Wien & University of Oxford","institution_ids":["https://openalex.org/I145847075","https://openalex.org/I40120149"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":5,"corresponding_author_ids":["https://openalex.org/A5049287242"],"corresponding_institution_ids":["https://openalex.org/I103737770"],"apc_list":null,"apc_paid":null,"fwci":0.6294,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.76692815,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":95,"max":96},"biblio":{"volume":"17","issue":"13","first_page":"4614","last_page":"4626"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9987999796867371,"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.9987999796867371,"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.998199999332428,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9955999851226807,"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.9501408338546753},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6288938522338867},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4763360619544983},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.4216316044330597}],"concepts":[{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.9501408338546753},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6288938522338867},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4763360619544983},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.4216316044330597}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.14778/3704965.3704970","is_oa":false,"landing_page_url":"https://doi.org/10.14778/3704965.3704970","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":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1824207140","https://openalex.org/W1972377560","https://openalex.org/W1989009626","https://openalex.org/W2001399171","https://openalex.org/W2006141176","https://openalex.org/W2014287924","https://openalex.org/W2072627547","https://openalex.org/W2122222257","https://openalex.org/W2145813209","https://openalex.org/W2148096737","https://openalex.org/W2167685423","https://openalex.org/W2188696002","https://openalex.org/W2214924133","https://openalex.org/W2299299451","https://openalex.org/W2433992225","https://openalex.org/W2487869802","https://openalex.org/W2525579820","https://openalex.org/W2585196727","https://openalex.org/W2613947812","https://openalex.org/W2808240130","https://openalex.org/W2916507006","https://openalex.org/W2926816154","https://openalex.org/W2952809546","https://openalex.org/W2994312472","https://openalex.org/W3094727272","https://openalex.org/W3210615953","https://openalex.org/W4205505456","https://openalex.org/W4206031975","https://openalex.org/W4251697274","https://openalex.org/W4312477344","https://openalex.org/W6647556548","https://openalex.org/W7015712883"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2955734379","https://openalex.org/W2049216635","https://openalex.org/W3121709727","https://openalex.org/W2570392075","https://openalex.org/W1556735226","https://openalex.org/W2023906867","https://openalex.org/W2124217695"],"abstract_inverted_index":{"Over":[0],"the":[1,18,44,55,59,112,152,157,162,191],"past":[2],"years,":[3],"there":[4],"has":[5,66],"been":[6],"a":[7,30,116,184,199],"growing":[8],"demand":[9],"for":[10,24,69,102,188,202],"ontological":[11,103],"reasoning":[12,118,186],"systems":[13,71],"based":[14],"on":[15,96],"languages":[16],"of":[17,33,48,79,164,170,193],"Datalog+/-":[19,158,171],"family,":[20],"such":[21,39,148],"as":[22,40,128],"Vadalog,":[23],"their":[25],"ability":[26,56],"to":[27,53,57,72,114],"effectively":[28],"model":[29],"wide":[31],"range":[32],"real-world":[34],"problems":[35],"with":[36,173,183],"powerful":[37],"features":[38],"existential":[41,80,139],"quantification.":[42],"As":[43],"scale":[45],"and":[46,82,98,122,133,141,150,204],"complexity":[47],"data":[49],"analysis":[50],"tasks":[51,127],"continue":[52],"grow,":[54],"distribute":[58],"computational":[60],"workload":[61],"across":[62,107],"multiple":[63,108],"non-communicating":[64],"processors":[65],"become":[67],"vital":[68],"these":[70],"achieve":[73],"scalable":[74],"performance.":[75],"The":[76],"joint":[77],"presence":[78],"quantification":[81,140],"recursion":[83],"poses":[84],"new":[85,131],"challenges,":[86],"currently":[87],"unsolved":[88],"by":[89,138],"existing":[90],"distributed":[91,154,185,200],"systems,":[92],"which":[93,167],"only":[94],"concentrate":[95],"Datalog":[97],"are":[99,125],"therefore":[100],"unsuitable":[101],"reasoning.":[104],"When":[105],"working":[106],"processors,":[109],"generating":[110],"all":[111],"facts":[113,134],"answer":[115],"specific":[117],"query,":[119],"avoiding":[120],"duplication,":[121],"guaranteeing":[123],"termination":[124],"non-trivial":[126],"infinitely":[129],"many":[130],"symbols":[132],"can":[135],"be":[136],"generated":[137],"recursion.":[142],"In":[143],"this":[144],"paper,":[145],"we":[146],"address":[147],"challenges":[149],"introduce":[151],"first":[153],"framework":[155],"in":[156],"space.":[159],"We":[160,177,195],"propose":[161],"condition":[163],"homomorphic":[165,179],"decomposability,":[166],"identifies":[168],"sets":[169],"rules":[172],"good":[174],"distribution":[175],"properties.":[176],"put":[178],"decomposability":[180],"into":[181],"action":[182],"algorithm":[187],"Warded":[189],"Datalog+/-,":[190],"core":[192],"Vadalog.":[194],"implement":[196],"Vadalog":[197,203],"Parallel,":[198],"reasoner":[201],"provide":[205],"experimental":[206],"evaluation":[207],"against":[208],"state-of-the-art":[209],"systems.":[210]},"counts_by_year":[{"year":2025,"cited_by_count":2}],"updated_date":"2026-05-21T06:26:12.895304","created_date":"2025-10-10T00:00:00"}