Что означает это утверждение RDF: «Класс может быть членом собственного расширения класса и может быть его экземпляром»?

Question

Кто-нибудь может объяснить это утверждение из документации RDF Schema 1.1 на интуитивном примере?

Класс может быть членом своего собственного расширения класса и может быть его экземпляром.

Answer 1

В словаре RDFS есть несколько примеров:

rdfs:Class  rdf:type  rdfs:Class .
rdfs:Resource  rdf:type  rdfs:Resource .

Это потому, что rdfs:Class является классом всех классов (поэтому это rdfs:Class), а rdfs:Resource являетсяресурс, потому что все является ресурсом в RDF, включая класс всех ресурсов.

В дополнение к этим двум стандартным примерам любой словарь RDFS может определять классы, которые являются его экземплярами.

my:classOfStuff  rdf:type  my:classOfStuff .