Please use this identifier to cite or link to this item: doi:10.22028/D291-24914
Title: Linking typed feature formalisms and terminological knowledge representation languages in natural language front-ends
Author(s): Backofen, Rolf
Trost, Harald
Uszkoreit, Hans
Language: German
Year of Publication: 1991
OPUS Source: Kaiserslautern ; Saarbrücken : DFKI, 1991
SWD key words: Künstliche Intelligenz
DDC notations: 004 Computer science, internet
Publikation type: Report
Abstract: In this Paper we describe an interface between typed 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. We show 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 concepts descriptions during the unification of feature terms. Type checking on these special involves calling the classifier of the terminological language. The final consistency check is performed only when transferring these concept description into structures of the A-Box of the terminological language.
Link to this record: urn:nbn:de:bsz:291-scidok-36896
Series name: Research report / Deutsches Forschungszentrum für Künstliche Intelligenz [ISSN 0946-008x]
Series volume: 91-28
Date of registration: 28-Jun-2011
Faculty: SE - Sonstige Einrichtungen
Department: SE - DFKI Deutsches Forschungszentrum für Künstliche Intelligenz
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
RR_91_28.pdf187,38 kBAdobe PDFView/Open

Items in SciDok are protected by copyright, with all rights reserved, unless otherwise indicated.