Ontify
Provides a logical standard to describe and computationally analyze phenotypic abnormalities found in human disease.