User Tools

Site Tools

Computing Least Common Subsumers in ALEN (BibTeX)

  author      = {Ralf K{\"u}sters and Ralf Molitor},
  title       = {{Computing Least Common Subsumers in ALEN}},
  booktitle   = {Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence (IJCAI 2001)},
  pages       = {219--224},
  publisher   = {Morgan Kaufman},
  editor      = {B.~Nebel},
  year        = 2001,
  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.}