{"id":"https://openalex.org/W4308739449","doi":"https://doi.org/10.1017/s1471068422000412","title":"Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs","display_name":"Swift Markov Logic for Probabilistic Reasoning on Knowledge Graphs","publication_year":2022,"publication_date":"2022-11-09","ids":{"openalex":"https://openalex.org/W4308739449","doi":"https://doi.org/10.1017/s1471068422000412"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068422000412","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068422000412","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","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\u2019Italia, Rome, Italy (e-mails:","Banca d'Italia, Rome, Italy (e-mails:"],"affiliations":[{"raw_affiliation_string":"Banca d\u2019Italia, Rome, Italy (e-mails:","institution_ids":["https://openalex.org/I103737770"]},{"raw_affiliation_string":"Banca d'Italia, Rome, Italy (e-mails:","institution_ids":["https://openalex.org/I103737770"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5013115060","display_name":"Eleonora Laurenza","orcid":"https://orcid.org/0000-0002-2786-8163"},"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":false,"raw_author_name":"ELEONORA LAURENZA","raw_affiliation_strings":["Banca d\u2019Italia, Rome, Italy (e-mails:","Banca d'Italia, Rome, Italy (e-mails:"],"affiliations":[{"raw_affiliation_string":"Banca d\u2019Italia, Rome, Italy (e-mails:","institution_ids":["https://openalex.org/I103737770"]},{"raw_affiliation_string":"Banca d'Italia, Rome, Italy (e-mails:","institution_ids":["https://openalex.org/I103737770"]}]},{"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, Vienna, Austria University of Oxford, United Kingdom (e-mail:"],"affiliations":[{"raw_affiliation_string":"TU Wien, Vienna, Austria University of Oxford, United Kingdom (e-mail:","institution_ids":["https://openalex.org/I145847075","https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5000114117","display_name":"Evgeny Sherkhonov","orcid":null},"institutions":[{"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":["GB"],"is_corresponding":false,"raw_author_name":"EVGENY SHERKHONOV","raw_affiliation_strings":["University of Oxford, United Kingdom (e-mail:"],"affiliations":[{"raw_affiliation_string":"University of Oxford, United Kingdom (e-mail:","institution_ids":["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.3273,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.625785,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":95},"biblio":{"volume":"23","issue":"3","first_page":"507","last_page":"534"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.9994999766349792,"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"}},"topics":[{"id":"https://openalex.org/T11719","display_name":"Data Quality and Management","score":0.9994999766349792,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9991000294685364,"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/T10215","display_name":"Semantic Web and Ontologies","score":0.9980000257492065,"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/computer-science","display_name":"Computer science","score":0.821841299533844},{"id":"https://openalex.org/keywords/datalog","display_name":"Datalog","score":0.7629184722900391},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6851661801338196},{"id":"https://openalex.org/keywords/chase","display_name":"Chase","score":0.6178126335144043},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5908783078193665},{"id":"https://openalex.org/keywords/probabilistic-database","display_name":"Probabilistic database","score":0.5260325074195862},{"id":"https://openalex.org/keywords/probabilistic-ctl","display_name":"Probabilistic CTL","score":0.49945735931396484},{"id":"https://openalex.org/keywords/bayesian-network","display_name":"Bayesian network","score":0.48709774017333984},{"id":"https://openalex.org/keywords/probabilistic-argumentation","display_name":"Probabilistic argumentation","score":0.42595988512039185},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.40503108501434326},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.361115425825119},{"id":"https://openalex.org/keywords/database-theory","display_name":"Database theory","score":0.29946058988571167},{"id":"https://openalex.org/keywords/relational-database","display_name":"Relational database","score":0.21432620286941528},{"id":"https://openalex.org/keywords/probabilistic-analysis-of-algorithms","display_name":"Probabilistic analysis of algorithms","score":0.18964800238609314},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.16610345244407654}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.821841299533844},{"id":"https://openalex.org/C148230440","wikidata":"https://www.wikidata.org/wiki/Q1172264","display_name":"Datalog","level":2,"score":0.7629184722900391},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6851661801338196},{"id":"https://openalex.org/C131924884","wikidata":"https://www.wikidata.org/wiki/Q5087085","display_name":"Chase","level":2,"score":0.6178126335144043},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5908783078193665},{"id":"https://openalex.org/C174539288","wikidata":"https://www.wikidata.org/wiki/Q7246853","display_name":"Probabilistic database","level":4,"score":0.5260325074195862},{"id":"https://openalex.org/C52063229","wikidata":"https://www.wikidata.org/wiki/Q7246845","display_name":"Probabilistic CTL","level":4,"score":0.49945735931396484},{"id":"https://openalex.org/C33724603","wikidata":"https://www.wikidata.org/wiki/Q812540","display_name":"Bayesian network","level":2,"score":0.48709774017333984},{"id":"https://openalex.org/C128828806","wikidata":"https://www.wikidata.org/wiki/Q7246848","display_name":"Probabilistic argumentation","level":3,"score":0.42595988512039185},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.40503108501434326},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.361115425825119},{"id":"https://openalex.org/C12439846","wikidata":"https://www.wikidata.org/wiki/Q4809258","display_name":"Database theory","level":3,"score":0.29946058988571167},{"id":"https://openalex.org/C5655090","wikidata":"https://www.wikidata.org/wiki/Q192588","display_name":"Relational database","level":2,"score":0.21432620286941528},{"id":"https://openalex.org/C24404364","wikidata":"https://www.wikidata.org/wiki/Q7246846","display_name":"Probabilistic analysis of algorithms","level":3,"score":0.18964800238609314},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.16610345244407654}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s1471068422000412","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068422000412","pdf_url":null,"source":{"id":"https://openalex.org/S59670734","display_name":"Theory and Practice of Logic Programming","issn_l":"1471-0684","issn":["1471-0684","1475-3081"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theory and Practice of Logic Programming","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":85,"referenced_works":["https://openalex.org/W55914417","https://openalex.org/W811924890","https://openalex.org/W1480296171","https://openalex.org/W1482134990","https://openalex.org/W1497210627","https://openalex.org/W1511986666","https://openalex.org/W1514973146","https://openalex.org/W1559638857","https://openalex.org/W1563950057","https://openalex.org/W1689241477","https://openalex.org/W1725819718","https://openalex.org/W1930472418","https://openalex.org/W1965552673","https://openalex.org/W1969965298","https://openalex.org/W1977970897","https://openalex.org/W1979629649","https://openalex.org/W1996510233","https://openalex.org/W1998076865","https://openalex.org/W2001399171","https://openalex.org/W2012979684","https://openalex.org/W2028114585","https://openalex.org/W2029138824","https://openalex.org/W2052451171","https://openalex.org/W2073471108","https://openalex.org/W2079785597","https://openalex.org/W2102506621","https://openalex.org/W2102729564","https://openalex.org/W2118388899","https://openalex.org/W2133236963","https://openalex.org/W2136796925","https://openalex.org/W2138309709","https://openalex.org/W2142912368","https://openalex.org/W2154368191","https://openalex.org/W2165211504","https://openalex.org/W2167685423","https://openalex.org/W2171472464","https://openalex.org/W2255085205","https://openalex.org/W2256219492","https://openalex.org/W2283350629","https://openalex.org/W2303892416","https://openalex.org/W2536131596","https://openalex.org/W2564062390","https://openalex.org/W2579650983","https://openalex.org/W2606309900","https://openalex.org/W2729091742","https://openalex.org/W2739618783","https://openalex.org/W2780545631","https://openalex.org/W2788315304","https://openalex.org/W2803852157","https://openalex.org/W2808240130","https://openalex.org/W2884912619","https://openalex.org/W2952047749","https://openalex.org/W2952809546","https://openalex.org/W2953506942","https://openalex.org/W3053604889","https://openalex.org/W4231078147","https://openalex.org/W4234185770","https://openalex.org/W4237638794","https://openalex.org/W4242744113","https://openalex.org/W4246077254","https://openalex.org/W4252887344","https://openalex.org/W4255373292","https://openalex.org/W4292080426","https://openalex.org/W4293775970","https://openalex.org/W6601423307","https://openalex.org/W6602299119","https://openalex.org/W6605288784","https://openalex.org/W6629040674","https://openalex.org/W6633354319","https://openalex.org/W6633764168","https://openalex.org/W6634462505","https://openalex.org/W6639055759","https://openalex.org/W6639796194","https://openalex.org/W6670198485","https://openalex.org/W6677137369","https://openalex.org/W6679842528","https://openalex.org/W6684760906","https://openalex.org/W6691830632","https://openalex.org/W6696874625","https://openalex.org/W6729062642","https://openalex.org/W6739535586","https://openalex.org/W6741855789","https://openalex.org/W6751911483","https://openalex.org/W6751982243","https://openalex.org/W6763857511"],"related_works":["https://openalex.org/W4238495367","https://openalex.org/W2749065928","https://openalex.org/W2225666389","https://openalex.org/W3132053208","https://openalex.org/W2104279947","https://openalex.org/W2338191200","https://openalex.org/W1511196089","https://openalex.org/W3028746955","https://openalex.org/W2987251847","https://openalex.org/W4302010695"],"abstract_inverted_index":{"Abstract":[0],"We":[1,156,163,180],"provide":[2],"a":[3,30,41,49,110,126,134,138,150,170],"framework":[4,183],"for":[5,62,85,91,159],"probabilistic":[6,77,111,160],"reasoning":[7,63],"in":[8,178,195],"Vadalog-based":[9],"Knowledge":[10,31,128],"Graphs":[11],"(KGs),":[12],"satisfying":[13,115],"the":[14,75,97,147,153,165,196],"requirements":[15],"of":[16,25,45,133,140],"ontological":[17],"reasoning:":[18],"full":[19],"recursion,":[20],"powerful":[21],"existential":[22,46,94],"quantification,":[23],"expression":[24],"inductive":[26,101],"definitions.":[27,102],"Vadalog":[28,67,120,177,197],"is":[29,60],"Representation":[32],"and":[33,55,68,80,96,167,188,191],"Reasoning":[34],"(KRR)":[35],"language":[36,44],"based":[37],"on":[38,137],"Warded":[39,69],"Datalog+/\u2013,":[40],"logical":[42],"core":[43],"rules,":[47],"with":[48,64,93],"good":[50],"balance":[51],"between":[52],"computational":[53],"complexity":[54],"expressive":[56],"power.":[57],"Handling":[58],"uncertainty":[59],"essential":[61],"KGs.":[65],"Yet":[66],"Datalog+/\u2013":[70],"are":[71],"not":[72],"covered":[73],"by":[74,145],"existing":[76],"logic":[78],"programming":[79],"statistical":[81],"relational":[82],"learning":[83],"approaches":[84],"several":[86],"reasons,":[87],"including":[88],"insufficient":[89],"support":[90],"recursion":[92],"quantification":[95],"impossibility":[98],"to":[99,113,174,184],"express":[100],"In":[103],"this":[104],"work,":[105],"we":[106,124],"introduce":[107],"Soft":[108,119,176],"Vadalog,":[109,114],"extension":[112],"these":[116],"desiderata.":[117],"A":[118],"program":[121],"induces":[122],"what":[123],"call":[125],"Probabilistic":[127],"Graph":[129],"(PKG),":[130],"which":[131],"consists":[132],"probability":[135],"distribution":[136],"network":[139],"chase":[141,154],"instances,":[142],"structures":[143],"obtained":[144],"grounding":[146],"rules":[148],"over":[149],"database":[151],"using":[152],"procedure.":[155],"exploit":[157],"PKGs":[158],"marginal":[161],"inference.":[162],"discuss":[164],"theory":[166],"present":[168],"MCMC-chase,":[169],"Monte":[171],"Carlo":[172],"method":[173],"use":[175],"practice.":[179],"apply":[181],"our":[182],"solve":[185],"data":[186],"management":[187],"industrial":[189],"problems":[190],"experimentally":[192],"evaluate":[193],"it":[194],"system.":[198]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}