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は記述論理formula_1に基づいている。その部分集合であるOWL Liteはより表現力の小さい論理formula_2に基づいている。