1

给定以下三元组，域和范围是联合还是交集还是其他？

<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。

4

1 回答 1

5

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

prdfs：域 C

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

apb

你可以推断

一个rdf：C型

所以，当你有

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

apb

你可以推断

a rdf:type C
a rdf:type D
a rdf:type 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

然后从

apb

你可以推断

a rdf：A 型
a rdf：B 型
a rdf：C 型

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

于 2017-03-14T20:17:34.527 回答