查看“︁SHIOQ (D)”︁的源代码

{{Unreferenced|time=2012-11-12T05:17:53+00:00}}

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

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

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

[[Category:邏輯語言]]