{"id":"https://openalex.org/W2899603836","doi":"https://doi.org/10.1145/3291043","title":"Modeling Information Retrieval by Formal Logic","display_name":"Modeling Information Retrieval by Formal Logic","publication_year":2019,"publication_date":"2019-02-21","ids":{"openalex":"https://openalex.org/W2899603836","doi":"https://doi.org/10.1145/3291043","mag":"2899603836"},"language":"en","primary_location":{"id":"doi:10.1145/3291043","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3291043","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3291043","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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":"ACM Computing Surveys","raw_type":"journal-article"},"type":"review","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/3291043","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5047228001","display_name":"Karam Abdulahhad","orcid":"https://orcid.org/0000-0002-0041-7047"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I4210101898","display_name":"GESIS - Leibniz-Institute for the Social Sciences","ror":"https://ror.org/018afyw53","country_code":"DE","type":"facility","lineage":["https://openalex.org/I315704651","https://openalex.org/I4210101898"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["DE","FR"],"is_corresponding":true,"raw_author_name":"Karam Abdulahhad","raw_affiliation_strings":["GESIS - Leibniz institute for the Social Sciences, Germany and University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"GESIS - Leibniz institute for the Social Sciences, Germany and University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France","institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I1294671590","https://openalex.org/I899635006","https://openalex.org/I4210101898"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5067869983","display_name":"Catherine Berrut","orcid":null},"institutions":[{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]},{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Catherine Berrut","raw_affiliation_strings":["University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France","institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I1294671590","https://openalex.org/I899635006"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5108156680","display_name":"Jean\u2013Pierre Chevallet","orcid":null},"institutions":[{"id":"https://openalex.org/I899635006","display_name":"Universit\u00e9 Grenoble Alpes","ror":"https://ror.org/02rx3b187","country_code":"FR","type":"education","lineage":["https://openalex.org/I899635006"]},{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"funder","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I4210104430","display_name":"Laboratoire d'Informatique de Grenoble","ror":"https://ror.org/01c8rcg82","country_code":"FR","type":"facility","lineage":["https://openalex.org/I106785703","https://openalex.org/I1294671590","https://openalex.org/I1294671590","https://openalex.org/I1326498283","https://openalex.org/I4210104430","https://openalex.org/I4210159245","https://openalex.org/I899635006","https://openalex.org/I899635006"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Jean-Pierre Chevallet","raw_affiliation_strings":["University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France"],"affiliations":[{"raw_affiliation_string":"University Grenoble Alpes - CNRS - LIG, Grenoble Cedex, France","institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I1294671590","https://openalex.org/I899635006"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5066756066","display_name":"Gabriella Pasi","orcid":"https://orcid.org/0000-0002-6080-8170"},"institutions":[{"id":"https://openalex.org/I66752286","display_name":"University of Milano-Bicocca","ror":"https://ror.org/01ynf4891","country_code":"IT","type":"education","lineage":["https://openalex.org/I66752286"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Gabriella Pasi","raw_affiliation_strings":["Universit\u00e0 degli Studi di Milano Bicocca, Milano, Italy"],"affiliations":[{"raw_affiliation_string":"Universit\u00e0 degli Studi di Milano Bicocca, Milano, Italy","institution_ids":["https://openalex.org/I66752286"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5047228001"],"corresponding_institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I4210101898","https://openalex.org/I4210104430","https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":1.3021,"has_fulltext":true,"cited_by_count":14,"citation_normalized_percentile":{"value":0.85087489,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"52","issue":"1","first_page":"1","last_page":"37"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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"}},"topics":[{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","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/T11106","display_name":"Data Management and Algorithms","score":0.9976999759674072,"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"}},{"id":"https://openalex.org/T10286","display_name":"Information Retrieval and Search Behavior","score":0.9973000288009644,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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.7971221208572388},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.6278641223907471},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.5035235285758972},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.45835745334625244},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44172215461730957},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.4408486485481262},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.3693317472934723},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22581535577774048}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7971221208572388},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.6278641223907471},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.5035235285758972},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.45835745334625244},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44172215461730957},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.4408486485481262},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3693317472934723},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22581535577774048}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/3291043","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3291043","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3291043","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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":"ACM Computing Surveys","raw_type":"journal-article"},{"id":"pmh:oai:HAL:hal-01913379v1","is_oa":false,"landing_page_url":"https://hal.science/hal-01913379","pdf_url":null,"source":{"id":"https://openalex.org/S4306402512","display_name":"HAL (Le Centre pour la Communication Scientifique Directe)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I1294671590","host_organization_name":"Centre National de la Recherche Scientifique","host_organization_lineage":["https://openalex.org/I1294671590"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Computing Surveys, 2019, 52 (1), ⟨10.1145/3291043⟩","raw_type":"Journal articles"},{"id":"pmh:oai:boa.unimib.it:10281/270588","is_oa":true,"landing_page_url":"http://hdl.handle.net/10281/270588","pdf_url":null,"source":{"id":"https://openalex.org/S4306401259","display_name":"BOA (University of Milano-Bicocca)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I66752286","host_organization_name":"University of Milano-Bicocca","host_organization_lineage":["https://openalex.org/I66752286"],"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":null,"raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/3291043","is_oa":true,"landing_page_url":"https://doi.org/10.1145/3291043","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/3291043","source":{"id":"https://openalex.org/S157921468","display_name":"ACM Computing Surveys","issn_l":"0360-0300","issn":["0360-0300","1557-7341"],"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":"ACM Computing Surveys","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.5299999713897705,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2899603836.pdf","grobid_xml":"https://content.openalex.org/works/W2899603836.grobid-xml"},"referenced_works_count":108,"referenced_works":["https://openalex.org/W83401843","https://openalex.org/W103116352","https://openalex.org/W145250333","https://openalex.org/W191711976","https://openalex.org/W305089317","https://openalex.org/W1482884223","https://openalex.org/W1495132700","https://openalex.org/W1497647560","https://openalex.org/W1515119244","https://openalex.org/W1524061740","https://openalex.org/W1539595705","https://openalex.org/W1545067530","https://openalex.org/W1547301129","https://openalex.org/W1555563750","https://openalex.org/W1567323819","https://openalex.org/W1589972972","https://openalex.org/W1601127849","https://openalex.org/W1608935641","https://openalex.org/W1621548489","https://openalex.org/W1737065859","https://openalex.org/W1796475620","https://openalex.org/W1880927934","https://openalex.org/W1951754035","https://openalex.org/W1964633765","https://openalex.org/W1974515720","https://openalex.org/W1975614788","https://openalex.org/W1980653255","https://openalex.org/W1999822363","https://openalex.org/W2000569744","https://openalex.org/W2001722583","https://openalex.org/W2004737172","https://openalex.org/W2008831592","https://openalex.org/W2013395294","https://openalex.org/W2014415866","https://openalex.org/W2018026600","https://openalex.org/W2022140143","https://openalex.org/W2025130480","https://openalex.org/W2026508153","https://openalex.org/W2028238871","https://openalex.org/W2028582164","https://openalex.org/W2033106155","https://openalex.org/W2034989007","https://openalex.org/W2035372089","https://openalex.org/W2043909051","https://openalex.org/W2047673589","https://openalex.org/W2054284548","https://openalex.org/W2055641305","https://openalex.org/W2058054025","https://openalex.org/W2059921199","https://openalex.org/W2060135470","https://openalex.org/W2061165361","https://openalex.org/W2062146642","https://openalex.org/W2075277371","https://openalex.org/W2076087673","https://openalex.org/W2084259014","https://openalex.org/W2085121480","https://openalex.org/W2085544069","https://openalex.org/W2093322541","https://openalex.org/W2093390569","https://openalex.org/W2096411881","https://openalex.org/W2098700435","https://openalex.org/W2100279283","https://openalex.org/W2105157020","https://openalex.org/W2107703929","https://openalex.org/W2108347737","https://openalex.org/W2115373887","https://openalex.org/W2128406724","https://openalex.org/W2132948308","https://openalex.org/W2133963085","https://openalex.org/W2139922983","https://openalex.org/W2141354008","https://openalex.org/W2151155666","https://openalex.org/W2158220370","https://openalex.org/W2160579271","https://openalex.org/W2163215361","https://openalex.org/W2163751633","https://openalex.org/W2165612380","https://openalex.org/W2169160043","https://openalex.org/W2180130848","https://openalex.org/W2243093973","https://openalex.org/W2485586944","https://openalex.org/W2488582668","https://openalex.org/W2495383287","https://openalex.org/W2564746228","https://openalex.org/W2610447084","https://openalex.org/W2730361567","https://openalex.org/W2731165214","https://openalex.org/W2740492458","https://openalex.org/W2755109809","https://openalex.org/W2780545631","https://openalex.org/W2912565176","https://openalex.org/W2921701006","https://openalex.org/W2953640756","https://openalex.org/W2990379991","https://openalex.org/W3003761106","https://openalex.org/W3021565249","https://openalex.org/W3102554601","https://openalex.org/W3168460859","https://openalex.org/W4206427571","https://openalex.org/W4206765718","https://openalex.org/W4211007335","https://openalex.org/W4232173486","https://openalex.org/W4234200495","https://openalex.org/W4247797067","https://openalex.org/W4249191614","https://openalex.org/W4252724388","https://openalex.org/W4285719527","https://openalex.org/W4302079013"],"related_works":["https://openalex.org/W2055243143","https://openalex.org/W4321636575","https://openalex.org/W1986418932","https://openalex.org/W2357796999","https://openalex.org/W2045526782","https://openalex.org/W2741131631","https://openalex.org/W2156919374","https://openalex.org/W96688659","https://openalex.org/W4385439110","https://openalex.org/W1494411290"],"abstract_inverted_index":{"Several":[0],"mathematical":[1],"frameworks":[2],"have":[3,87,113],"been":[4,88,114,140],"used":[5],"to":[6,27,53,94,159,186,210],"model":[7],"the":[8,21,42,59,64,70,106,117,130,134,152,156,161,171,174,181,191,205,214],"information":[9],"retrieval":[10],"(IR)":[11],"process,":[12,30],"among":[13],"them,":[14],"formal":[15,44,48],"logics.":[16],"Logic-based":[17],"IR":[18,22,60,77,85,110,194,211],"models":[19,86,111,122,164,173],"upgrade":[20],"process":[23],"from":[24],"document-query":[25],"comparison":[26],"an":[28,103],"inference":[29],"in":[31,58,116,136,219],"which":[32,128,137],"both":[33],"documents":[34],"and":[35,55,72,133,169,189],"queries":[36],"are":[37,92,123,178],"expressed":[38],"as":[39],"sentences":[40],"of":[41,63,75,105,145,149,155,207,216],"selected":[43],"logic.":[45],"The":[46,119],"underlying":[47],"logic":[49],"also":[50],"permits":[51],"one":[52],"represent":[54],"integrate":[56],"knowledge":[57],"process.":[61],"One":[62],"main":[65,153],"obstacles":[66],"that":[67,91,112],"has":[68,139],"prevented":[69],"adoption":[71],"large-scale":[73,95],"diffusion":[74],"logic-based":[76,84,217],"systems":[78],"is":[79,158,184],"their":[80],"complexity.":[81],"However,":[82],"several":[83],"recently":[89],"proposed":[90,115,182],"applicable":[93],"data":[96],"collections.":[97],"In":[98],"this":[99,200],"survey,":[100],"we":[101],"present":[102],"overview":[104],"most":[107],"prominent":[108],"logical":[109,121,163,193,208],"literature.":[118],"considered":[120,131,172],"categorized":[124],"under":[125],"different":[126,192],"axes,":[127],"include":[129],"logics":[132],"way":[135],"uncertainty":[138],"modeled,":[141],"for":[142,170],"example,":[143],"degrees":[144,148],"belief":[146],"or":[147],"truth.":[150],"Accordingly,":[151],"contribution":[154],"article":[157,201],"categorize":[160],"state-of-the-art":[162],"on":[165],"a":[166],"fine-grained":[167],"basis,":[168],"related":[175],"implementation":[176],"aspects":[177],"described.":[179],"Consequently,":[180],"survey":[183],"finalized":[185],"better":[187],"understand":[188],"compare":[190],"models.":[195],"Last,":[196],"but":[197],"not":[198],"least,":[199],"aims":[202],"at":[203],"reconsidering":[204],"potentials":[206],"approaches":[209,218],"by":[212],"outlining":[213],"advances":[215],"close":[220],"research":[221],"areas.":[222]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":6},{"year":2019,"cited_by_count":1}],"updated_date":"2026-03-24T08:02:53.985720","created_date":"2018-11-16T00:00:00"}