OWL

Web Ontology Language（OWL）はインターネット上に存在するオントロジーを用いてデータ交換を行うためのデータ記述言語。OWLはRDFの語彙拡張であり、DAML+OILに由来している。OWLはRDFなどの他の構成要素とともにセマンティック・ウェブのツール群として位置づけられる。

現在、OWLはOWL Lite、OWL DL、OWL Fullの3つの記法がある。この3つはそれぞれ特徴があり、OWL Lite、OWL DL、OWL Fullの順で平易になっている。

OWL DLは記述論理${\displaystyle {\mathcal {SHOIN}}(D)}$に基づいている。その部分集合であるOWL Liteはより表現力の小さい論理${\displaystyle {\mathcal {SHIF}}(D)}$に基づいている。