Question

鉴于以下三元组，域和范围是联合或交集或其他什么？

<http://www.stackoverflow.com/questions/ask> rdfs:domain <http://stackoverflow.com/questions/tagged/rdf> .
<http://www.stackoverflow.com/questions/ask> rdfs:domain <http://stackoverflow.com/questions/tagged/owl> .
<http://www.stackoverflow.com/questions/ask> rdfs:domain <https://www.w3.org/TR/owl-ref/#Boolean> .
<http://www.stackoverflow.com/questions/ask> rdfs:range <http://stackoverflow.com/questions/tagged/rdf> .
<http://www.stackoverflow.com/questions/ask> rdfs:range <http://stackoverflow.com/questions/tagged/owl> .
<http://www.stackoverflow.com/questions/ask> rdfs:range <https://www.w3.org/TR/owl-ref/#Boolean> .

换句话说，http://www.stackoverflow.com/questions/ask谓词是否有三个域，三个范围，并且任何域范围配对~~是否有效~~ 可以推断？

修改：domain和range州的w3.org文档：

如果属性P具有多个rdfs:domain属性，则具有谓词P的三元组主体表示的资源是rdfs:domain属性所声明的所有类的实例。

如果P具有多个rdfs:range属性，则具有谓词P的三元组对象所表示的资源是rdfs:range属性所声明的所有类的实例。

Answer 1

您可以将其视为交集，但它有点间接。当你有三倍

p rdfs：domain C

这意味着每当你有一个三重

a p b

你可以推断那个

一个rdf：类型C

所以，当你有

时

p rdfs：domain C
  p rdfs：域D
  p rdfs：domain E

a p b

你可以推断

一个rdf：类型C
  一个rdf：类型D
  一个rdf：输入E

这是声明

的效果

p rdfs：domain（C⊓D⊓E）

同样，从 p rdfs：范围F 和 a p b ，我们可以推断 b rdf：输入F 。

这意味着我们可以回答您的最终问题：

换句话说，http://www.stackoverflow.com/questions/ask谓词是否有三个域，三个范围，并且任何域范围配对都有效？

OWL不是要在这方面指定什么是“有效”，而是指定可以从其他数据中推断出什么。如果你有：

p rdfs：域A
  p rdfs：域B
  p rdfs：domain C

p rdfs：范围D
  p rdfs：范围E
  p rdfs：范围F

然后从

a p b

你可以推断

一个rdf：类型A
  一个rdf：类型B
  一个rdf：类型C

b rdf：输入D
  b rdf：E型   b rdf：输入F

OWL交叉口vs联盟

1 个答案: