pun in ontolingua KB"Benjamin J. Kuipers" <firstname.lastname@example.org>
From: "Benjamin J. Kuipers" <email@example.com>
Date: Thu, 16 Jun 1994 15:19:28 -0500
Subject: pun in ontolingua KB
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
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.