跳至內容

SHIOQ (D)

維基百科,自由的百科全書

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

SHIOQ(D)中允許如下的語言構造符:

  • S = ALC+ 允許和傳遞屬性(Transitive Role)
  • H 屬性包含
  • I 逆屬性
  • O 概念
  • Q 基數限制
  • (D) 具體域屬性