SHIOQ (D)

来自testwiki
imported>暁月凛奈2022年10月11日 (二) 15:18的版本 （使用DisamAssist清理消歧义链接：OWL（链接至网络本体语言）。）
(差异) ←上一版本 | 最后版本 (差异) | 下一版本→ (差异)
跳转到导航 跳转到搜索

Template:Unreferenced

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

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

  • S = ALC+ 允许¬,⊓,⊔,∃,∀和传递属性（Transitive Role）
  • H 属性包含
  • I 逆属性
  • O 概念
  • Q 基数限制
  • (D) 具体域属性
检索自“https://zh.wiki.beta.math.wmflabs.org/w/index.php?title=SHIOQ_(D)&oldid=2811”