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

Question

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

Если существует тройка RDFS:

shop:Zara        rdfs:subClassOf        shop:Clothes

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

shop:Zara        rdf:type               shop:Clothes

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

0

types rdf rdfs triplestore infer

Источник

user6937418 27 окт '16 в 00:29

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.

2

Источник

user1281433 27 окт '16 в 14:40

Другие вопросы по тегам types rdf rdfs triplestore infer

user391338 28 окт '16 в 06:22 2016-10-28 06:22 · Accepted Answer · 2016-10-28 06:22

Я хочу немного расширить ответ Джошуа:

Следующее утверждение

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