The Internet Reasoning Service - IRS - is a Semantic Web Services framework, which allows applications to semantically describe and execute Web services.
In the context of this project led by the Knowledge Media Institute, I created a Lisp-based ontology browsing tool.