RE: pun in ontolingua KBmacgregor@ISI.EDU
Content-Type: text/plain; charset="us-ascii"
Date: Mon, 20 Jun 1994 16:36:27 -0800
To: gruber@HPP.Stanford.EDU, "Benjamin J. Kuipers" <email@example.com>
Subject: RE: pun in ontolingua KB
Cc: <ontolingua@HPP.Stanford.EDU>, firstname.lastname@example.org
Regarding Tom Gruber's recent note:
> This is the nature of a flat namespace and a context-free syntax.
> I think this gets at a deep issue for knowledge sharing.
Tom is mixing two different issues. One issue contrasts the crispness
of formal semantics with the relative lack thereof in natural language.
The other issue highlights the simplicity that results when one's
KR formalism lacks a context facility (i.e., has a flat namespace).
In the context of knowledge sharing, I would say that having a formal
semantics is a feature, while not having a context mechanism is a bug.
Robert M. MacGregor email@example.com
USC/ISI, 4676 Admiralty Way, Marina del Rey, CA 90292 (310) 822-1511