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.
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 checking on these special types involves calling the classifier of the terminological language. The final consistency check is performed only when transferring these concept descriptions into structures of the A-Box of the terminological language.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
J. Coleman. Unifikation phonology. In H. Karlgren, editor, COLING-90, volume 3, pages 79–84. Helsinki, 1990.
Bernhard Hollunder. Hybrid inferences in KL-ONE-based knowledge representation sys-tems. Research Report RR-90-06, Deutsches Forschungszentrum für künstliche Intelligenz, Saarbrücken, May 1990.
Lauri Karttunen. D-PATR: a development environment for unification-based grammars. In Proceedings of the COLING’86, volume 1, pages 74–80. Budapest, 1986.
Bernhard Nebel and Gert Smolka. Representation and reasoning with attributive descriptions. In K.H. Blaesius, U. Hedtstueck, and C.R. Rollinger, editors, Sorts and Types in Artificial Intelligence. Springer, Berlin, 1990.
Carl J. Pollard and M. Drew Moshier. Unifying partial descriptions of sets. In P. Hansen, editor, Information, Language and Cognition, volume 1 of Vancouver Studies in Cognitive Sience. University of British Columbia Press, Vancouver, 1989.
Carl Pollard and Ivan A. Sag. Information-Based Syntax and Semantics. Vol. 1: Fundamentals, volume 13 of CSLI Lecture Notes. Chicago Univ. Press, Chicago, 1987.
William Rounds. Set values for unification-based grammar formalisms and logic programming. Report CLSI-88-129, CSLI, Stanford (CA), June 1988.
Stuart M. Shieber. An Introduction to Unification-Based Approaches to Grammar, volume 4 of CSLI Lecture Notes. Stanford University, Stanford (CA ), 1986.
Gert Smolka. A feature logic with subsorts. LILOG-Report 33, IBM Deutschland GmbH, Stuttgart, May 1988.
Gert Smolka. Feature constraint logics for unification grammars. LILOG-Report 93, IBM Deutschland GmbH, Stuttgart, November 1989.
R. Wiese. Towards an unifikation-based phonology. In H. Karlgren, editor, COLING-90, volume 3, pages 283–286. Helsinki, 1990.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Backofen, R., Trost, H., Uszkoreit, H. (1991). Linking Typed Feature Formalisms and Terminological Knowledge Representation Languages in Natural Language Front-Ends. In: Brauer, W., Hernández, D. (eds) Verteilte Künstliche Intelligenz und kooperatives Arbeiten. Informatik-Fachberichte, vol 291. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-76980-1_34
Download citation
DOI: https://doi.org/10.1007/978-3-642-76980-1_34
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-54617-7
Online ISBN: 978-3-642-76980-1
eBook Packages: Springer Book Archive