Wikipedia
OntoClean
OntoClean is a methodology for analyzing ontologies based on formal, domain-independent properties of classes (the metaproperties) due to Nicola Guarino and Chris Welty.