首页
随机
附近
登录
设置
资助维基百科
关于维基百科
免责声明
搜索
SHIOQ (D)
是一种描述逻辑语言。OWL 1.0Web本体语言是SHOIQ(D)的一种语法形式
语言
监视
此條目
没有列出任何
参考或来源
。
(
2012年11月12日
)
維基百科所有的內容都應該
可供查證
。请协助補充
可靠来源
以
改善这篇条目
。无法查证的內容可能會因為異議提出而被移除。
SHIOQ (D)
是一种
描述逻辑
语言。
OWL
1.0
Web本体语言
是SHOIQ(D)的一种语法形式。
SHIOQ(D)中允许如下的语言构造符:
S =
ALC
+ 允许
¬
,
⊓
,
⊔
,
∃
,
∀
{\displaystyle \neg ,\sqcap ,\sqcup ,\exists ,\forall }
和传递属性(Transitive Role)
H 属性包含
I 逆属性
O 概念
Q 基数限制
(D)
具体域
属性