{"id":"https://openalex.org/W4415903222","doi":"https://doi.org/10.24963/kr.2025/22","title":"Reasoning in Defeasible Description Logics with System W and Lexicographic Inference","display_name":"Reasoning in Defeasible Description Logics with System W and Lexicographic Inference","publication_year":2025,"publication_date":"2025-11-01","ids":{"openalex":"https://openalex.org/W4415903222","doi":"https://doi.org/10.24963/kr.2025/22"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2025/22","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/22","pdf_url":"https://proceedings.kr.org/2025/22/kr2025-0022-casini-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2025/22/kr2025-0022-casini-et-al.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5024544603","display_name":"Giovanni Casini","orcid":"https://orcid.org/0000-0002-4267-4447"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["IT","ZA"],"is_corresponding":true,"raw_author_name":"Giovanni Casini","raw_affiliation_strings":["CNR-ISTI","University of Cape Town and CAIR"],"affiliations":[{"raw_affiliation_string":"CNR-ISTI","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"University of Cape Town and CAIR","institution_ids":["https://openalex.org/I157614274"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5086838606","display_name":"Jonas Haldimann","orcid":"https://orcid.org/0000-0002-2618-8721"},"institutions":[{"id":"https://openalex.org/I145847075","display_name":"TU Wien","ror":"https://ror.org/04d836q62","country_code":"AT","type":"education","lineage":["https://openalex.org/I145847075"]},{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["AT","ZA"],"is_corresponding":false,"raw_author_name":"Jonas Haldimann","raw_affiliation_strings":["TU Wien","University of Cape Town and CAIR"],"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]},{"raw_affiliation_string":"University of Cape Town and CAIR","institution_ids":["https://openalex.org/I157614274"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5102011951","display_name":"Thomas Meyer","orcid":"https://orcid.org/0000-0003-2204-6969"},"institutions":[{"id":"https://openalex.org/I122991210","display_name":"Istituto di Scienza e Tecnologie dell'Informazione \"Alessandro Faedo\"","ror":"https://ror.org/05kacka20","country_code":"IT","type":"facility","lineage":["https://openalex.org/I122991210","https://openalex.org/I4210155236"]},{"id":"https://openalex.org/I157614274","display_name":"University of Cape Town","ror":"https://ror.org/03p74gp79","country_code":"ZA","type":"education","lineage":["https://openalex.org/I157614274"]}],"countries":["IT","ZA"],"is_corresponding":false,"raw_author_name":"Thomas Meyer","raw_affiliation_strings":["CNR-ISTI","University of Cape Town and CAIR"],"affiliations":[{"raw_affiliation_string":"CNR-ISTI","institution_ids":["https://openalex.org/I122991210"]},{"raw_affiliation_string":"University of Cape Town and CAIR","institution_ids":["https://openalex.org/I157614274"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5024544603"],"corresponding_institution_ids":["https://openalex.org/I122991210","https://openalex.org/I157614274"],"apc_list":null,"apc_paid":null,"fwci":2.3431,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.91631325,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":96,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"218","last_page":"228"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.49480000138282776,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.49480000138282776,"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.3785000145435333,"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/T11710","display_name":"Biomedical Text Mining and Ontologies","score":0.03579999879002571,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.8144000172615051},{"id":"https://openalex.org/keywords/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.7408000230789185},{"id":"https://openalex.org/keywords/lexicographical-order","display_name":"Lexicographical order","score":0.6047999858856201},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5884000062942505},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.578499972820282},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5167999863624573},{"id":"https://openalex.org/keywords/propositional-formula","display_name":"Propositional formula","score":0.507099986076355},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.505299985408783},{"id":"https://openalex.org/keywords/closure","display_name":"Closure (psychology)","score":0.5005999803543091}],"concepts":[{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.8144000172615051},{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.7408000230789185},{"id":"https://openalex.org/C159254197","wikidata":"https://www.wikidata.org/wiki/Q1144915","display_name":"Lexicographical order","level":2,"score":0.6047999858856201},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5884000062942505},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.578499972820282},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5457000136375427},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5167999863624573},{"id":"https://openalex.org/C74640108","wikidata":"https://www.wikidata.org/wiki/Q1372900","display_name":"Propositional formula","level":5,"score":0.507099986076355},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.505299985408783},{"id":"https://openalex.org/C146834321","wikidata":"https://www.wikidata.org/wiki/Q2979672","display_name":"Closure (psychology)","level":2,"score":0.5005999803543091},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4871000051498413},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.4668999910354614},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.45239999890327454},{"id":"https://openalex.org/C14523651","wikidata":"https://www.wikidata.org/wiki/Q3492863","display_name":"Propositional variable","level":4,"score":0.4189999997615814},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3952000141143799},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.38339999318122864},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.3504999876022339},{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.34850001335144043},{"id":"https://openalex.org/C191222856","wikidata":"https://www.wikidata.org/wiki/Q655328","display_name":"Well-formed formula","level":5,"score":0.3398999869823456},{"id":"https://openalex.org/C129916263","wikidata":"https://www.wikidata.org/wiki/Q1141183","display_name":"Backward chaining","level":4,"score":0.3395000100135803},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.31769999861717224},{"id":"https://openalex.org/C2185349","wikidata":"https://www.wikidata.org/wiki/Q190558","display_name":"Negation","level":2,"score":0.31040000915527344},{"id":"https://openalex.org/C32241873","wikidata":"https://www.wikidata.org/wiki/Q236975","display_name":"Classical logic","level":2,"score":0.2978000044822693},{"id":"https://openalex.org/C138268822","wikidata":"https://www.wikidata.org/wiki/Q1051925","display_name":"Resolution (logic)","level":2,"score":0.28790000081062317},{"id":"https://openalex.org/C3746660","wikidata":"https://www.wikidata.org/wiki/Q1068763","display_name":"Rule of inference","level":2,"score":0.28540000319480896},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.2750000059604645},{"id":"https://openalex.org/C98224912","wikidata":"https://www.wikidata.org/wiki/Q6901647","display_name":"Monoidal t-norm logic","level":5,"score":0.2590999901294708}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.24963/kr.2025/22","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/22","pdf_url":"https://proceedings.kr.org/2025/22/kr2025-0022-casini-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},{"id":"pmh:oai:dnet:iris________::5eba42c7486aca5b3270a99a6b84db06","is_oa":true,"landing_page_url":null,"pdf_url":null,"source":{"id":"https://openalex.org/S7407055261","display_name":"ISTI Open Portal","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":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"PROCEEDINGS INTERNATIONAL CONFERENCE ON PRINCIPLES OF KNOWLEDGE REPRESENTATION AND REASONING, pp. 218-228. Melbourne, Australia, 11-17/11/2025","raw_type":"Conference article"}],"best_oa_location":{"id":"doi:10.24963/kr.2025/22","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2025/22","pdf_url":"https://proceedings.kr.org/2025/22/kr2025-0022-casini-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentySecond International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G4531949384","display_name":null,"funder_award_id":"PIN8884924","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"},{"id":"https://openalex.org/G8768587252","display_name":null,"funder_award_id":"P30873","funder_id":"https://openalex.org/F4320321181","funder_display_name":"Austrian Science Fund"}],"funders":[{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4415903222.pdf","grobid_xml":"https://content.openalex.org/works/W4415903222.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":[],"abstract_inverted_index":{"Description":[0],"Logics":[1],"(DLs)":[2],"are":[3,65,74],"widely":[4],"applied":[5],"in":[6,69],"AI":[7],"and":[8,41,61,73,103],"database":[9],"systems.":[10],"However,":[11],"like":[12],"other":[13],"classical":[14],"logics,":[15],"they":[16],"cannot":[17],"adequately":[18],"handle":[19],"defeasible":[20,33,57],"information.":[21],"Building":[22],"on":[23],"the":[24,38,70],"notion":[25],"of":[26,32,56,88],"rational":[27],"closure":[28],"-":[29,46],"a":[30],"form":[31],"reasoning":[34],"originally":[35],"developed":[36],"for":[37,91,106],"propositional":[39,71,101],"setting":[40],"later":[42],"adapted":[43],"to":[44,76,99],"DLs":[45],"we":[47,84],"extend":[48],"this":[49,82],"approach":[50],"by":[51,96],"incorporating":[52],"two":[53],"further":[54],"forms":[55],"reasoning:":[58],"System":[59],"W":[60],"lexicographic":[62],"closure.":[63],"Both":[64],"well-established":[66],"entailment":[67],"relations":[68],"case":[72],"known":[75],"satisfy":[77],"several":[78],"desirable":[79],"properties.":[80],"In":[81],"paper,":[83],"provide":[85],"model-theoretic":[86],"definitions":[87],"these":[89],"extensions":[90],"DLs,":[92],"analyze":[93],"their":[94,100,107],"behaviour":[95],"relating":[97],"them":[98],"counterparts,":[102],"present":[104],"algorithms":[105],"computation.":[108]},"counts_by_year":[{"year":2026,"cited_by_count":1}],"updated_date":"2026-04-10T15:06:20.359241","created_date":"2025-11-05T00:00:00"}