This web site compiles information, documents, links, etc. relating to reasoning aspects of the semantic web.