Ralf Moeller: Building a Commercial OWL Reasoner with Lisp