猫头鹰相交与联盟

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谓词是否具有三个域，三个范围，并且可以推断出任何有效的域范围配对吗？

---

编辑：用于域和范围状态的w3.org文档：

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

其中，P有一个以上rdfs:range属性，然后通过三元与谓词p对象表示的资源是由规定的所有类的实例rdfs:range性能。

Answer 1

您可以将其视为交集，但这是间接的。 当你有一个三重

p rdfs：域C

这意味着只要您有三倍

apb

你可以推断出

rdf：type C

所以，当你有

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

apb

你可以推断

rdf：type C
rdf：类型D
rdf：type E

这是声明的结果

p rdfs：domain（C⊓D⊓E）

同样，从p rdfs：range F和apb我们可以推断b rdf：type F。

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

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

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

p rdfs：域A
p rdfs：网域B
p rdfs：域C

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

然后从

apb

您将能够推断

rdf：type A
rdf：B型
rdf：type C

b rdf：类型D
b rdf：类型E
b rdf：F型