He may be best known in the Computer Science community for developing OntoClean, the first methodology for formal ontological analysis, with his colleague Chris Welty.