SHIOQ (D)

SHIOQ (D)是一種描述邏輯語言。OWL 1.0Web本體語言是SHOIQ(D)的一種語法形式。

SHIOQ（D）中允許如下的語言構造符：

• S = ALC+ 允許$\neg ,\sqcap ,\sqcup ,\exists ,\forall$和傳遞屬性（Transitive Role）
• H 屬性包含
• I 逆屬性
• O 概念
• Q 基數限制
• (D) 具體域屬性