Web Ontology Language(OWL)はインターネット上に存在するオントロジーを用いてデータ交換を行うためのデータ記述言語。OWLはRDFの語彙拡張であり、+に由来している。OWLはRDFなどの他の構成要素とともにセマンティック・ウェブのツール群として位置づけられる。 現在、OWLはOWL Lite、OWL DL、OWL Fullの3つの記法がある。この3つはそれぞれ特徴があり、OWL Lite、OWL DL、OWL Fullの順で平易になっている。 OWL DLはに基づいている。その部分集合であるはより表現力の小さい論理に基づいている。