finin@prc.unisys.com (Tim Finin) (09/19/89)
What KL-ONE Lookalikes Need
to Cope with Natural Language
Juergen Allgayer
University of Saarbrucken
FRG
One of the major drawbacks of current NL processing systems is an
adequate representation of and reasoning about plurals. This is true
because current knowledge representation languages do not provide well
suited representational means neither to describe sets, subsets, and
elements nor to deal with the respective relations or use them in
specially tailored inference systems.
On the other side, there exists (at least) one linguistic theory about
plurality in natural language, the General Quantifier Theory (GQT).
What we want to present in this paper is how we adopted this theory
into the already existing framework of the XTRA system. Our goal
therefor is to develop a well-grounded knowledge representation
formalism able to represent sets as well as to deal with them and
combine this representation formalism with a well-defined linguistic
theory.
The knowledge representation language SB-ONE+ integrates sets into the
KL-ONE like KR language SB-ONE. It realizes this by means of
regarding sets as epistemological primitives, thus allowing for both
an implementation of set-relevant properties (like reasoning about
subset-of and element-of relationships) in the system as well as a
description of sets as elements inside the TBox if relevant for the
domain under consideration. Taking SB-ONE+ as representational basis,
we show how some inte- resting results from GQT are implemented in the
XTRA system.
11:00am September 20
BIC Conference Room
Unisys Paoli Research Center
Route 252 and Central Ave.
Paoli PA 19311
-- non-Unisys visitors who are interested in attending should --
-- send email to finin@prc.unisys.com or call 215-648-7446 --
--
______________________________________________________________________________
Tim Finin finin@prc.unisys.com (internet)
Unisys Paoli Research Center ..!{psuvax1,sdcrdcf,cbmvax}!burdvax!finin (uucp)
PO Box 517 215-648-7446 (office), 215-386-1749 (home),