Types RDFS：这个语句可以推断吗？

如果存在RDFS三元组：

shop:Zara        rdfs:subClassOf        shop:Clothes

shop:Zara        rdfs:subClassOf        shop:Clothes

请允许声明：

shop:Zara        rdf:type               shop:Clothes

shop:Zara        rdf:type               shop:Clothes

可以推断吗

如果存在RDFS三元组：

shop:Zara        rdfs:subClassOf        shop:Clothes

shop:Zara        rdfs:subClassOf        shop:Clothes

请允许声明：

shop:Zara        rdf:type               shop:Clothes

shop:Zara        rdf:type               shop:Clothes

可以推断吗

不考虑集合论中的类比：

（1） A&Subsetq；B

并不意味着

（2） A&in；B

（1） 表示A的每个元素也是B的元素。（2）表示A是B的元素

如果存在RDFS三元组：

shop:Zara        rdfs:subClassOf        shop:Clothes

shop:Zara        rdfs:subClassOf        shop:Clothes

请允许声明：

shop:Zara        rdf:type               shop:Clothes

shop:Zara        rdf:type               shop:Clothes

可以推断吗

不考虑集合论中的类比：

（1） A&Subsetq；B

并不意味着

（2） A&in；B

---

（1） 说A的每一个元素也是B的一个元素。（2）说A是B的一个元素。

我想扩展一下约书亚的答案：

以下声明

shop:Zara        rdfs:subClassOf        shop:Clothes

这意味着

shop:costs

和

shop:Zara

都属于

rdfs:Class

类型

用口语，你可能会说：

Zara商店是一家服装店

但你真正的意思是

任何Zara商店都是服装店

因此，在RDF中，从语句

shop:Zara        rdfs:subClassOf        shop:Clothes
example:shopXYZ  rdfs:type              shop:Zara

可以推断出以下情况：

example:shopXYZ  rdf:type               shop:Clothes

---

我想对约书亚的回答作一点补充：

以下声明

shop:Zara        rdfs:subClassOf        shop:Clothes

这意味着

shop:costs

和

shop:Zara

都属于

rdfs:Class

类型

用口语，你可能会说：

Zara商店是一家服装店

但你真正的意思是

任何Zara商店都是服装店

因此，在RDF中，从语句

shop:Zara        rdfs:subClassOf        shop:Clothes
example:shopXYZ  rdfs:type              shop:Zara

可以推断出以下情况：

example:shopXYZ  rdf:type               shop:Clothes