RE: pun in ontolingua KB

Message-id: <>
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"
Date: Mon, 20 Jun 1994 16:36:27 -0800
To: gruber@HPP.Stanford.EDU, "Benjamin J. Kuipers" <>
From: macgregor@ISI.EDU
Subject: RE: pun in ontolingua KB
Cc: <ontolingua@HPP.Stanford.EDU>,
Precedence: bulk
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.

- Bob

Robert M. MacGregor                           
USC/ISI, 4676 Admiralty Way, Marina del Rey, CA 90292      (310) 822-1511