Ah, that's probably the problem.  I will try your suggestion.  Consider the problem solved unless you hear back from me to the contrary. -- Ken <div class="gmail_quote">On Sun, Oct 26, 2008 at 6:50 AM, Tobias Kuhn <t.kuhn@gmx.ch> wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">Hi Ken, I cannot reproduce this. Which version of APE are you using? The latest AceWiki needs the latest APE which is ape-6.0-081023. But I think that's not the problem here. The problem could be that you link to a libjpl library (through the Java VM argument) that has a different SWI Prolog version than has been used to compile APE. So, make sure that you are using libjpl and jpl.jar of the same SWI Prolog version that you use to compile APE. I hope that helps. Tobias Kenneth Jones wrote: <blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;"><div><div></div><div class="Wj3C7c"> In the latest release of AceWiki (081023), but NOT in version 081008: Start with an empty knowledge base and add the verbs "precedes" and "immediately precedes", then add the sentence "If X immediately precedes Y and Y immediately precedes Z then X precedes Z.".  AceWiki aborts with the following stack trace: Oct 25, 2008 2:58:22 PM org.mindswap.pellet.ABox isConsistent INFO: Consistent: true Tree depth: 1 Tree size: 1 Time: 47 Exception in thread "Thread-16" java.lang.UnsatisfiedLinkError: open_foreign_frame    at jpl.fli.Prolog.open_foreign_frame(Native Method)    at jpl.Query.open(Query.java:318)    at jpl.Util.textToTerm(Util.java:162)    at jpl.Query.<init>(Query.java:198)    at ch.uzh.ifi.attempto.ape.APELocal.clearMessages(APELocal.java:173)    at ch.uzh.ifi.attempto.ape.APELocal.getMultiOutput(APELocal.java:115)    at ch.uzh.ifi.attempto.acewiki.core.ontology.Sentence.parse(Sentence.java:321)    at ch.uzh.ifi.attempto.acewiki.core.ontology.Sentence.isReasonerParticipant(Sentence.java:213)    at ch.uzh.ifi.attempto.acewiki.core.ontology.Ontology.commitSentence(Ontology.java:445)    at ch.uzh.ifi.attempto.acewiki.core.ontology.OntologyElement.add(OntologyElement.java:282)    at ch.uzh.ifi.attempto.acewiki.gui.editor.SentenceEditorHandler$1.run(SentenceEditorHandler.java:115)    at ch.uzh.ifi.attempto.acewiki.Wiki$2.run(Wiki.java:493) -- Ken </div></div> ------------------------------------------------------------------------ _______________________________________________ attempto mailing list <a href="mailto:attempto@ifi.uzh.ch" target="_blank">attempto@ifi.uzh.ch</a> <a href="https://mail.ifi.uzh.ch/mailman/listinfo/attempto" target="_blank">https://mail.ifi.uzh.ch/mailman/listinfo/attempto</a> </blockquote> </blockquote></div>