如果存在RDFS三元组：
shop:Zara rdfs:subClassOf shop:Clothes
声明可以：
shop:Zara rdf:type shop:Clothes
推断？
我想对约书亚的答案稍微说一下：
以下声明
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
如果存在RDFS三元组：
shop:Zara rdfs:subClassOf shop:Clothes声明可以：
shop:Zara rdf:type shop:Clothes推断？
不。考虑集合论中的类比：
（1）A＆subseteq;乙
并不意味着
（2）A＆in;乙
（1）说A的每个元素也是B的元素。（2）说A是B的元素。