pun in ontolingua KB

"Benjamin J. Kuipers" <kuipers@cs.utexas.edu>
From: "Benjamin J. Kuipers" <kuipers@cs.utexas.edu>
Date: Thu, 16 Jun 1994 15:19:28 -0500
Message-id: <199406162019.PAA02636@archimedes.cs.utexas.edu>
To: ontolingua@hpp.stanford.edu
Subject:  pun in ontolingua KB
cc: kuipers@cs.utexas.edu

While browsing in the automatically-generated network of Ontolingua
html files, I was reading the theory for Physical-Quantities, and
discovered that the pointer for "length" goes not to the
physical-dimension length, but to the length-of-list function and its
recursive definition.

By itself, this is a minor bug in the documentation, and easily
corrected, but ...

  Q: Does the bug in the automatically-generated documentation reflect
     a bug in the KB?

  Q: How can you check automatically for such bugs (a) in the
     documentation, and (b) in the KB itself?  It is at least plausible
     to me that this cannot be done automatically, although there may
     be heuristic signs of potential semantic incoherence.


Ben Kuipers