онтологія повинна ефективно передавати значення введених термінів

концептуалізація, що лежить в основі створюваної онтології, має бути специфікована на рівні уявлення, а не символьного кодування

означає, що принаймні всі визначення мають бути логічно несуперечливі, а всі твердження, що виводяться в онтології, не повинні суперечити аксіомам

онтологія має бути спроектована так, щоб забезпечувати використання словників термінів, що розділяються, які допускають можливість монотонного розширення чи спеціалізації без необхідності ревізії вже наявних понять

онтологія повинна містити тільки найістотніші припущення про модельований світ, щоб залишати свободу розширення і спеціалізації

відсутність кореляції

смаки користувачів однакові

наявність кореляції

смаки користувачів протилежні

окремі бінарні зв’язки

множини, що містять об’єкти, котрі описують формально для точного подання їх членства в певному класі

бінарні зв’язки між екземплярами

бінарні зв’язки між об’єктами

окремі екземпляри предметної області

для визначення типової поведінки бізнес-операцій

жоден з варіантів не є вірним

для опису візиту в бакалійну крамницю

для реєстрації бізнес-операцій

для визначення типової поведінки покупців при купівлі у супермаркетах

Усолд

Грунінгер

Гуаріно

Усолд та Грунінгер

Гуаріно та Грунінгер

створення системи та експлуатація

послідовний та паралельний

первинний т вторинний

вибір релевантного оператора та виконання оператора

планування системи та її розроблення

прості та складні

первинні та вторинні

практичні і теоретичні

активні та пасивні

структурні та функціональні

програма, яка без доступу до даних, видає однакові рекомендації всім користувачам;

програма, якій не потрібен доступ до всіх даних користувача, залежно від того, якого типу рекомендації потрібно робити;

програми, яка є частиною основної системи, та не потребує значних ресурсів;

програма, якій потрібен доступ до всіх даних користувача, залежно від того, якого типу рекомендації потрібно робити.

це безліч транзакцій, де відсутній X.

це безліч транзакцій, де присутній X.

це безліч транзакцій, де присутні X та Y.

це безліч транзакцій, де відсутні X та Y.