SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。
SHIOQ（D）中允许如下的语言构造符：
- S = ALC+ 允许\neg, \sqcap, \sqcup, \exists, \forall和传递属性（Transitive Role）
- H 属性包含
- I 逆属性
- O 概念
- Q 基数限制
- (D) 具体域属性
SHIOQ (D)是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式。
SHIOQ（D）中允许如下的语言构造符：
评论 (0)