@inproceedings{Bac:Tro:Usz:91a,
	      author    = {Rolf Backofen and Harald Trost and Hans Uszkoreit},
	      title     = {Linking Typed Feature Formalisms and 
	                    Terminological  Knowledge Representation 
                            Languages in Natural Language Front-Ends},
	      booktitle = {Proceedings of the GI Congress,
                             Knowledge-Based Systems 1991},
	      publisher = {Springer},
	      address   = {Berlin},
 	      series    = {Informatik-Fachberichte},
              volume    = 291,
              editor    = {Wilfried Brauer and Daniel Hern{\'a}ndez},
	      pages     = {375-384},
	      isbn      = {3-540-54617-0},
	      year      = 1991,
 abstract = {In this paper we describe an interface between typed feature formalisms and terminological languages like KL-ONE.  The definition of such
 an interface is motivated by the needs of natural language front-ends to AI-systems where information must be transmitted from the front-
end to the back-end system and vice versa.
<P>
 We show how some minor extensions to the feature formalism allow for a
 syntactic description of individual concepts in terms of typed feature structures.  Namely, we propose to include intervals and a special
 kind of sets.  Partial consistency checks can be made on these concept descriptions during the unification of feature terms.  Type checki
ng on these special types involves calling the classifier of the terminological language.  The final consistency check is performed only w
hen transferring these concept descriptions into structures of the A-Box of the terminological language.
   }
}