RDFS: может ли это утверждение быть выведено?

Question

Если существует ИССЫ тройные:

shop:Zara  rdfs:subClassOf  shop:Clothes 

Может утверждение:

shop:Zara  rdf:type    shop:Clothes 

будет выведенными?

Answer 1

Я хочу продлить немного на ответ Иешуа:

следующее заявление

shop:Zara  rdfs:subClassOf  shop:Clothes 

подразумевает, что оба shop:Clothes и shop:Zara имеют тип rdfs:class.

В colloqial языке, вы могли бы, вероятно, сказать:

Zara магазин магазин одежды.

но то, что вы на самом деле имеете в виду с что

Любой магазин, который является магазин Zara является магазин одежды.

Так что в RDF это правда, что от заявлений

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

можно сделать следующий вывод:

example:shopXYZ rdf:type    shop:Clothes 

Answer 2

Если существует ИСС тройную:

shop:Zara  rdfs:subClassOf  shop:Clothes 

Может утверждение:

shop:Zara  rdf:type    shop:Clothes 

быть выведенный?

Номер Рассмотрим аналогию в теории множеств:

(1) & subseteq; В

не означает

(2) ∈ В

(1) говорит, что каждый элемент из A также является элементом B. (2) говорит, что А является элементом В.