Die
Web Ontology Language (kurz
OWL) ist eine Spezifikation des
World Wide Web Consortiums (W3C), um
Ontologien anhand einer formalen Beschreibungssprache erstellen, publizieren und verteilen zu können. Es geht darum, Termini einer
Domäne und deren Beziehungen formal so zu beschreiben, dass auch Software (z. B.
Agenten) die Bedeutung verarbeiten („verstehen“) kann. OWL ist somit ein wesentlicher Bestandteil der
Semantic-Web-Initiative von
Tim Berners-Lee. OWL basiert technisch auf der
RDF-
Syntax und historisch auf
DAML+OIL und geht dabei über die Ausdrucksmächtigkeit von
RDF-Schema weit hinaus. Zusätzlich zu RDF und RDF-Schema werden weitere Sprachkonstrukte eingeführt, die es erlauben, Ausdrücke ähnlich der
Prädikatenlogik zu formulieren.