[Pellet-users] Incompatibility in Explainations with SWRL rules

[Zheng Li]

Hello!

I tryied to use Pellet to explain inferred axioms whose antecedent contains
SWRL rules. It turns out that whatever SWRL rules they take, exceptions will
be thrown. Any idea? Thanks for your help!

Exception in thread "main" java.lang.ArrayIndexOutOfBoundsException: 1
    at aterm.pure.ATermApplImpl.getArgument(ATermApplImpl.java:182)
    at aterm.pure.ATermApplImpl.equivalent(ATermApplImpl.java:79)
    at shared.SharedObjectFactory.build(SharedObjectFactory.java:247)
    at aterm.pure.PureFactory.makeAppl(PureFactory.java:191)
    at aterm.pure.PureFactory.makeAppl(PureFactory.java:185)
    at
org.mindswap.pellet.utils.ATermUtils.makeBuiltinAtom(ATermUtils.java:1468)
    at
com.clarkparsia.pellet.rules.RulesToATermTranslator.visit(RulesToATermTranslator.java:92)
    at
com.clarkparsia.pellet.rules.model.BuiltInAtom.accept(BuiltInAtom.java:46)
    at
com.clarkparsia.pellet.rules.RulesToATermTranslator.translate(RulesToATermTranslator.java:53)
    at
com.clarkparsia.pellet.rules.RulesToATermTranslator.visit(RulesToATermTranslator.java:74)
    at
com.clarkparsia.pellet.rules.RulesToATermTranslator.translate(RulesToATermTranslator.java:47)
    at
com.clarkparsia.pellet.rules.ContinuousRulesStrategy.complete(ContinuousRulesStrategy.java:263)
    at org.mindswap.pellet.ABox.isConsistent(ABox.java:1284)
    at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:568)
    at org.mindswap.pellet.ABox.isSatisfiable(ABox.java:533)
    at
org.mindswap.pellet.KnowledgeBase.isSatisfiable(KnowledgeBase.java:2456)
    at org.mindswap.pellet.owlapi.Reasoner.isSatisfiable(Reasoner.java:824)
    at
com.clarkparsia.explanation.GlassBoxExplanation.getPelletExplanation(GlassBoxExplanation.java:235)
    at
com.clarkparsia.explanation.GlassBoxExplanation.getExplanation(GlassBoxExplanation.java:206)
    at
com.clarkparsia.explanation.HSTExplanationGenerator.getExplanation(HSTExplanationGenerator.java:142)
    at
com.clarkparsia.explanation.PelletExplanation.getUnsatisfiableExplanation(PelletExplanation.java:157)
    at
com.clarkparsia.explanation.PelletExplanation.getEntailmentExplanation(PelletExplanation.java:91)
    at
com.clarkparsia.explanation.PelletExplanation.getInstanceExplanation(PelletExplanation.java:120)
    at Example8.main(Example8.java:120)
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.owldl.com/pipermail/pellet-users/attachments/20090316/23799b64/attachment.htm