Класс RDFS определяется как набор его экземпляров. Рассмотрим класс абстрактных идей . Члены & ndash; экземпляры & ndash; в этот набор входят любовь, честь, долг, пи, эволюция и т. д. Эта точка зрения на класс является математическим понятием, поэтому набор абстрактных идей является одновременно идеей и довольно абстрактным, поэтому он сам по себе экземпляр или член класса абстрактные идеи . Более прозаично, если класс является набором вещей, то RDFS-классы оба обозначают наборы вещей и сами являются экземплярами набора всех классов , или rdfs:Class
.
Я думаю, что практическая истина заключается в том, что в практическом моделировании RDFS редко возникает необходимость использовать возможности класса, являющегося экземпляром самого себя. Я бы сказал, что это скорее следствие математического определения семантики RDFS. Точно так же подклассом класса является любой набор, который является неправильным подмножеством набора, обозначенного суперклассом, что означает, что каждый класс является подклассом сам по себе. Для этого есть веские математические причины, но часто это удивляет новичков, которые смотрят на подклассы данного класса, как они определены мыслителем, и смущаются, что рефлексивный падеж включен.