OWL相交vs联合 [英] OWL intersection vs union

问题描述

给出以下三元组，则域和范围是并集，交集还是其他东西?

Given the following triples, are the domain and range a union or intersection or something else?

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

In other words, does the http://www.stackoverflow.com/questions/ask predicate have three domains, three ranges, and any domain-range pairing is valid can be inferred?

domain <的w3.org文档/a>和范围状态:

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

Where a property P has more than one rdfs:domain property, then the resources denoted by subjects of triples with predicate P are instances of all the classes stated by the rdfs:domain properties.

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

Where P has more than one rdfs:range property, then the resources denoted by the objects of triples with predicate P are instances of all the classes stated by the rdfs:range properties.

推荐答案

您可以将其视为交集，但这有点间接.当你有三胞胎

You can think of it as intersection, but it's a little bit indirect. When you have a triple

p rdfs:域C

p rdfs:domain C

这意味着只要您有三元组

it means that whenever you have a triple

a p b

a p b

您可以推断

rdf:type C

a rdf:type C

所以，当您拥有

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

p rdfs:domain C
p rdfs:domain D
p rdfs:domain E

a p b

您可以推断

rdf:type C
rdf:type D
rdf:type E

a rdf:type C
a rdf:type D
a rdf:type E

这是声明

p rdfs:domain(C⊓ D⊓ E)

p rdfs:domain (C ⊓ D ⊓ E)

类似地，从 p rdfs:range F 和 a p b ，我们可以推断出 b rdf:type F .

Similarly, from p rdfs:range F and a p b we can infer b rdf:type F.

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

That means that we can answer your final question:

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

In other words, does the http://www.stackoverflow.com/questions/ask predicate have three domains, three ranges, and any domain-range pairing is valid?

在这方面，

OWL并不是要指定什么是有效"，而是要指定可以从其他数据中推断出的内容.如果您有:

OWL isn't about specifying what's "valid" or not in this regard, it's about specifying what you can infer from other data. If you have:

p rdfs:域A
p rdfs:域B
p rdfs:域C

p rdfs:domain A
p rdfs:domain B
p rdfs:domain C

p rdfs:范围D
p rdfs:范围E
p rdfs:范围F

p rdfs:range D
p rdfs:range E
p rdfs:range F

然后来自

a p b

a p b

您将可以推断

rdf:type A
a rdf:type B
rdf:type C

a rdf:type A
a rdf:type B
a rdf:type C

b rdf:类型D
b rdf:type E
b rdf:type F

b rdf:type D
b rdf:type E
b rdf:type F

这篇关于OWL相交vs联合的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持IT屋！