[Attempto] acewiki installation

Tobias Kuhn t.kuhn at gmx.ch
Mon May 18 17:07:09 CEST 2009


Scott,

At least we have an error message now. However, I have no idea why this happens. The error occurs in 
the Pellet code and might be a Pellet bug.

Does this error also occur if you launch AceWiki with an empty ontology? (To launch with an empty 
ontology just change the "ontology" parameter in the web.xml file to something for which no folder 
exists in "data/".)


Tobias


Scott Laser wrote:
> Tobias,
> 
> After attempts to run the app on both XP and Vista failed, I tried Windows 2003 Enterprise.  The app finally opens; however, I am getting the below error:
> 
> May 18, 2009 10:27:37 AM org.apache.catalina.core.StandardWrapperValve invoke
> SEVERE: Servlet.service() for servlet TestWiki threw exception
> java.lang.RuntimeException: assertion failed.
> 	at org.mindswap.pellet.utils.ATermUtils.assertTrue(ATermUtils.java:697)
> 	at org.mindswap.pellet.Branch.<init>(Branch.java:74)
> 	at org.mindswap.pellet.GuessBranch.<init>(GuessBranch.java:26)
> 	at org.mindswap.pellet.CompletionStrategy.applyGuessingRule(CompletionStrategy.java:1600)
> 	at org.mindswap.pellet.CompletionStrategy.applyGuessingRule(CompletionStrategy.java:1510)
> 	at org.mindswap.pellet.SROIQStrategy.complete(SROIQStrategy.java:165)
> 	at org.mindswap.pellet.ABox.isConsistent(ABox.java:1615)
> 	at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:760)
> 	at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:725)
> 	at org.mindswap.pellet.KnowledgeBase.isSatisfiable(KnowledgeBase.java:2106)
> 	at org.mindswap.pellet.owlapi.Reasoner.isSatisfiable(Reasoner.java:1125)
> 	at ch.uzh.ifi.attempto.acewiki.core.ontology.Ontology.isSatisfiable(Unknown Source)
> 	at ch.uzh.ifi.attempto.acewiki.gui.page.ConceptPage$1$1.run(Unknown Source)
> 	at nextapp.echo2.app.ApplicationInstance.processQueuedTasks(ApplicationInstance.java:609)
> 	at nextapp.echo2.app.update.UpdateManager.processClientUpdates(UpdateManager.java:92)
> 	at nextapp.echo2.webcontainer.ContainerSynchronizeService.renderUpdate(ContainerSynchronizeService.java:472)
> 	at nextapp.echo2.webrender.service.SynchronizeService.service(SynchronizeService.java:279)
> 	at nextapp.echo2.webrender.WebRenderServlet.process(WebRenderServlet.java:273)
> 	at ch.uzh.ifi.attempto.acewiki.AceWikiServlet.process(Unknown Source)
> 	at nextapp.echo2.webrender.WebRenderServlet.doPost(WebRenderServlet.java:189)
> 	at javax.servlet.http.HttpServlet.service(HttpServlet.java:637)
> 	at javax.servlet.http.HttpServlet.service(HttpServlet.java:717)
> 	at org.apache.catalina.core.ApplicationFilterChain.internalDoFilter(ApplicationFilterChain.java:290)
> 	at org.apache.catalina.core.ApplicationFilterChain.doFilter(ApplicationFilterChain.java:206)
> 	at ch.uzh.ifi.attempto.echocomp.HeaderControlFilter.doFilter(Unknown Source)
> 	at org.apache.catalina.core.ApplicationFilterChain.internalDoFilter(ApplicationFilterChain.java:235)
> 	at org.apache.catalina.core.ApplicationFilterChain.doFilter(ApplicationFilterChain.java:206)
> 	at org.apache.catalina.core.StandardWrapperValve.invoke(StandardWrapperValve.java:233)
> 	at org.apache.catalina.core.StandardContextValve.invoke(StandardContextValve.java:191)
> 	at org.apache.catalina.core.StandardHostValve.invoke(StandardHostValve.java:128)
> 	at org.apache.catalina.valves.ErrorReportValve.invoke(ErrorReportValve.java:102)
> 	at org.apache.catalina.core.StandardEngineValve.invoke(StandardEngineValve.java:109)
> 	at org.apache.catalina.connector.CoyoteAdapter.service(CoyoteAdapter.java:286)
> 	at org.apache.coyote.http11.Http11Processor.process(Http11Processor.java:845)
> 	at org.apache.coyote.http11.Http11Protocol$Http11ConnectionHandler.process(Http11Protocol.java:583)
> 	at org.apache.tomcat.util.net.JIoEndpoint$Worker.run(JIoEndpoint.java:447)
> 	at java.lang.Thread.run(Unknown Source)
> 
> Thanks in advance for your help.
> 
> R/
> Scott Laser
> 
> 
>       
> _______________________________________________
> attempto mailing list
> attempto at lists.ifi.uzh.ch
> https://lists.ifi.uzh.ch/listinfo/attempto
> 


More information about the attempto mailing list