{"id":"https://openalex.org/W4416017697","doi":"https://doi.org/10.1145/3746252.3761380","title":"Strong Forgetting for ALCQ-Ontologies","display_name":"Strong Forgetting for ALCQ-Ontologies","publication_year":2025,"publication_date":"2025-11-08","ids":{"openalex":"https://openalex.org/W4416017697","doi":"https://doi.org/10.1145/3746252.3761380"},"language":null,"primary_location":{"id":"doi:10.1145/3746252.3761380","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3746252.3761380","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on Information and Knowledge Management","raw_type":"proceedings-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/A5005980189","display_name":"Sen Wang","orcid":"https://orcid.org/0009-0009-7852-5513"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":true,"raw_author_name":"Sen Wang","raw_affiliation_strings":["National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002841987","display_name":"Yizheng Zhao","orcid":"https://orcid.org/0009-0004-7762-8573"},"institutions":[{"id":"https://openalex.org/I881766915","display_name":"Nanjing University","ror":"https://ror.org/01rxvg760","country_code":"CN","type":"education","lineage":["https://openalex.org/I881766915"]}],"countries":["CN"],"is_corresponding":false,"raw_author_name":"Yizheng Zhao","raw_affiliation_strings":["National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China"],"affiliations":[{"raw_affiliation_string":"National Key Laboratory for Novel Software Technology, Nanjing University, Nanjing, China","institution_ids":["https://openalex.org/I881766915"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5005980189"],"corresponding_institution_ids":["https://openalex.org/I881766915"],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.31289265,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"3041","last_page":"3049"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.4733000099658966,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.4733000099658966,"subfield":{"id":"https://openalex.org/subfields/1312","display_name":"Molecular Biology"},"field":{"id":"https://openalex.org/fields/13","display_name":"Biochemistry, Genetics and Molecular Biology"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T10028","display_name":"Topic Modeling","score":0.24300000071525574,"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.16779999434947968,"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/forgetting","display_name":"Forgetting","score":0.8916000127792358},{"id":"https://openalex.org/keywords/completeness","display_name":"Completeness (order theory)","score":0.661300003528595},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5582000017166138},{"id":"https://openalex.org/keywords/ontology","display_name":"Ontology","score":0.536899983882904},{"id":"https://openalex.org/keywords/reuse","display_name":"Reuse","score":0.5090000033378601},{"id":"https://openalex.org/keywords/modulo","display_name":"Modulo","score":0.4876999855041504},{"id":"https://openalex.org/keywords/quantifier","display_name":"Quantifier (linguistics)","score":0.4641000032424927},{"id":"https://openalex.org/keywords/causation","display_name":"Causation","score":0.42820000648498535}],"concepts":[{"id":"https://openalex.org/C7149132","wikidata":"https://www.wikidata.org/wiki/Q1377840","display_name":"Forgetting","level":2,"score":0.8916000127792358},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.661300003528595},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6259999871253967},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5582000017166138},{"id":"https://openalex.org/C25810664","wikidata":"https://www.wikidata.org/wiki/Q44325","display_name":"Ontology","level":2,"score":0.536899983882904},{"id":"https://openalex.org/C206588197","wikidata":"https://www.wikidata.org/wiki/Q846574","display_name":"Reuse","level":2,"score":0.5090000033378601},{"id":"https://openalex.org/C54732982","wikidata":"https://www.wikidata.org/wiki/Q1415345","display_name":"Modulo","level":2,"score":0.4876999855041504},{"id":"https://openalex.org/C2778523021","wikidata":"https://www.wikidata.org/wiki/Q5532504","display_name":"Quantifier (linguistics)","level":2,"score":0.4641000032424927},{"id":"https://openalex.org/C166151441","wikidata":"https://www.wikidata.org/wiki/Q4923601","display_name":"Causation","level":2,"score":0.42820000648498535},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.42669999599456787},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4018000066280365},{"id":"https://openalex.org/C136979486","wikidata":"https://www.wikidata.org/wiki/Q773483","display_name":"Existential quantification","level":2,"score":0.3935000002384186},{"id":"https://openalex.org/C2780069185","wikidata":"https://www.wikidata.org/wiki/Q7977945","display_name":"Equivalence (formal languages)","level":2,"score":0.37940001487731934},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.35120001435279846},{"id":"https://openalex.org/C95012187","wikidata":"https://www.wikidata.org/wiki/Q6917862","display_name":"Motivated forgetting","level":3,"score":0.3425000011920929},{"id":"https://openalex.org/C2780922921","wikidata":"https://www.wikidata.org/wiki/Q255189","display_name":"Paraphrase","level":2,"score":0.329800009727478},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.3165000081062317},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.30649998784065247},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.3019999861717224},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.29580000042915344},{"id":"https://openalex.org/C27508121","wikidata":"https://www.wikidata.org/wiki/Q210841","display_name":"Modal logic","level":3,"score":0.2809999883174896},{"id":"https://openalex.org/C166052673","wikidata":"https://www.wikidata.org/wiki/Q83021","display_name":"Empirical evidence","level":2,"score":0.2745000123977661},{"id":"https://openalex.org/C2776809875","wikidata":"https://www.wikidata.org/wiki/Q1375963","display_name":"Converse","level":2,"score":0.274399995803833},{"id":"https://openalex.org/C180747234","wikidata":"https://www.wikidata.org/wiki/Q23373","display_name":"Cognitive psychology","level":1,"score":0.26809999346733093},{"id":"https://openalex.org/C97508593","wikidata":"https://www.wikidata.org/wiki/Q1359069","display_name":"Contingency","level":2,"score":0.25870001316070557},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2533999979496002},{"id":"https://openalex.org/C71139939","wikidata":"https://www.wikidata.org/wiki/Q910194","display_name":"Modal","level":2,"score":0.2529999911785126}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3746252.3761380","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3746252.3761380","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 34th ACM International Conference on Information and Knowledge Management","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W1521129572","https://openalex.org/W1536469384","https://openalex.org/W1538875800","https://openalex.org/W1540108352","https://openalex.org/W1570679913","https://openalex.org/W1989151171","https://openalex.org/W2043056708","https://openalex.org/W2050310225","https://openalex.org/W2057072590","https://openalex.org/W2057503265","https://openalex.org/W2062897452","https://openalex.org/W2071066814","https://openalex.org/W2100738443","https://openalex.org/W2114549239","https://openalex.org/W2114633883","https://openalex.org/W2123555667","https://openalex.org/W2142027944","https://openalex.org/W2144831006","https://openalex.org/W2147729309","https://openalex.org/W2150683986","https://openalex.org/W2155213226","https://openalex.org/W2162280637","https://openalex.org/W2168344789","https://openalex.org/W2170482119","https://openalex.org/W2739916438","https://openalex.org/W2900717185","https://openalex.org/W2950450725","https://openalex.org/W2964021910","https://openalex.org/W3208107092","https://openalex.org/W3211190121","https://openalex.org/W4224312641","https://openalex.org/W4385768245"],"related_works":[],"abstract_inverted_index":{"Forgetting":[0],"is":[1,149],"a":[2,12],"non-standard":[3],"reasoning":[4],"procedure":[5],"used":[6],"to":[7,74,120],"refine":[8],"an":[9],"ontology":[10,29],"into":[11],"sub-signature":[13],"by":[14,113,152],"eliminating":[15],"symbols":[16],"not":[17],"included":[18],"in":[19,25,88,108,111],"this":[20,77,169],"subset,":[21],"addressing":[22],"fundamental":[23],"challenges":[24],"knowledge":[26],"management":[27],"where":[28],"refinement":[30],"and":[31,55,136,145,164,183],"reuse":[32],"are":[33],"crucial":[34,128],"for":[35,84,129],"efficient":[36],"information":[37,122],"processing.":[38],"It":[39],"has":[40],"two":[41],"forms:":[42],"weak":[43],"forgetting":[44,87],"(aka":[45],"uniform":[46],"interpolation),":[47],"which":[48,58],"preserves":[49,125],"entailments":[50],"within":[51],"the":[52,64,69,81,99,116,141,153,162],"source":[53],"language,":[54],"strong":[56,85,156],"forgetting,":[57],"additionally":[59],"ensures":[60],"model":[61],"preservation":[62],"modulo":[63],"eliminated":[65],"symbols.":[66],"This":[67,124],"makes":[68],"latter":[70],"significantly":[71],"more":[72],"challenging":[73],"compute.":[75],"In":[76,97],"paper,":[78],"we":[79],"present":[80],"first":[82],"method":[83,100,142],"role":[86,118],"description":[89],"logics":[90],"with":[91,176],"qualified":[92],"number":[93],"restrictions":[94],"(Q":[95],").":[96],"particular,":[98],"takes":[101],"ALCQ-ontologies":[102],"as":[103,132],"input,":[104],"yielding":[105],"output":[106],"either":[107],"ALCQ":[109],"or":[110],"ALCQ(\u2207)":[112],"further":[114],"incorporating":[115],"universal":[117],"\u2207":[119],"avoid":[121],"loss.":[123],"model-theoretic":[126],"properties":[127],"applications":[130],"such":[131],"modal":[133],"correspondence":[134],"theory":[135],"second-order":[137],"quantifier":[138],"elimination.":[139],"While":[140],"guarantees":[143],"termination":[144],"soundness,":[146],"its":[147],"completeness":[148],"inherently":[150],"constrained":[151],"undecidability":[154],"of":[155],"forgetting.":[157],"However,":[158],"empirical":[159],"evaluations":[160],"on":[161],"Oxford-ISG":[163],"BioPortal":[165],"benchmarks":[166],"show":[167],"that":[168],"theoretical":[170],"limitation":[171],"barely":[172],"impedes":[173],"practical":[174],"utility,":[175],"experiment":[177],"results":[178],"demonstrating":[179],"superb":[180],"success":[181],"rates":[182],"remarkably":[184],"high":[185],"efficiency.":[186]},"counts_by_year":[],"updated_date":"2026-03-07T16:01:11.037858","created_date":"2025-11-08T00:00:00"}