RDFS：这个说法可以推断吗？

Question

如果存在 RDFS 三元组：

shop:Zara        rdfs:subClassOf        shop:Clothes

能否声明：

shop:Zara        rdf:type               shop:Clothes

可以推断吗？

Answer 1

If there exists an RDFS triple:
shop:Zara        rdfs:subClassOf        shop:Clothes
Can the statement:
shop:Zara        rdf:type               shop:Clothes
be inferred?

没有。考虑集合论中的类比：

(1) A ⊆ B

不代表

(2) A ∈ B

(1)表示A的每个元素也是B的元素。(2)表示A是B的元素。

Answer 2

我想扩展一下 Joshua 的回答：

下面的语句

shop:Zara        rdfs:subClassOf        shop:Clothes

意味着 shop:Clothes 和 shop:Zara 都是 rdfs:Class.

类型

在口语中，你可能会说：

A Zara store is a clothing store.

但你的实际意思是

Any store that is a Zara store is a clothing store.

所以在 RDF 中，从语句

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

可以推断如下：

example:shopXYZ  rdf:type               shop:Clothes

RDFS：这个说法可以推断吗？

RDFS: can this statement be inferred?

types

rdf

rdfs

triplestore