В рамках детерминированных префиксных перезаписывающих систем вводятся и исследуются понятия, характерные для объектно-ориентированного подхода к организации данных: наследование классов и объектов, экземпляры классов, атрибуты классов и экземпляров, концептуальная зависимость и непротиворечивость, концептуальная схема, типы, подтипы и пр. Особое внимание уделяется эффективной проверке разнообразных свойств рассматриваемых систем.