IRISdoc

I took the liberty to create a documentation for the IRIS Reasoner in its 0.5.7 version. More information in the corresponding blog entry. The sources and JavaDoc documentation provided here are not the original ones, but have been modified by me during the project. For the unmodified originals of v0.5.7 visit the IRIS project homepage.

Note:This is still ongoing work, the status information on the first page of the documentation gives information on the status.