java.lang.ClassCastException: aterm.pure.ATermListImpl cannot be cast to aterm.ATermAppl

Searched on Google with the first line of a JAVA stack trace?

We can recommend more relevant solutions and speed up debugging when you paste your entire stack trace with the exception message. Try a sample exception.

Recommended solutions based on your search

Solutions on the web

via Google Groups by Christian-D, 1 year ago
aterm.pure.ATermListImpl cannot be cast to aterm.ATermAppl
java.lang.ClassCastException: aterm.pure.ATermListImpl cannot be cast to aterm.ATermAppl
at com.clarkparsia.pellet.expressivity.DLExpressivityChecker$Visitor.visitAll(DLExpressivityChecker.java:202)
at org.mindswap.pellet.output.ATermBaseVisitor.visit(ATermBaseVisitor.java:79)
at com.clarkparsia.pellet.expressivity.DLExpressivityChecker.processIndividuals(DLExpressivityChecker.java:86)
at com.clarkparsia.pellet.expressivity.DLExpressivityChecker.compute(DLExpressivityChecker.java:58)
at com.clarkparsia.pellet.expressivity.ExpressivityChecker.prepare(ExpressivityChecker.java:56)
at org.mindswap.pellet.KnowledgeBase.prepare(KnowledgeBase.java:1820)
at org.mindswap.pellet.KnowledgeBase.consistency(KnowledgeBase.java:1969)
at org.mindswap.pellet.KnowledgeBase.isConsistent(KnowledgeBase.java:2061)
at org.mindswap.pellet.KnowledgeBase.ensureConsistency(KnowledgeBase.java:2075)
at org.mindswap.pellet.KnowledgeBase.classify(KnowledgeBase.java:2083)
at org.mindswap.pellet.KnowledgeBase.realize(KnowledgeBase.java:2111)
at org.mindswap.pellet.KnowledgeBase.getTypes(KnowledgeBase.java:3336)
at com.clarkparsia.pellet.owlapiv3.PelletReasoner.getTypes(PelletReasoner.java:820)

Users with the same issue

You are the first who have seen this exception.

Write tip

Know the solutions? Share your knowledge to help other developers to debug faster.