The Internet Reasoning Service (IRS) is a semantic web services
broker, developed in the Knowledge Media Institute of the Open
University.  IRS is implemented in Common Lisp.

IRS features include:

    - WSMO compatibility
    - Groundings to SOAP, XML-RPC, HTTP GET
    - Invokable through SOAP, HTTP GET
    - Service orchestration and choreography
    - Ontology-based service selection

Installation instructions can be found in the file ‘INSTALL’.