{"id":"https://openalex.org/W2952265214","doi":"https://doi.org/10.1017/s1471068418000480","title":"Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach","display_name":"Probabilistic DL Reasoning with Pinpointing Formulas: A Prolog-based Approach","publication_year":2019,"publication_date":"2019-01-14","ids":{"openalex":"https://openalex.org/W2952265214","doi":"https://doi.org/10.1017/s1471068418000480","mag":"2952265214"},"language":"en","primary_location":{"id":"doi:10.1017/s1471068418000480","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068418000480","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":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1809.06180","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5013157998","display_name":"Riccardo Zese","orcid":"https://orcid.org/0000-0001-8352-6304"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"RICCARDO ZESE","raw_affiliation_strings":["Dipartimento di Ingegneria \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0001-8352-6304","affiliations":[{"raw_affiliation_string":"Dipartimento di Ingegneria \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5052855339","display_name":"Giuseppe Cota","orcid":"https://orcid.org/0000-0002-3780-6265"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"GIUSEPPE COTA","raw_affiliation_strings":["Dipartimento di Ingegneria \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Ingegneria \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5028993591","display_name":"Evelina Lamma","orcid":"https://orcid.org/0000-0003-2747-4292"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"EVELINA LAMMA","raw_affiliation_strings":["Dipartimento di Ingegneria \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Ingegneria \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086614839","display_name":"Elena Bellodi","orcid":"https://orcid.org/0000-0002-3717-3779"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"ELENA BELLODI","raw_affiliation_strings":["Dipartimento di Matematica e Informatica \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:","institution_ids":["https://openalex.org/I201324441"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5086909487","display_name":"Fabrizio Riguzzi","orcid":"https://orcid.org/0000-0003-1654-9703"},"institutions":[{"id":"https://openalex.org/I201324441","display_name":"University of Ferrara","ror":"https://ror.org/041zkgm14","country_code":"IT","type":"education","lineage":["https://openalex.org/I201324441"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"FABRIZIO RIGUZZI","raw_affiliation_strings":["Dipartimento di Matematica e Informatica \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:"],"raw_orcid":"https://orcid.org/0000-0003-1654-9703","affiliations":[{"raw_affiliation_string":"Dipartimento di Matematica e Informatica \u2013 Universit\u00e0 di Ferrara, Via Saragat 1, 44122, Ferrara, Italy (e-mails:","institution_ids":["https://openalex.org/I201324441"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5013157998"],"corresponding_institution_ids":["https://openalex.org/I201324441"],"apc_list":null,"apc_paid":null,"fwci":0.7987,"has_fulltext":false,"cited_by_count":7,"citation_normalized_percentile":{"value":0.79834997,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"19","issue":"3","first_page":"449","last_page":"476"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9998000264167786,"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.9998000264167786,"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.9991999864578247,"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/T11303","display_name":"Bayesian Modeling and Causal Inference","score":0.9976999759674072,"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.8366611003875732},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6236968040466309},{"id":"https://openalex.org/keywords/prolog","display_name":"Prolog","score":0.5832645297050476},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5669677257537842},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.5202118754386902},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5054805278778076},{"id":"https://openalex.org/keywords/semantic-reasoner","display_name":"Semantic reasoner","score":0.4999058246612549},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4962013363838196},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4898202121257782},{"id":"https://openalex.org/keywords/binary-decision-diagram","display_name":"Binary decision diagram","score":0.48175764083862305},{"id":"https://openalex.org/keywords/determinism","display_name":"Determinism","score":0.4278542399406433},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3304821848869324},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.28594937920570374}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8366611003875732},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6236968040466309},{"id":"https://openalex.org/C81721847","wikidata":"https://www.wikidata.org/wiki/Q163468","display_name":"Prolog","level":2,"score":0.5832645297050476},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5669677257537842},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.5202118754386902},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5054805278778076},{"id":"https://openalex.org/C9616225","wikidata":"https://www.wikidata.org/wiki/Q3929429","display_name":"Semantic reasoner","level":2,"score":0.4999058246612549},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4962013363838196},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4898202121257782},{"id":"https://openalex.org/C3309909","wikidata":"https://www.wikidata.org/wiki/Q864155","display_name":"Binary decision diagram","level":2,"score":0.48175764083862305},{"id":"https://openalex.org/C192183473","wikidata":"https://www.wikidata.org/wiki/Q131133","display_name":"Determinism","level":2,"score":0.4278542399406433},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3304821848869324},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.28594937920570374},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1017/s1471068418000480","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s1471068418000480","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"},{"id":"pmh:oai:arXiv.org:1809.06180","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1809.06180","pdf_url":"https://arxiv.org/pdf/1809.06180","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:iris.unife.it:11392/2398273","is_oa":true,"landing_page_url":"https://www.cambridge.org/core/journals/theory-and-practice-of-logic-programming/article/probabilistic-dl-reasoning-with-pinpointing-formulas-a-prologbased-approach/BFB70FD000FDB7DD743953D68758E26E","pdf_url":null,"source":{"id":"https://openalex.org/S4306400369","display_name":"Institutional Research Information System University of Ferrara (University of Ferrara)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I201324441","host_organization_name":"University of Ferrara","host_organization_lineage":["https://openalex.org/I201324441"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1809.06180","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1809.06180","pdf_url":"https://arxiv.org/pdf/1809.06180","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.6800000071525574,"display_name":"Peace, Justice and strong institutions","id":"https://metadata.un.org/sdg/16"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":53,"referenced_works":["https://openalex.org/W74727102","https://openalex.org/W149642617","https://openalex.org/W192221291","https://openalex.org/W1482585805","https://openalex.org/W1499581632","https://openalex.org/W1516482594","https://openalex.org/W1574997556","https://openalex.org/W1576921484","https://openalex.org/W1577536563","https://openalex.org/W1585071008","https://openalex.org/W1594404814","https://openalex.org/W1678959094","https://openalex.org/W1978912716","https://openalex.org/W1983128223","https://openalex.org/W2000437271","https://openalex.org/W2020755561","https://openalex.org/W2040816116","https://openalex.org/W2041200987","https://openalex.org/W2055641305","https://openalex.org/W2080267935","https://openalex.org/W2100083403","https://openalex.org/W2106356140","https://openalex.org/W2108309071","https://openalex.org/W2109982200","https://openalex.org/W2113726481","https://openalex.org/W2119177810","https://openalex.org/W2122368812","https://openalex.org/W2140061645","https://openalex.org/W2141550942","https://openalex.org/W2147009493","https://openalex.org/W2152825128","https://openalex.org/W2154829072","https://openalex.org/W2154996176","https://openalex.org/W2166349373","https://openalex.org/W2170561649","https://openalex.org/W2222549232","https://openalex.org/W2283350629","https://openalex.org/W2303892416","https://openalex.org/W2396122826","https://openalex.org/W2400554244","https://openalex.org/W2406714029","https://openalex.org/W2530494681","https://openalex.org/W2544738360","https://openalex.org/W2737044512","https://openalex.org/W2911529331","https://openalex.org/W2914728526","https://openalex.org/W2952265214","https://openalex.org/W2973270463","https://openalex.org/W2986430824","https://openalex.org/W3104977611","https://openalex.org/W3105758438","https://openalex.org/W4232809066","https://openalex.org/W4299588438"],"related_works":["https://openalex.org/W335786557","https://openalex.org/W2043069798","https://openalex.org/W1525578575","https://openalex.org/W2106246118","https://openalex.org/W2340946562","https://openalex.org/W2065446266","https://openalex.org/W2407348918","https://openalex.org/W2741941615","https://openalex.org/W1582755659","https://openalex.org/W2133585753"],"abstract_inverted_index":{"Abstract":[0],"When":[1],"modeling":[2],"real-world":[3],"domains,":[4],"we":[5,37,154],"have":[6],"to":[7,46,90,146],"deal":[8],"with":[9,19,51,94],"information":[10],"that":[11,15,127],"is":[12,100,168],"incomplete":[13],"or":[14],"comes":[16],"from":[17,63],"sources":[18],"different":[20],"trust":[21],"levels.":[22],"This":[23],"motivates":[24],"the":[25,31,64,84,104,118,130,166,172,175,180,188,199],"need":[26],"for":[27,102],"managing":[28],"uncertainty":[29],"in":[30,44,164,198],"Semantic":[32],"Web.":[33],"To":[34],"this":[35,152],"purpose,":[36],"introduced":[38],"a":[39,57,71,114,124,140],"probabilistic":[40],"semantics,":[41],"named":[42,162],"DISPONTE,":[43],"order":[45],"combine":[47],"description":[48],"logics":[49],"(DLs)":[50],"probability":[52,55],"theory.":[53],"The":[54,76],"of":[56,66,78,98,117,132,158,174,190],"query":[58],"can":[59,80,135,194],"be":[60,81,136,195],"then":[61],"computed":[62],"set":[65,77,131],"its":[67,95],"explanations":[68,79,133],"by":[69],"building":[70],"Binary":[72],"Decision":[73],"Diagram":[74],"(BDD).":[75],"found":[82],"using":[83],"tableau":[85,105,119],"algorithm":[86],",":[87,161],"which":[88,165],"has":[89],"handle":[91],"non-determinism.":[92],"Prolog,":[93],"efficient":[96],"handling":[97],"non-determinism,":[99],"suitable":[101],"implementing":[103],"algorithm.":[106,120],"TRILL":[107,109,121,159,200],"and":[108,134],"P":[110,122,160],"are":[111],"systems":[112,193],"offering":[113],"Prolog":[115],"implementation":[116],"builds":[123],"pinpointing":[125],"formula":[126],"compactly":[128],"represents":[129],"directly":[137,169],"translated":[138],"into":[139],"BDD.":[141],"Both":[142],"reasoners":[143],"were":[144],"shown":[145],"outperform":[147],"state-of-the-art":[148],"DL":[149],"reasoners.":[150],"In":[151],"paper,":[153],"present":[155],"an":[156],"improvement":[157],"TORNADO,":[163],"BDD":[167],"built":[170],"during":[171],"construction":[173],"tableau,":[176],"further":[177],"speeding":[178],"up":[179],"overall":[181],"inference":[182],"process.":[183],"An":[184],"experimental":[185],"comparison":[186],"shows":[187],"effectiveness":[189],"TORNADO.":[191],"All":[192],"tried":[196],"online":[197],"on":[201],"SWISH":[202],"web":[203],"application":[204],"at":[205],"http://trill.ml.unife.it/":[206],".":[207]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1}],"updated_date":"2026-07-28T07:46:37.118299","created_date":"2025-10-10T00:00:00"}