RE: Problems with Onntolingua, on-line KSL Services

James Rice <rice@HPP.Stanford.EDU>

Mail folder: Ontolingua Mail
Next message: Mike Uschold: "Role Classes -- e.g. Resource, Teacher"
Previous message: Adam Farquhar: "Re: Problems with Onntolingua, on-line KSL Services"
In-reply-to: Joaquin.A.Delgado: "Problems with Onntolingua, on-line KSL Services"

Date: Tue, 25 Jul 1995 11:35:29 -0700 (PDT)
From: James Rice <rice@HPP.Stanford.EDU>
Sender: rice@HPP.Stanford.EDU
Reply-To: rice@HPP.Stanford.EDU
Subject: RE: Problems with Onntolingua, on-line KSL Services
To: ontolingua@hpp.stanford.edu
In-reply-to: Joaquin.A.Delgado's message of Tue, 25 Jul 95 17:21:26 JST: <9507250821.AA02589@cs25.atr-sw.atr.co.jp>
Message-id: <XLView.806697884.8321.rice@hpp-ss10-1>
MIME-Version: 1.0
Content-Type: TEXT/PLAIN; CHARSET=US-ASCII

>> I've had serious problems when trying to define an axiom of 
>> a unary relation over a class. 
[....]

For the record, since this bug report went out to the whole
Ontolingua mailing list, this was a bug in the ontology loader
that is now fixed.

Embarassing that is is to have bugs, I have to admit that
I'm rather pleased that a) we were able to figure it out
from the mail we got and patch it without any interruption to
service.  No other users were inconvenienced by the bug.  The
fact that Joaquin Delgado, who kindly found the bug was working
from Japan is also rather a good sign that we're doing pretty well.




Rice.  > 330,000 requests and still going strong.  If you haven't
       checked out http://www-ksl-svc.stanford.edu:5915/
       shame on you.