{"id":"https://openalex.org/W3082661735","doi":"https://doi.org/10.1145/3420258","title":"Principles of KLM-style Defeasible Description Logics","display_name":"Principles of KLM-style Defeasible Description Logics","publication_year":2020,"publication_date":"2020-11-15","ids":{"openalex":"https://openalex.org/W3082661735","doi":"https://doi.org/10.1145/3420258","mag":"3082661735"},"language":"en","primary_location":{"id":"doi:10.1145/3420258","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3420258","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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 Transactions on Computational Logic","raw_type":"journal-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/A5006988031","display_name":"Katarina Britz","orcid":null},"institutions":[{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]}],"countries":["ZA"],"is_corresponding":false,"raw_author_name":"Katarina Britz","raw_affiliation_strings":["CAIR, Stellenbosch University, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CAIR, Stellenbosch University, South Africa","institution_ids":["https://openalex.org/I26092322"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5024544603","display_name":"Giovanni Casini","orcid":"https://orcid.org/0000-0002-4267-4447"},"institutions":[{"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":["ZA"],"is_corresponding":false,"raw_author_name":"Giovanni Casini","raw_affiliation_strings":["ISTI-CNR, Italy and CAIR, University of Cape Town, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"ISTI-CNR, Italy and CAIR, University of Cape Town, South Africa","institution_ids":["https://openalex.org/I157614274"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102011951","display_name":"Thomas Meyer","orcid":"https://orcid.org/0000-0003-2204-6969"},"institutions":[{"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":["ZA"],"is_corresponding":false,"raw_author_name":"Thomas Meyer","raw_affiliation_strings":["CAIR, University of Cape Town, South Africa"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"CAIR, University of Cape Town, South Africa","institution_ids":["https://openalex.org/I157614274"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5089505164","display_name":"Kody Moodley","orcid":"https://orcid.org/0000-0001-5666-1658"},"institutions":[{"id":"https://openalex.org/I34352273","display_name":"Maastricht University","ror":"https://ror.org/02jz4aj89","country_code":"NL","type":"education","lineage":["https://openalex.org/I34352273"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Kody Moodley","raw_affiliation_strings":["Institute of Data Science, Maastricht University, Netherlands"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Institute of Data Science, Maastricht University, Netherlands","institution_ids":["https://openalex.org/I34352273"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Uli Sattler","orcid":null},"institutions":[{"id":"https://openalex.org/I28407311","display_name":"University of Manchester","ror":"https://ror.org/027m9bs27","country_code":"GB","type":"education","lineage":["https://openalex.org/I28407311"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Uli Sattler","raw_affiliation_strings":["Information Management Group, University of Manchester, United Kingdom"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Information Management Group, University of Manchester, United Kingdom","institution_ids":["https://openalex.org/I28407311"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5034598656","display_name":"Ivan Varzinczak","orcid":"https://orcid.org/0000-0002-0025-9632"},"institutions":[{"id":"https://openalex.org/I1294671590","display_name":"Centre National de la Recherche Scientifique","ror":"https://ror.org/02feahw73","country_code":"FR","type":"government","lineage":["https://openalex.org/I1294671590"]},{"id":"https://openalex.org/I26092322","display_name":"Stellenbosch University","ror":"https://ror.org/05bk57929","country_code":"ZA","type":"education","lineage":["https://openalex.org/I26092322"]},{"id":"https://openalex.org/I44563897","display_name":"Universit\u00e9 d'Artois","ror":"https://ror.org/053x9s498","country_code":"FR","type":"education","lineage":["https://openalex.org/I44563897"]}],"countries":["FR","ZA"],"is_corresponding":false,"raw_author_name":"Ivan Varzinczak","raw_affiliation_strings":["CRIL, Univ. Artois 8 CNRS, France and CAIR, Computer Science Division, Stellenbosch University, South Africa"],"raw_orcid":"https://orcid.org/0000-0002-0025-9632","affiliations":[{"raw_affiliation_string":"CRIL, Univ. Artois 8 CNRS, France and CAIR, Computer Science Division, Stellenbosch University, South Africa","institution_ids":["https://openalex.org/I1294671590","https://openalex.org/I26092322","https://openalex.org/I44563897"]}]}],"institutions":[],"countries_distinct_count":4,"institutions_distinct_count":6,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":2.815,"has_fulltext":false,"cited_by_count":32,"citation_normalized_percentile":{"value":0.92356614,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":99},"biblio":{"volume":"22","issue":"1","first_page":"1","last_page":"46"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9998999834060669,"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.9998999834060669,"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.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/T11727","display_name":"Advanced Algebra and Logic","score":0.9976000189781189,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/defeasible-reasoning","display_name":"Defeasible reasoning","score":0.9376628398895264},{"id":"https://openalex.org/keywords/defeasible-estate","display_name":"Defeasible estate","score":0.9328728914260864},{"id":"https://openalex.org/keywords/non-monotonic-logic","display_name":"Non-monotonic logic","score":0.6951699256896973},{"id":"https://openalex.org/keywords/description-logic","display_name":"Description logic","score":0.5924372673034668},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5467045903205872},{"id":"https://openalex.org/keywords/propositional-calculus","display_name":"Propositional calculus","score":0.5324733257293701},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5225917100906372},{"id":"https://openalex.org/keywords/logical-consequence","display_name":"Logical consequence","score":0.5107111930847168},{"id":"https://openalex.org/keywords/knowledge-representation-and-reasoning","display_name":"Knowledge representation and reasoning","score":0.5044509172439575},{"id":"https://openalex.org/keywords/t-norm-fuzzy-logics","display_name":"T-norm fuzzy logics","score":0.5009183883666992},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.44575923681259155},{"id":"https://openalex.org/keywords/knowledge-base","display_name":"Knowledge base","score":0.410273015499115},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39138051867485046},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3634952902793884},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.22925636172294617}],"concepts":[{"id":"https://openalex.org/C140843580","wikidata":"https://www.wikidata.org/wiki/Q840067","display_name":"Defeasible reasoning","level":2,"score":0.9376628398895264},{"id":"https://openalex.org/C193856179","wikidata":"https://www.wikidata.org/wiki/Q5251100","display_name":"Defeasible estate","level":2,"score":0.9328728914260864},{"id":"https://openalex.org/C159032336","wikidata":"https://www.wikidata.org/wiki/Q2488768","display_name":"Non-monotonic logic","level":2,"score":0.6951699256896973},{"id":"https://openalex.org/C102993220","wikidata":"https://www.wikidata.org/wiki/Q387196","display_name":"Description logic","level":2,"score":0.5924372673034668},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5467045903205872},{"id":"https://openalex.org/C69562738","wikidata":"https://www.wikidata.org/wiki/Q200694","display_name":"Propositional calculus","level":2,"score":0.5324733257293701},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5225917100906372},{"id":"https://openalex.org/C134752490","wikidata":"https://www.wikidata.org/wiki/Q374182","display_name":"Logical consequence","level":2,"score":0.5107111930847168},{"id":"https://openalex.org/C161301231","wikidata":"https://www.wikidata.org/wiki/Q3478658","display_name":"Knowledge representation and reasoning","level":2,"score":0.5044509172439575},{"id":"https://openalex.org/C86602344","wikidata":"https://www.wikidata.org/wiki/Q7667918","display_name":"T-norm fuzzy logics","level":5,"score":0.5009183883666992},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.44575923681259155},{"id":"https://openalex.org/C4554734","wikidata":"https://www.wikidata.org/wiki/Q593744","display_name":"Knowledge base","level":2,"score":0.410273015499115},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39138051867485046},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3634952902793884},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.22925636172294617},{"id":"https://openalex.org/C42011625","wikidata":"https://www.wikidata.org/wiki/Q1055058","display_name":"Fuzzy set","level":3,"score":0.0},{"id":"https://openalex.org/C5263885","wikidata":"https://www.wikidata.org/wiki/Q1967302","display_name":"Membership function","level":4,"score":0.0},{"id":"https://openalex.org/C58166","wikidata":"https://www.wikidata.org/wiki/Q224821","display_name":"Fuzzy logic","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"doi:10.1145/3420258","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3420258","pdf_url":null,"source":{"id":"https://openalex.org/S117153874","display_name":"ACM Transactions on Computational Logic","issn_l":"1529-3785","issn":["1529-3785","1557-945X"],"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 Transactions on Computational Logic","raw_type":"journal-article"},{"id":"pmh:oai:cris.maastrichtuniversity.nl:openaire_cris_publications/adc45c3f-33b2-4a14-9631-7d5c648d11ac","is_oa":false,"landing_page_url":"https://cris.maastrichtuniversity.nl/en/publications/adc45c3f-33b2-4a14-9631-7d5c648d11ac","pdf_url":null,"source":{"id":"https://openalex.org/S4306402616","display_name":"Research Publications (Maastricht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I34352273","host_organization_name":"Maastricht University","host_organization_lineage":["https://openalex.org/I34352273"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Britz, K, Casini, G, Meyer, T, Moodley, K, Sattler, U & Varzinczak, I 2021, 'Principles of KLM-style Defeasible Description Logics', Acm Transactions on Computational Logic, vol. 22, no. 1, 1. https://doi.org/10.1145/3420258","raw_type":"info:eu-repo/semantics/publishedVersion"},{"id":"pmh:oai:HAL:hal-04513942v1","is_oa":false,"landing_page_url":"https://univ-artois.hal.science/hal-04513942","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 Transactions on Computational Logic, 2020, 22 (1), pp.1-46. ⟨10.1145/3420258⟩","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:dnet:people______::605f87b50a5874c11a931ea675b3d3a7","is_oa":false,"landing_page_url":"https://openportal.isti.cnr.it/doc?id=people______::605f87b50a5874c11a931ea675b3d3a7","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":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM transactions on computational logic 22 (2020): 1\u201346. doi:10.1145/3420258","raw_type":"http://purl.org/coar/resource_type/c_6501"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.800000011920929}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":46,"referenced_works":["https://openalex.org/W229642387","https://openalex.org/W637246172","https://openalex.org/W1538808052","https://openalex.org/W1555563750","https://openalex.org/W1667574996","https://openalex.org/W1973036111","https://openalex.org/W1973899684","https://openalex.org/W1991508422","https://openalex.org/W2023184461","https://openalex.org/W2055641305","https://openalex.org/W2059360847","https://openalex.org/W2080142817","https://openalex.org/W2089027549","https://openalex.org/W2089627725","https://openalex.org/W2089822569","https://openalex.org/W2098440172","https://openalex.org/W2100982478","https://openalex.org/W2125977920","https://openalex.org/W2132059708","https://openalex.org/W2150191218","https://openalex.org/W2155322595","https://openalex.org/W2167907160","https://openalex.org/W2605370823","https://openalex.org/W2608239929","https://openalex.org/W2612288690","https://openalex.org/W2613034044","https://openalex.org/W2733315687","https://openalex.org/W2777194062","https://openalex.org/W2781875486","https://openalex.org/W2784200433","https://openalex.org/W2788307127","https://openalex.org/W2888896672","https://openalex.org/W2892897045","https://openalex.org/W2914334278","https://openalex.org/W2938157237","https://openalex.org/W2953799511","https://openalex.org/W2972072338","https://openalex.org/W2975321591","https://openalex.org/W2997139167","https://openalex.org/W2999843026","https://openalex.org/W3026512908","https://openalex.org/W3041537557","https://openalex.org/W4242309855","https://openalex.org/W4244275182","https://openalex.org/W4299559542","https://openalex.org/W4388310111"],"related_works":["https://openalex.org/W2118735566","https://openalex.org/W2944542618","https://openalex.org/W2380969826","https://openalex.org/W3082661735","https://openalex.org/W1528561239","https://openalex.org/W2936472323","https://openalex.org/W1523472488","https://openalex.org/W1519321178","https://openalex.org/W4248924863","https://openalex.org/W4256682192"],"abstract_inverted_index":{"The":[0],"past":[1],"25":[2],"years":[3],"have":[4],"seen":[5],"many":[6],"attempts":[7,23,61],"to":[8,45,81,161],"introduce":[9],"defeasible-reasoning":[10],"capabilities":[11],"into":[12],"a":[13,33,83,105,131,221],"description":[14,30,95,191,203],"logic":[15,52],"setting.":[16],"Many,":[17],"if":[18],"not":[19],"most,":[20],"of":[21,29,36,59,66,72,86,90,107,113,164,199,208,217,220,239,250],"these":[22,60,177],"are":[24],"based":[25],"on":[26,230],"preferential":[27,75,91,147,165],"extensions":[28],"logics,":[31],"with":[32],"significant":[34],"number":[35],"these,":[37],"in":[38,97,110,123,190,202,252],"turn,":[39],"following":[40],"the":[41,73,87,98,111,124,162,180,197,206,215,236,253],"so-called":[42],"KLM":[43,99],"approach":[44],"defeasible":[46,92,108,114,137,188,222,242],"reasoning":[47,93,189,201,240,251],"initially":[48],"advocated":[49],"for":[50,94,136,145,182,187,214],"propositional":[51,125],"by":[53,103,118],"Kraus,":[54,119],"Lehmann,":[55,120],"and":[56,70,121,133,139,148,166,210,233],"Magidor.":[57],"Each":[58],"has":[62],"its":[63],"own":[64],"aim":[65,79],"investigating":[67,104],"particular":[68],"constructions":[69,160],"variants":[71],"(KLM-style)":[74],"approach.":[76],"Here":[77],"our":[78,158,173,226],"is":[80,175,245],"provide":[82],"comprehensive":[84],"study":[85],"formal":[88],"foundations":[89],"logics":[96,204],"tradition.":[100],"We":[101],"start":[102],"notion":[106],"subsumption":[109],"spirit":[112],"conditionals":[115],"as":[116],"studied":[117],"Magidor":[122],"case.":[126],"In":[127],"particular,":[128],"we":[129,140,194],"consider":[130],"natural":[132],"intuitive":[134],"semantics":[135,174],"subsumption,":[138],"investigate":[141],"KLM-style":[142],"syntactic":[143],"properties":[144,168],"both":[146],"rational":[149,167,218],"subsumption.":[150],"Our":[151],"contribution":[152],"includes":[153],"two":[154],"representation":[155],"results":[156,178],"linking":[157],"semantic":[159],"set":[163],"considered.":[169],"Besides":[170],"showing":[171],"that":[172,235,249],"appropriate,":[176],"pave":[179],"way":[181],"more":[183],"effective":[184],"decision":[185],"procedures":[186],"logics.":[192],"Indeed,":[193],"also":[195],"analyse":[196],"problem":[198],"non-monotonic":[200],"at":[205],"level":[207],"entailment":[209,232],"present":[211],"an":[212],"algorithm":[213,227],"computation":[216],"closure":[219],"knowledge":[223,243],"base.":[224],"Importantly,":[225],"relies":[228],"completely":[229],"classical":[231,255],"shows":[234],"computational":[237],"complexity":[238],"over":[241],"bases":[244],"no":[246],"worse":[247],"than":[248],"underlying":[254],"DL":[256],"ALC":[257],".":[258]},"counts_by_year":[{"year":2026,"cited_by_count":1},{"year":2025,"cited_by_count":5},{"year":2024,"cited_by_count":5},{"year":2023,"cited_by_count":8},{"year":2022,"cited_by_count":5},{"year":2021,"cited_by_count":8}],"updated_date":"2026-07-22T07:51:19.307946","created_date":"2025-10-10T00:00:00"}