SHIOQ (D)：修订间差异

来自testwiki

跳转到导航跳转到搜索

2022年10月11日 (二) 15:18的最新版本

Template:Unreferenced

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

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

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

检索自“https://zh.wiki.beta.math.wmflabs.org/w/index.php?title=SHIOQ_(D)&oldid=2811”

分类：

邏輯語言