OWL, Web Ontology Language, é uma linguagem formal usada para definir e instanciar ontologias na Web. Baseado na Lógica de Descrição, o OWL adiciona recursos específicos da web à estrutura fundamental do DL, permitindo que ontologias sejam compartilhadas e reutilizadas em diferentes aplicações e comunidades.