У статті наведено два приклади реалізації виводу в онтологічній базі знань. Один — із використанням SWRL-правил, другий — як систему з елементами обробки природної мови. Наведено опис створених фрагментів таксономічної ієрархії для предметної галузі (планіметрії). Як приклади використано прості задачі відкритого типу зі шкільного підручника з геометрії. Продемонстровані процедури є частиною рекомендаційної навчальної системи, яку розробляють на факультеті інформатики Національного університету "Києво-Могилянська академія".