Web Ontology Language - dit OWL - est un dialecte XML basé sur une syntaxe RDF. Il fournit les moyens pour définir des ontologies Web structurées.

Le langage OWL est basé sur la recherche effectuée dans le domaine de la logique de description. OWL peut être vu en quelque sorte comme un format de fichier pour certaines logiques de description. OWL permet de décrire des ontologies, c'est-à-dire qu'il permet de définir des terminologies pour décrire des domaines concrets. Une terminologie se constitue de concepts et de propriétés (aussi appelés rôles en logiques de description). Un domaine se compose d'instance de concepts.