OWL 交集与并集

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

这意味着每当你有三重

亚伯

你可以推断

rdf:C型

所以，当你有

p rdfs:域 C
p rdfs:域 D
p rdfs:域 E

亚伯

你可以推断

rdf:类型 C
rdf:类型 D
rdf:类型 E

这是声明的效果

p rdfs:域 (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

然后从

亚伯

你将能够推断出

rdf:类型 A
rdf:类型 B
rdf:类型 C

b rdf:D 型
b rdf:E 型
b rdf:F 型