跳转到内容

SHIOQ (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”

分类：

逻辑语言

隐藏分类：

自2012年11月缺少来源的条目