SHIOQ_(D)

SHIOQ ( D ) 是一種描述邏輯語言 。 OWL 1.0 Web本體語言是SHOIQ ( D ) 的一種語法形式 。 SHIOQ （ D ） 中允許如下的語言構造符 ： S = ALC + 允許和傳遞屬性 （ Transitive Role ） H 屬性包含 I 逆屬性 O 概念 Q 基數限制 ( D ) 具體域屬性 Category: 邏輯語言