热门问题

时间线

聊天

视角

SHIOQ (D)

是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式来自维基百科，自由的百科全书

Remove ads

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

此條目沒有列出任何參考或來源。 (2012年11月12日)

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

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

Loading related searches...

Wikiwand - on

Seamless Wikipedia browsing. On steroids.

Remove ads

Remove ads