Web Ontology Language
He is considered by some to be the godfather of Description Logic, the logic-based knowledge representation formalism underlying the Web Ontology Language OWL.]