Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions

Franz BaaderFranz Baader, R. KüstersR. Küsters

Franz Baader, R. Küsters
Computing the least common subsumer and the most specific concept in the presence of cyclic ALN-concept descriptions
In O. Herzog and A. Günter, eds., Proceedings of the 22nd Annual German Conference on Artificial Intelligence, KI-98, volume 1504 of Lecture Notes in Computer Science, 129-140, 1998. Springer

Details
Bibtex

KurzfassungAbstract
Computing least common subsumers (lcs) and most specific concepts (msc) are inference tasks that can be used to support the ``bottom up construction of knowledge bases for KR systems based on description logic. For the description logic ALN, the msc need not always exist if one restricts the attention to acyclic concept descriptions. In this paper, we extend the notions lcs and msc to cyclic descriptions, and show how they can be computed. Our approach is based on the automata-theoretic characterizations of fixed-point semantics for cyclic terminologies developed in previous papers.
Forschungsgruppe:Research Group: AutomatentheorieAutomata Theory

The final publication is available at Springer.

@inproceedings{ Baader:Kuesters:KI98,
  address = {Bremen, Germany},
  author = {F. {Baader} and R. {K\"usters}},
  booktitle = {Proceedings of the 22nd Annual German Conference on Artificial Intelligence, {KI-98}},
  editor = {O. {Herzog} and A. {G\"unter}},
  pages = {129--140},
  publisher = {Springer--Verlag},
  series = {Lecture Notes in Computer Science},
  title = {Computing the least common subsumer and the most specific concept in the presence of cyclic $\mathcal{ALN}$-concept descriptions},
  volume = {1504},
  year = {1998},
}