{"type":"ScholarlyArticle","title":"Computing Least Common Subsumers in ALEN","authors":[{"name":"Ralf Küsters","slug":"ralf-kusters","given":"Ralf","family":"Küsters","affiliation":""},{"name":"Ralf Molitor","slug":"ralf-molitor","given":"Ralf","family":"Molitor","affiliation":""}],"abstract":"Computing the least common subsumer (lcs) has proved to be useful in a variety of different applications. Previous work on the lcs has concentrated on description logics that either allow for number restrictions or for existential restrictions. Many applications, however, require to combine these constructors. In this work, we present an lcs algorithm for the description logic ALEN , which allows for both constructors, thereby correcting previous algorithms proposed in the literature.","doi":null,"url":"https://ijcai.org/proceedings/2001/31","pdf":"https://ijcai.org/proceedings/2001/0031.pdf","markdown":"https://ijcai.org/proceedings/2001/31.md","bibtex":"https://ijcai.org/proceedings/2001/bibtex/31","volume":{"slug":"2001","title":"Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence","short_title":"IJCAI 2001","url":"https://ijcai.org/proceedings/2001/","year":2001,"location":"Seattle, Washington, USA","dates":"","editors":"","isbn":"","publisher":"International Joint Conferences on Artificial Intelligence","doi_prefix":""},"section":null,"track":"","number":31,"pages":{"first":219,"last":223},"keywords":[],"videos":[],"references":[],"license_note":"Copyright International Joint Conferences on Artificial Intelligence."}