На рис. окно редактора Protégé. Истинными для данного описания являются высказывания
- Берта мать Дружка
- Берта является Карликовой собакой
- Дружок является Карликовой собакой
- Лора имеет мать Берту
- Лора имеет щенка Дружок
К сожалению, у нас пока нет статистики ответов на данный вопрос,
но мы работаем над этим.