<?xml version="1.0" standalone="yes"?>
<Paper uid="W91-0207">
  <Title>Representation of Semantic Knowledge with Term Subsumption Languages</Title>
  <Section position="6" start_page="73" end_page="73" type="concl">
    <SectionTitle>
5 Conclusion
</SectionTitle>
    <Paragraph position="0"> We have outlined that TSLs are KR formalisms with some interesting features. The well-defined semantics allows to decide whether the inference algorithms are sound and complete.</Paragraph>
    <Paragraph position="1"> In order to use TSLs for the representation of word meanings we examined a number of dictionary definitions. TSLs seem to be adequate for the representation of some aspects of noun meanings, for example the subsumption and part-whole relations. There are, however, important aspects of word meanings which can not be expressed in TSLs, e.g., concept disjunction, defaults and similarity between concepts. As a consequence the TSL formalism has to be embedded into a representation system with more expressive power.</Paragraph>
  </Section>
class="xml-element"></Paper>