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

Bijan Parsia bijan at clarkparsia.com
Fri May 9 09:04:36 UTC 2008


On Friday, May 9, 2008 1:38am, zym0525 at mail.ustc.edu.cn said:

> 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.

Google is your friend. Google before email is a good rule!

http://lists.owldl.com/pipermail/pellet-users/2007-August/001848.html

from:

  http://www.google.com/search?q=aterm.jar

Cheers,
Bijan.



More information about the Pellet-users mailing list