Что означает это утверждение 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 .