Pat,
Many thanks for the bug report. I'll try to replicate and fix it. (01)
First order inference is not guaranteed to reach an answer, even if one
exists within a given knowledge base. So, queries can fail to
return. However, the time limit should cause the system to return "no" as
an answer, rather than fail to return. If you can replicate that problem,
and send me the query you used, that would be very helpful.
Sigma inference should perform similarly remotely or locally, since the
inference time dominates any network delays. Browsing would probably be a
little snappier with a local installation.
Keep in mind that Sigma is very much preliminary code that I'm just
starting to distribute, so unfortunately, we have to expect some
bugs. Also, if people can put up with bugs, it should still be useful, if
frustrating at times. Your bug reports will hopefully allow the system to
mature quickly. Thanks for your feedback, and patience. (02)
Adam (03)
At 02:37 PM 2/17/2004 -0500, Patrick Cassidy wrote:
>Adam -
> Thanks for providing the on-line Sigma program. The display
>of term data is very useful.
> I have started trying the Sigma query function on the on-line server.
>Some queries work properly, some give null unexpectedly and
>some give error reports. An instance of the latter is appended
>below. Another query, a very simple
>one, just froze and never got an answer after hours.
>If you have no interest in seeing such results, let
>me know. Otherwise i will try some additional testing.
> What I don't know yet is whether the performance of
>the SIGMA on the web is likely to be different from
>what it would be installed locally. I have been rather
>occupied with other efforts and haven't had time
>to try a local installation.
>
> Pat
>
>============================
>Adam Pease wrote:
>
>>Folks,
>> I've upgraded Sigma on Peter's machines. It looks like we had some
>> problems with files being deleted inadvertently, so I've added a login
>> screen that results in strictly read-only functionality for Sigma.
>>Hopefully, this should result in a greater amount of up-time for the
>>software. Keep in mind though, Sigma is very much in "Alpha" stage, and
>>I don't warranty that it's stable yet.
>> You can log in at <http://sigma2.cim3.net:8080/sigma/login.html> with
>>u: user
>>p: user
>>Adam
>--
>=============================================
>Patrick Cassidy
>
>MICRA, Inc. || (908) 561-3416
>735 Belvidere Ave. || (908) 668-5252 (if no answer)
>Plainfield, NJ 07062-2054 || (908) 668-5904 (fax)
>
>internet: cassidy@xxxxxxxxx
>=============================================
>
>
>Query:
>-------------------------------
>(and
> (instance ?X Planet)
> (orbits ?X Sol))
>----------------------------------
>Error report:
>----
>
>type Exception report
>
>message Internal Server Error
>
>description The server encountered an internal error (Internal Server
>Error) that prevented it from fulfilling this request.
>
>exception
>
>java.lang.IndexOutOfBoundsException: Index: 0, Size: 0
> at java.util.ArrayList.RangeCheck(ArrayList.java:508)
> at java.util.ArrayList.get(ArrayList.java:320)
> at
> com.articulate.sigma.ProofProcessor.numAnswers(ProofProcessor.java:172)
> at
> com.articulate.sigma.HTMLformatter.formatProofResult(HTMLformatter.java:139)
> at org.apache.jsp.AskTell$jsp._jspService(AskTell$jsp.java:275)
> at
> org.apache.jasper.runtime.HttpJspBase.service(HttpJspBase.java:107)
> at javax.servlet.http.HttpServlet.service(HttpServlet.java:853)
> at
>
>org.apache.jasper.servlet.JspServlet$JspServletWrapper.service(JspServlet.java:201)
> at
> org.apache.jasper.servlet.JspServlet.serviceJspFile(JspServlet.java:381)
> at org.apache.jasper.servlet.JspServlet.service(JspServlet.java:473)
> at javax.servlet.http.HttpServlet.service(HttpServlet.java:853)
> at
>
>org.apache.catalina.core.ApplicationFilterChain.internalDoFilter(ApplicationFilterChain.java:247)
> at
>
>org.apache.catalina.core.ApplicationFilterChain.doFilter(ApplicationFilterChain.java:193)
> at
>
>org.apache.catalina.core.StandardWrapperValve.invoke(StandardWrapperValve.java:243)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:566)
> at
> org.apache.catalina.core.StandardPipeline.invoke(StandardPipeline.java:472)
> at
> org.apache.catalina.core.ContainerBase.invoke(ContainerBase.java:943)
> at
>
>org.apache.catalina.core.StandardContextValve.invoke(StandardContextValve.java:190)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:566)
> at
>
>org.apache.catalina.valves.CertificatesValve.invoke(CertificatesValve.java:246)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:564)
> at
> org.apache.catalina.core.StandardPipeline.invoke(StandardPipeline.java:472)
> at
> org.apache.catalina.core.ContainerBase.invoke(ContainerBase.java:943)
> at
> org.apache.catalina.core.StandardContext.invoke(StandardContext.java:2347)
> at
> org.apache.catalina.core.StandardHostValve.invoke(StandardHostValve.java:180)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:566)
> at
>
>org.apache.catalina.valves.ErrorDispatcherValve.invoke(ErrorDispatcherValve.java:170)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:564)
> at
> org.apache.catalina.valves.ErrorReportValve.invoke(ErrorReportValve.java:170)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:564)
> at
> org.apache.catalina.valves.AccessLogValve.invoke(AccessLogValve.java:468)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:564)
> at
> org.apache.catalina.core.StandardPipeline.invoke(StandardPipeline.java:472)
> at
> org.apache.catalina.core.ContainerBase.invoke(ContainerBase.java:943)
> at
>
>org.apache.catalina.core.StandardEngineValve.invoke(StandardEngineValve.java:174)
> at
>
>org.apache.catalina.core.StandardPipeline.invokeNext(StandardPipeline.java:566)
> at
> org.apache.catalina.core.StandardPipeline.invoke(StandardPipeline.java:472)
> at
> org.apache.catalina.core.ContainerBase.invoke(ContainerBase.java:943)
> at
>
>org.apache.catalina.connector.http.HttpProcessor.process(HttpProcessor.java:1027)
> at
> org.apache.catalina.connector.http.HttpProcessor.run(HttpProcessor.java:1125)
> at java.lang.Thread.run(Thread.java:536)
>
>
>_________________________________________________________________
>Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
>Subscribe/Unsubscribe/Config:
>http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
>Shared Files: http://ontolog.cim3.net/file/
>Community Wiki: http://ontolog.cim3.net/wiki/ To Post:
>mailto:ontolog-forum@xxxxxxxxxxxxxxxx (04)
_________________________________________________________________
Message Archives: http://ontolog.cim3.net/forum/ontolog-forum/
Subscribe/Unsubscribe/Config:
http://ontolog.cim3.net/mailman/listinfo/ontolog-forum/
Shared Files: http://ontolog.cim3.net/file/
Community Wiki: http://ontolog.cim3.net/wiki/
To Post: mailto:ontolog-forum@xxxxxxxxxxxxxxxx (05)
|