Terminological Cycles: Semantics and Computational Properties

  title={Terminological Cycles: Semantics and Computational Properties},
  author={Bernhard Nebel},
Terminological knowledge representation formalisms are intended to capture the analytic relationships between terms of a vocabulary intended to describe a domain. A term whose deenition refers, either directly or indirectly, to the term itself presents a problem for most terminological representation systems because it is obvious neither whether such a term is meaningful, nor how it could be handled by a knowledge representation system in a satisfying manner. After some examples of intuitively… CONTINUE READING
Highly Influential
This paper has highly influenced 19 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

From This Paper

Topics from this paper.
145 Citations
41 References
Similar Papers


Publications citing this paper.
Showing 1-10 of 145 extracted citations


Publications referenced by this paper.
Showing 1-10 of 41 references

Terminological cycles in KL-ONE-based KRlanguages To appear. A version of this paper containg proofs is available as Research Report RR- 90-01

  • Franz Baader, Baader
  • Proceedings of the 8th National Conference of the…
  • 1990

The frontier of tractability for concept description languages

  • Donini
  • DFKI Report German Research Center for Artiicial…
  • 1990

Alfred Kobsa. The SB-ONE knowledge representation workbench

  • Kobsa
  • Preprints of the Workshop on Formal Aspects of…
  • 1989
2 Excerpts

Similar Papers

Loading similar papers…