Протеже 5: Как я могу сделать вывод о членстве человека в классе по его свойствам данных?

Я создал онтологию в Protégé 5, используя синтаксис OWL / XML. Я включил класс Cerveza и еще один класс Color среди других. В разделе Color у меня есть 3 подкласса: Claro (бледный), Medio (средний) и Oscuro (темный):

Я создал свойство данных под названием EBC ​​xsd: int, домен которого является классом Cerveza:

Поэтому я ввел ограничение для класса Claro, чтобы иметь максимум 12 степеней EBC:

Затем я создаю человека по имени kk и утверждаю свойство EBC = 10:

Я начал рассуждать Pellet, и он делает вывод, что, поскольку kk ​​имеет EBC, kk должен принадлежать к классу Cerveza. Но я ожидал, что каким-то образом сделаю вывод, что kk принадлежит к классу Color / Subclass Claro.

Что не так в этой конструкции?