如果存在RDFS三元组：
shop:Zara rdfs:subClassOf shop:Clothes
声明可以：
shop:Zara rdf:type shop:Clothes
推断？
答案 0 :(得分：2)
如果存在RDFS三元组：
shop:Zara rdfs:subClassOf shop:Clothes声明可以：
shop:Zara rdf:type shop:Clothes推断？
没有。考虑集理论中的类比：
（1）A⊆B
并不意味着
（2）A∈B
（1）说A的每个元素也是B的元素。（2）说A是B的元素。
答案 1 :(得分：1)
我想对约书亚的答案稍加一点：
以下陈述
shop:Zara rdfs:subClassOf shop:Clothes
表示shop:Clothes和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