【发布时间】:2017-12-19 14:53:43
【问题描述】:
在 OWL 中有一个类是两个不同类的子类有什么问题吗?
【问题讨论】:
-
为什么会是一个“问题”?请注意,拥有两个超类与与交集的单个 subClassOf 关系相同。这正是 OWL 形式语义的定义。例如,
A SubClassOf B和A SubClassOf C等价于公理A SubClassOf (B and C)
在 OWL 中有一个类是两个不同类的子类有什么问题吗?
【问题讨论】:
A SubClassOf B 和 A SubClassOf C 等价于公理 A SubClassOf (B and C)
这正是 OWL 形式语义的定义。例如,A SubClassOf B 和 A SubClassOf C 等价于公理 A SubClassOf (B and C)
【讨论】: