{"id":"https://openalex.org/W2115047157","doi":"https://doi.org/10.1145/2499178.2499187","title":"Revisiting Exhaustivity and Specificity Using Propositional Logic and Lattice Theory","display_name":"Revisiting Exhaustivity and Specificity Using Propositional Logic and Lattice Theory","publication_year":2013,"publication_date":"2013-09-29","ids":{"openalex":"https://openalex.org/W2115047157","doi":"https://doi.org/10.1145/2499178.2499187","mag":"2115047157"},"language":"en","primary_location":{"id":"doi:10.1145/2499178.2499187","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2499178.2499187","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 Conference on the Theory of Information Retrieval","raw_type":"proceedings-article"},"type":"preprint","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/A5047228001","display_name":"Karam Abdulahhad","orcid":"https://orcid.org/0000-0002-0041-7047"},"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/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":true,"raw_author_name":"Karam Abdulahhad","raw_affiliation_strings":["Universit\u00e9 de Grenoble, LIG laboratory, MRIM group, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"Universit\u00e9 de Grenoble, LIG laboratory, MRIM group, Grenoble, France","institution_ids":["https://openalex.org/I4210104430","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/I106785703","display_name":"Institut polytechnique de Grenoble","ror":"https://ror.org/05sbt2524","country_code":"FR","type":"education","lineage":["https://openalex.org/I106785703","https://openalex.org/I899635006"]},{"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":["UPMF-Grenoble 2, LIG laboratory, MRIM group, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"UPMF-Grenoble 2, LIG laboratory, MRIM group, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I4210104430","https://openalex.org/I106785703"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5067869983","display_name":"Catherine Berrut","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/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/I177483745","display_name":"Universit\u00e9 Joseph Fourier","ror":"https://ror.org/02aj0kh94","country_code":"FR","type":"education","lineage":["https://openalex.org/I177483745"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Catherine Berrut","raw_affiliation_strings":["UJF-Grenoble 1, LIG laboratory, MRIM group, Grenoble, France"],"affiliations":[{"raw_affiliation_string":"UJF-Grenoble 1, LIG laboratory, MRIM group, Grenoble, France","institution_ids":["https://openalex.org/I899635006","https://openalex.org/I177483745","https://openalex.org/I4210104430"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5047228001"],"corresponding_institution_ids":["https://openalex.org/I4210104430","https://openalex.org/I899635006"],"apc_list":null,"apc_paid":null,"fwci":0.8359,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.83805573,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":94},"biblio":{"volume":null,"issue":null,"first_page":"93","last_page":"100"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10286","display_name":"Information Retrieval and Search Behavior","score":0.9991000294685364,"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"}},"topics":[{"id":"https://openalex.org/T10286","display_name":"Information Retrieval and Search Behavior","score":0.9991000294685364,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.9984999895095825,"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/T10028","display_name":"Topic Modeling","score":0.9944999814033508,"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.6055671572685242},{"id":"https://openalex.org/keywords/lattice","display_name":"Lattice (music)","score":0.500237226486206},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.46475282311439514},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.4421391785144806},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.38766342401504517},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.37526077032089233},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.37203097343444824},{"id":"https://openalex.org/keywords/algorithm","display_name":"Algorithm","score":0.3634454607963562},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3322190046310425},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2615557312965393},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.16835349798202515},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.15529203414916992}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6055671572685242},{"id":"https://openalex.org/C2781204021","wikidata":"https://www.wikidata.org/wiki/Q6497091","display_name":"Lattice (music)","level":2,"score":0.500237226486206},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.46475282311439514},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.4421391785144806},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.38766342401504517},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.37526077032089233},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.37203097343444824},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.3634454607963562},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3322190046310425},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2615557312965393},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.16835349798202515},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.15529203414916992},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C24890656","wikidata":"https://www.wikidata.org/wiki/Q82811","display_name":"Acoustics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/2499178.2499187","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2499178.2499187","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 2013 Conference on the Theory of Information Retrieval","raw_type":"proceedings-article"},{"id":"pmh:oai:HAL:hal-00953075v1","is_oa":false,"landing_page_url":"https://inria.hal.science/hal-00953075","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":"Proceedings of the Fourth International Conference on the Theory of Information Retrieval, 2013, Copenhagen, Denmark","raw_type":"Conference papers"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W62080763","https://openalex.org/W1497647560","https://openalex.org/W1502486173","https://openalex.org/W1546195864","https://openalex.org/W1964746626","https://openalex.org/W1990190154","https://openalex.org/W2000569744","https://openalex.org/W2014415866","https://openalex.org/W2022140143","https://openalex.org/W2048045485","https://openalex.org/W2061165361","https://openalex.org/W2065649161","https://openalex.org/W2085121480","https://openalex.org/W2090805977","https://openalex.org/W2093390569","https://openalex.org/W2100279283","https://openalex.org/W2101409285","https://openalex.org/W2105157020","https://openalex.org/W2134557008","https://openalex.org/W2136542423","https://openalex.org/W2144211451","https://openalex.org/W2151590175","https://openalex.org/W2165612380","https://openalex.org/W2400670996","https://openalex.org/W2732921533","https://openalex.org/W4206765718","https://openalex.org/W4234200495","https://openalex.org/W4240913316","https://openalex.org/W4249191614","https://openalex.org/W6629935783"],"related_works":["https://openalex.org/W3083301185","https://openalex.org/W4306816010","https://openalex.org/W2170599098","https://openalex.org/W2787703111","https://openalex.org/W2163980057","https://openalex.org/W4225424606","https://openalex.org/W4306353309","https://openalex.org/W4386614239","https://openalex.org/W4283575722","https://openalex.org/W3120415410"],"abstract_inverted_index":{"Exhaustivity":[0,119],"and":[1,48,58,64,95,102,120],"Specificity":[2,121],"in":[3,51],"logical":[4],"Information":[5],"Retrieval":[6],"framework":[7],"were":[8],"introduced":[9],"by":[10],"Nie":[11],"[16].":[12],"However,":[13],"even":[14],"with":[15,42],"some":[16],"attempts,":[17],"they":[18],"are":[19],"still":[20],"theoretical":[21],"notions":[22,76],"without":[23],"a":[24,37,78,84,137],"clear":[25],"idea":[26],"of":[27,99,110,118,130,139],"how":[28,71],"to":[29,40,53,72],"be":[30,136],"implemented.":[31],"In":[32],"this":[33],"study,":[34],"we":[35],"present":[36],"new":[38,85],"approach":[39],"deal":[41],"them.":[43],"We":[44,68],"use":[45],"propositional":[46],"logic":[47],"lattice":[49],"theory":[50],"order":[52],"redefine":[54],"the":[55,74,108,115,127,142],"two":[56,75,97,143],"implications":[57],"their":[59],"uncertainty":[60],"P(d":[61],"\u2192":[62,66],"q)":[63],"P(q":[65],"d).":[67],"also":[69],"show":[70],"integrate":[73],"into":[77,122],"concrete":[79],"IR":[80,123],"model":[81],"for":[82],"building":[83],"effective":[86],"model.":[87],"Our":[88],"proposal":[89],"is":[90],"validated":[91],"against":[92],"six":[93],"corpora,":[94],"using":[96],"types":[98],"terms":[100],"(words":[101],"concepts).":[103],"The":[104],"experimental":[105],"results":[106],"showed":[107],"validity":[109],"our":[111],"viewpoint,":[112],"which":[113],"state:":[114],"explicit":[116],"integration":[117],"models":[124],"will":[125],"improve":[126],"retrieval":[128],"performance":[129],"these":[131],"models.":[132],"Moreover,":[133],"there":[134],"should":[135],"type":[138],"balance":[140],"between":[141],"notions.":[144]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2016,"cited_by_count":1}],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}