{"id":"https://openalex.org/W2899545346","doi":"https://doi.org/10.1080/0952813x.2019.1672799","title":"A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics","display_name":"A description logic framework for commonsense conceptual combination integrating typicality, probabilities and cognitive heuristics","publication_year":2019,"publication_date":"2019-11-22","ids":{"openalex":"https://openalex.org/W2899545346","doi":"https://doi.org/10.1080/0952813x.2019.1672799","mag":"2899545346"},"language":"en","primary_location":{"id":"doi:10.1080/0952813x.2019.1672799","is_oa":false,"landing_page_url":"https://doi.org/10.1080/0952813x.2019.1672799","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"},"type":"preprint","indexed_in":["arxiv","crossref","datacite"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1811.02366","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5033602352","display_name":"Antonio Lieto","orcid":"https://orcid.org/0000-0002-8323-8764"},"institutions":[{"id":"https://openalex.org/I3005160176","display_name":"Institute for High Performance Computing and Networking","ror":"https://ror.org/04r5fge26","country_code":"IT","type":"facility","lineage":["https://openalex.org/I3005160176","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Antonio Lieto","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, Torino, Italy","ICAR-CNR, Istituto di Calcolo e Reti ad Alte Prestazioni, Palermo, Italy","University of Turin"],"raw_orcid":"https://orcid.org/0000-0002-8323-8764","affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"ICAR-CNR, Istituto di Calcolo e Reti ad Alte Prestazioni, Palermo, Italy","institution_ids":["https://openalex.org/I3005160176"]},{"raw_affiliation_string":"University of Turin","institution_ids":["https://openalex.org/I55143463"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5017785610","display_name":"Gian Luca Pozzato","orcid":"https://orcid.org/0000-0002-3952-4624"},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":true,"raw_author_name":"Gian Luca Pozzato","raw_affiliation_strings":["Dipartimento di Informatica, Universit\u00e0 di Torino, Torino, Italy","University of Turin"],"raw_orcid":"https://orcid.org/0000-0002-3952-4624","affiliations":[{"raw_affiliation_string":"Dipartimento di Informatica, Universit\u00e0 di Torino, Torino, Italy","institution_ids":["https://openalex.org/I55143463"]},{"raw_affiliation_string":"University of Turin","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5017785610","https://openalex.org/A5033602352"],"corresponding_institution_ids":["https://openalex.org/I3005160176","https://openalex.org/I55143463"],"apc_list":null,"apc_paid":null,"fwci":0.7225,"has_fulltext":true,"cited_by_count":6,"citation_normalized_percentile":{"value":0.77683354,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"32","issue":"5","first_page":"769","last_page":"804"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9997000098228455,"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.9997000098228455,"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.9926999807357788,"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/T11106","display_name":"Data Management and Algorithms","score":0.9925000071525574,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/heuristics","display_name":"Heuristics","score":0.7153341174125671},{"id":"https://openalex.org/keywords/probabilistic-logic","display_name":"Probabilistic logic","score":0.6898655891418457},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6194431781768799},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.552055835723877},{"id":"https://openalex.org/keywords/principle-of-compositionality","display_name":"Principle of compositionality","score":0.5236555933952332},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5177135467529297},{"id":"https://openalex.org/keywords/commonsense-reasoning","display_name":"Commonsense reasoning","score":0.5114670991897583},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5031277537345886},{"id":"https://openalex.org/keywords/heuristic","display_name":"Heuristic","score":0.5030664801597595},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.49685266613960266},{"id":"https://openalex.org/keywords/epistemic-modal-logic","display_name":"Epistemic modal logic","score":0.471441388130188},{"id":"https://openalex.org/keywords/range","display_name":"Range (aeronautics)","score":0.4326916038990021},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.429703950881958},{"id":"https://openalex.org/keywords/focus","display_name":"Focus (optics)","score":0.4269787669181824},{"id":"https://openalex.org/keywords/multimodal-logic","display_name":"Multimodal logic","score":0.395636647939682},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.10760822892189026}],"concepts":[{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.7153341174125671},{"id":"https://openalex.org/C49937458","wikidata":"https://www.wikidata.org/wiki/Q2599292","display_name":"Probabilistic logic","level":2,"score":0.6898655891418457},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6194431781768799},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.552055835723877},{"id":"https://openalex.org/C121375916","wikidata":"https://www.wikidata.org/wiki/Q936559","display_name":"Principle of compositionality","level":2,"score":0.5236555933952332},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5177135467529297},{"id":"https://openalex.org/C193221554","wikidata":"https://www.wikidata.org/wiki/Q5153664","display_name":"Commonsense reasoning","level":2,"score":0.5114670991897583},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5031277537345886},{"id":"https://openalex.org/C173801870","wikidata":"https://www.wikidata.org/wiki/Q201413","display_name":"Heuristic","level":2,"score":0.5030664801597595},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.49685266613960266},{"id":"https://openalex.org/C107247716","wikidata":"https://www.wikidata.org/wiki/Q1347436","display_name":"Epistemic modal logic","level":4,"score":0.471441388130188},{"id":"https://openalex.org/C204323151","wikidata":"https://www.wikidata.org/wiki/Q905424","display_name":"Range (aeronautics)","level":2,"score":0.4326916038990021},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.429703950881958},{"id":"https://openalex.org/C192209626","wikidata":"https://www.wikidata.org/wiki/Q190909","display_name":"Focus (optics)","level":2,"score":0.4269787669181824},{"id":"https://openalex.org/C203659156","wikidata":"https://www.wikidata.org/wiki/Q6934805","display_name":"Multimodal logic","level":3,"score":0.395636647939682},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.10760822892189026},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C120665830","wikidata":"https://www.wikidata.org/wiki/Q14620","display_name":"Optics","level":1,"score":0.0},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C192562407","wikidata":"https://www.wikidata.org/wiki/Q228736","display_name":"Materials science","level":0,"score":0.0},{"id":"https://openalex.org/C159985019","wikidata":"https://www.wikidata.org/wiki/Q181790","display_name":"Composite material","level":1,"score":0.0}],"mesh":[],"locations_count":7,"locations":[{"id":"doi:10.1080/0952813x.2019.1672799","is_oa":false,"landing_page_url":"https://doi.org/10.1080/0952813x.2019.1672799","pdf_url":null,"source":{"id":"https://openalex.org/S153467142","display_name":"Journal of Experimental & Theoretical Artificial Intelligence","issn_l":"0952-813X","issn":["0952-813X","1362-3079"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310320547","host_organization_name":"Taylor & Francis","host_organization_lineage":["https://openalex.org/P4310320547"],"host_organization_lineage_names":["Taylor & Francis"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Experimental & Theoretical Artificial Intelligence","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1811.02366","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.02366","pdf_url":"https://arxiv.org/pdf/1811.02366","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:philpapers.org/rec/LIEADL-2","is_oa":true,"landing_page_url":"https://philpapers.org/rec/LIEADL-2","pdf_url":"https://philpapers.org/archive/LIEADL-2.pdf","source":{"id":"https://openalex.org/S4306402131","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/article"},{"id":"mag:2899545346","is_oa":true,"landing_page_url":"http://export.arxiv.org/pdf/1811.02366","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"arXiv (Cornell University)","raw_type":null},{"id":"pmh:oai:iris.unito.it:2318/1736642","is_oa":true,"landing_page_url":"https://www.tandfonline.com/doi/abs/10.1080/0952813X.2019.1672799?journalCode=teta20","pdf_url":null,"source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"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"},{"id":"pmh:oai:philarchive.org/rec/LIEADL-2","is_oa":false,"landing_page_url":"https://philarchive.org/rec/LIEADL-2","pdf_url":null,"source":{"id":"https://openalex.org/S4306402130","display_name":"PhilPapers (PhilPapers Foundation)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"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":"info:eu-repo/semantics/article"},{"id":"doi:10.48550/arxiv.1811.02366","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1811.02366","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":null,"license_id":null,"version":null,"is_accepted":false,"is_published":null,"raw_source_name":null,"raw_type":"article"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1811.02366","is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.02366","pdf_url":"https://arxiv.org/pdf/1811.02366","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},"sustainable_development_goals":[{"score":0.7200000286102295,"id":"https://metadata.un.org/sdg/10","display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":70,"referenced_works":["https://openalex.org/W168265076","https://openalex.org/W229642387","https://openalex.org/W593257684","https://openalex.org/W1555563750","https://openalex.org/W1571433157","https://openalex.org/W1583556812","https://openalex.org/W1796264214","https://openalex.org/W1886332185","https://openalex.org/W1947471199","https://openalex.org/W1965181251","https://openalex.org/W1971777221","https://openalex.org/W1973036111","https://openalex.org/W1973899684","https://openalex.org/W1984052055","https://openalex.org/W1985364607","https://openalex.org/W1989584142","https://openalex.org/W1990181185","https://openalex.org/W1992204783","https://openalex.org/W1992412914","https://openalex.org/W1999392360","https://openalex.org/W2045830397","https://openalex.org/W2046337807","https://openalex.org/W2048701525","https://openalex.org/W2051626205","https://openalex.org/W2055641305","https://openalex.org/W2059360847","https://openalex.org/W2075322664","https://openalex.org/W2078066200","https://openalex.org/W2089627725","https://openalex.org/W2101263269","https://openalex.org/W2111273501","https://openalex.org/W2129797607","https://openalex.org/W2132466842","https://openalex.org/W2147860979","https://openalex.org/W2147986396","https://openalex.org/W2152444902","https://openalex.org/W2153541345","https://openalex.org/W2155397158","https://openalex.org/W2157041604","https://openalex.org/W2162829624","https://openalex.org/W2167907160","https://openalex.org/W2222549232","https://openalex.org/W2271547906","https://openalex.org/W2281405574","https://openalex.org/W2283350629","https://openalex.org/W2288650278","https://openalex.org/W2294121529","https://openalex.org/W2295766998","https://openalex.org/W2333148944","https://openalex.org/W2345514128","https://openalex.org/W2473542931","https://openalex.org/W2576551295","https://openalex.org/W2605889167","https://openalex.org/W2613869211","https://openalex.org/W2626637311","https://openalex.org/W2741367339","https://openalex.org/W2756163234","https://openalex.org/W2756226759","https://openalex.org/W2774021370","https://openalex.org/W2886810169","https://openalex.org/W2963183851","https://openalex.org/W2969299011","https://openalex.org/W2999843026","https://openalex.org/W3105235590","https://openalex.org/W4232185054","https://openalex.org/W4236156048","https://openalex.org/W4245152641","https://openalex.org/W4246139359","https://openalex.org/W4247698036","https://openalex.org/W4250178034"],"related_works":["https://openalex.org/W2886810169","https://openalex.org/W2913749538","https://openalex.org/W2742771198","https://openalex.org/W18846563","https://openalex.org/W3018210196","https://openalex.org/W1533856068","https://openalex.org/W2626637311","https://openalex.org/W106436995","https://openalex.org/W2547846165","https://openalex.org/W2892897045","https://openalex.org/W1605220589","https://openalex.org/W15000401","https://openalex.org/W3097661483","https://openalex.org/W2944785960","https://openalex.org/W1555256314","https://openalex.org/W2756005472","https://openalex.org/W2625894129","https://openalex.org/W1561816611","https://openalex.org/W2951160875","https://openalex.org/W2023870985"],"abstract_inverted_index":{"We":[0,116,139],"propose":[1],"a":[2,55,113,128],"nonmonotonic":[3],"Description":[4,49,147,156],"Logic":[5,148,157],"of":[6,14,17,27,37,47,68,74,135],"typicality":[7,28,69,72,108],"able":[8],"to":[9,123,127],"account":[10],"for":[11,61,152],"the":[12,15,25,35,44,66,75,89,98,133,145,153],"phenomenon":[13],"combination":[16,134],"prototypical":[18,137],"concepts.":[19,138],"The":[20],"proposed":[21,146],"logic":[22,26,67],"relies":[23],"on":[24,34,43],"ALC+TR,":[29],"whose":[30,78],"semantics":[31,46],"is":[32,52,81,149],"based":[33],"notion":[36],"rational":[38],"closure,":[39],"as":[40,42,132,151],"well":[41],"distributed":[45,99],"probabilistic":[48],"Logics,":[50],"and":[51],"equipped":[53],"with":[54,85],"cognitive":[56],"heuristic":[57],"used":[58],"by":[59,71],"humans":[60],"concept":[62,129],"composition.We":[63],"first":[64],"extend":[65],"ALC+TR":[70],"inclusions":[73],"form":[76],"p::T(C)\u2291D,":[77],"intuitive":[79],"meaning":[80],"that":[82,91,142],"\u2018we":[83],"believe":[84],"degree":[86],"p":[87],"about":[88],"fact":[90],"typical":[92,125],"Cs":[93],"are":[94],"Ds\u2019.":[95],"As":[96],"in":[97,121,144],"semantics,":[100],"we":[101],"define":[102],"different":[103],"scenarios":[104,120],"containing":[105],"only":[106],"some":[107],"inclusions,":[109],"each":[110],"one":[111],"having":[112],"suitable":[114],"probability.":[115],"then":[117],"exploit":[118],"such":[119],"order":[122],"ascribe":[124],"properties":[126],"C":[130],"obtained":[131],"two":[136],"also":[140],"show":[141],"reasoning":[143],"ExpTime-complete":[150],"underlying":[154],"standard":[155],"ALC.":[158]},"counts_by_year":[{"year":2023,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2019,"cited_by_count":4}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}