[Pellet-users] i want to use aterm.jar

[zym0525 at mail.ustc.edu.cn]

hello everyone:
    about aterm.jar is there any References about it?
    and  where it's source code ?
    i want to make some research on an Analysis of axioms.
thank you.