SHIOQ (D)

是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式

此條目没有列出任何参考或来源。 (2012年11月12日)
維基百科所有的內容都應該可供查證。请协助補充可靠来源以改善这篇条目。无法查证的內容可能會因為異議提出而被移除。

SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。

SHIOQ（D）中允许如下的语言构造符：

S = ALC+ 允许 $\neg ,\sqcap ,\sqcup ,\exists ,\forall$ 和传递属性（Transitive Role）
H 属性包含
I 逆属性
O 概念
Q 基数限制
(D) 具体域属性

检索自“https://zh.wikipedia.org/w/index.php?title=SHIOQ_(D)&oldid=74046058”