首頁
隨機
附近
登入
設定
資助維基百科
關於維基百科
免責聲明
搜尋
SHIOQ (D)
是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式
語言
監視
編輯
此條目
沒有列出任何
參考或來源
。
(
2012年11月12日
)
維基百科所有的內容都應該
可供查證
。請協助補充
可靠來源
以
改善這篇條目
。無法查證的內容可能會因為異議提出而被移除。
SHIOQ (D)
是一種
描述邏輯
語言。
OWL
1.0
Web本體語言
是SHOIQ(D)的一種語法形式。
SHIOQ(D)中允許如下的語言構造符:
S =
ALC
+ 允許
¬
,
⊓
,
⊔
,
∃
,
∀
{\displaystyle \neg ,\sqcap ,\sqcup ,\exists ,\forall }
和傳遞屬性(Transitive Role)
H 屬性包含
I 逆屬性
O 概念
Q 基數限制
(D)
具體域
屬性