This is an archive of an inactive wiki and cannot be modified.
http://sourceforge.net/projects/iris-reasoner/