[Attempto] bug in latest AceWiki release?

[Kenneth Jones]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.ifi.uzh.ch/pipermail/attempto/attachments/20081025/c9112469/attachment.htm