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は記述論理 S H O I N ( D ) {\displaystyle {\mathcal {SHOIN}}(D)} に基づいている。その部分集合であるOWL Liteはより表現力の小さい論理 S H I F ( D ) {\displaystyle {\mathcal {SHIF}}(D)} に基づいている。