<?xml version="1.0" standalone="yes"?>
<Paper uid="P89-1024">
  <Title>A HYBRID APPROACH TO REPRESENTATION IN THE JANUS NATURAL LANGUAGE PROCESSOR</Title>
  <Section position="8" start_page="199" end_page="199" type="relat">
    <SectionTitle>
6. Related Work
</SectionTitle>
    <Paragraph position="0"> Several hybrid representation schemes have been created, although only ours seems to have explored a hybrid of intensional logic with an axiomatizable frame system. The most directly related efforts are the following: null * KL-TWO\[31\], which marries a frame system (NIKL) with propositional logic (RUP\[20\]), Limited inference in propositional logic is the goal of KL-'FWO. Limited aspects of universal&amp;quot; quantification are achieved via allowing demons in the inference process. KL-TWO and its classification algorithm \[27\] are at the heart of the lexicalization process of the text generator Penman \[28\].</Paragraph>
    <Paragraph position="1"> * KRYPTON \[9\], which marries a frame system with first-order logic. The frame system is designed to be less expressive than NIKL to allow rapid checking for disjointness of two class concepts in order to support efficient resolution theorem proving. KRYPTON has not as yet been used in any natural language processor.</Paragraph>
  </Section>
class="xml-element"></Paper>