{"id":"https://openalex.org/W4403792847","doi":"https://doi.org/10.24963/kr.2024/29","title":"Equilibrium Description Logics: Results on Complexity and Relations to Circumscription","display_name":"Equilibrium Description Logics: Results on Complexity and Relations to Circumscription","publication_year":2024,"publication_date":"2024-10-26","ids":{"openalex":"https://openalex.org/W4403792847","doi":"https://doi.org/10.24963/kr.2024/29"},"language":"en","primary_location":{"id":"doi:10.24963/kr.2024/29","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/29","pdf_url":"https://proceedings.kr.org/2024/29/kr2024-0029-di-stefano-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"type":"conference-paper","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://proceedings.kr.org/2024/29/kr2024-0029-di-stefano-et-al.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5051966978","display_name":"Federica Di Stefano","orcid":"https://orcid.org/0000-0002-6570-7598"},"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"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Federica Di Stefano","raw_affiliation_strings":["TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5079813467","display_name":"Mantas \u0160imkus","orcid":"https://orcid.org/0000-0003-0632-0294"},"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"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Mantas \u0160imkus","raw_affiliation_strings":["TU Wien"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TU Wien","institution_ids":["https://openalex.org/I145847075"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I145847075"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"306","last_page":"316"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8705000281333923,"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"}},"topics":[{"id":"https://openalex.org/T11727","display_name":"Advanced Algebra and Logic","score":0.8705000281333923,"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"}},{"id":"https://openalex.org/T10215","display_name":"Semantic Web and Ontologies","score":0.8629000186920166,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.758899986743927,"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/circumscription","display_name":"Circumscription","score":0.9875921010971069},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5015044212341309},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2986751198768616}],"concepts":[{"id":"https://openalex.org/C62360110","wikidata":"https://www.wikidata.org/wiki/Q96777007","display_name":"Circumscription","level":2,"score":0.9875921010971069},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5015044212341309},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2986751198768616}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.24963/kr.2024/29","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/29","pdf_url":"https://proceedings.kr.org/2024/29/kr2024-0029-di-stefano-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.24963/kr.2024/29","is_oa":true,"landing_page_url":"https://doi.org/10.24963/kr.2024/29","pdf_url":"https://proceedings.kr.org/2024/29/kr2024-0029-di-stefano-et-al.pdf","source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the TwentyFirst International Conference on Principles of Knowledge Representation and Reasoning","raw_type":"proceedings-article"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G8768587252","display_name":"KtoAPP: Compiling Knowledge into Applications","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"},{"id":"https://openalex.org/F4320322327","display_name":"Knut och Alice Wallenbergs Stiftelse","ror":"https://ror.org/004hzzk67"},{"id":"https://openalex.org/F4320322971","display_name":"Ume\u00e5 Universitet","ror":"https://ror.org/05kb8h459"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4403792847.pdf","grobid_xml":"https://content.openalex.org/works/W4403792847.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W1505443365","https://openalex.org/W2097297915","https://openalex.org/W1279140112","https://openalex.org/W1792738922","https://openalex.org/W1998363560","https://openalex.org/W54673468","https://openalex.org/W2039438726"],"abstract_inverted_index":{"Recently,":[0],"Equilibrium":[1],"Description":[2,14],"Logics":[3,15],"(EDLs)":[4],"have":[5],"been":[6],"suggested":[7],"as":[8],"a":[9,22,75,90,192,214],"promising":[10],"new":[11,231],"approach":[12],"to":[13,34,97,100,121],"(DLs)":[16],"with":[17,81],"non-monotonic":[18],"default":[19],"negation.":[20],"However,":[21],"deeper":[23],"understanding":[24],"of":[25,29,51,59,86,93,114,154,165,183,195,206,216,227,241],"EDLs":[26,54,78,131,198,201],"in":[27,43,53,56,67,111,151,167,238],"terms":[28],"computational":[30,49,163],"complexity":[31,50,164],"and":[32,64,70,199,220,243],"relations":[33],"other":[35],"formalisms":[36],"is":[37,95,140],"still":[38],"missing.":[39],"Motivated":[40],"by":[41,142],"this,":[42],"this":[44,210],"paper":[45],"we":[46,178,188,212],"investigate":[47],"the":[48,57,68,112,122,133,147,152,162,173,180,203,224,239],"reasoning":[52,166],"both":[55],"case":[58,113],"expressive":[60],"DLs":[61,66,80,88,236],"like":[62],"ALCIO":[63],"lightweight":[65],"EL":[69],"DL-Lite":[71],"families.":[72],"We":[73,128,157],"establish":[74],"translation":[76,107,174],"on":[77,138,161],"into":[79,175],"circumscription,":[82,177],"introducing":[83],"an":[84],"extension":[85],"circumscribed":[87,98,126,185,235],"where":[89,132,218],"further":[91],"set":[92,205,226],"axioms":[94],"attached":[96],"KBs":[99],"filter":[101],"out":[102],"unintended":[103],"minimal":[104,228],"models.":[105,208],"Such":[106],"not":[108],"only":[109],"applies":[110],"classical":[115],"circumscription":[116,219,222],"but":[117],"can":[118],"be":[119],"extended":[120],"recently":[123],"introduced":[124],"pointwise":[125,130,155,168,176,184,200,221],"DLs.":[127,186],"introduce":[129],"single":[134,148],"global":[135],"minimality":[136,144],"check":[137],"models":[139],"replaced":[141],"local":[143],"checks":[145],"at":[146],"domain":[149],"elements":[150],"style":[153],"circumscription.":[156],"provide":[158],"preliminary":[159],"results":[160,182,233],"EDLs.":[169],"In":[170],"particular,":[171],"via":[172],"inherit":[179],"decidability":[181,232],"Furthermore,":[187],"show":[189],"that":[190],"for":[191,234],"large":[193],"class":[194,215],"acyclic":[196],"ontologies":[197,217],"accept":[202,223],"same":[204,225],"stable":[207],"To":[209],"aim,":[211],"identify":[213],"models,":[229],"providing":[230],"even":[237],"presence":[240],"minimized":[242],"fixed":[244],"roles.":[245]},"counts_by_year":[],"updated_date":"2026-07-14T23:27:15.235271","created_date":"2025-10-10T00:00:00"}