OWL (Web Ontology Language) est un langage informatique qui permet d'écrire des ontologies de manière formelle et standardisée. Grâce à OWL, les ordinateurs peuvent "lire" les relations entre concepts et en déduire automatiquement de nouvelles informations logiques.