всю можливу інформацію про предметної області: вам не потрібно конкретизувати або узагальнювати більше, ніж вам потрібно для вашої програми (не більше 1 додаткового рівня в кожну сторону). p> Для нашого прикладу з вином та їжею нам непотрібен знати, з якої папери робляться етикетки, або як готуються страви з креветок. p> Також онтологія не повинна містити всі можливі властивості класів та відмінності між класами в ієрархії. p> У нашу онтологію ми, природно, не включаємо всі властивості, які могли б мати вино або їжа. У нашій онтології ми представили самі значущі властивості класів елементів. Навіть незважаючи на те, що в книгах з винам можна дізнатися про розмір виноградин, ми не включили цю інформацію. Так само, в нашу систему ми не включили всі можливі відносини між усіма термінами. До Наприклад, ми не включаємо в онтологію такі відносини, як улюблене вино або улюблена їжа, просто для того, щоб зробити більш повне уявлення про всі взаємозв'язках між певними нами термінами повнішим. p> Останні правила також застосовні для встановлення відносин між поняттями, які ми вже включили в онтологію. Розглянемо онтологію, що описує біологічні експерименти. Ця онтологія, ймовірно, буде містити поняття Біологічні організми. Вона також буде містити поняття Експериментатор (що включає ім'я, місце роботи і т.д.), який проводить експеримент. Вірно те, що експериментатор як людина також є біологічним організмом. Тим не менш, ми, напевно, не повинні відображати цю особливість в онтології: з метою цього подання експериментатор є біологічним організмом, і ми, напевно, ніколи не будемо проводити експерименти на самих експериментаторів. Якби в онтології ми робили уявлення всього того, що ми можемо сказати про класи, то Експериментатор б став підкласом класу Біологічний організм. Однак немає необхідності включати це знання для можливих додатків. Фактично, включення цієї додаткової класифікації існуючих класів справді заважає: тепер у примірника Експериментатора будуть слоти для ваги, віку, виду та інших даних, які відносяться до біологічного організму, але абсолютно недоречні в контексті опису експерименту. Тим не менш, для користувачів, які будуть мати справу з цією онтологією і які можуть не знати про задуманий нами додатку, нам потрібно відобразити це проектне рішення в документації.
4.8. Диз'юнктивні підкласи
Багато системи дозволяють нам явним чином задати, що кілька класів є диз'юнктивними. Класи диз'юнктивні, якщо у них не може бути спільних примірників. Наприклад, у нашій онтології класи Десертне вино та Біле вино не є диз'юнктивними: існує безліч вин, що виявляють екземплярами обох класів. Одним з таких прикладів є Rothermel Trochenbierenauslese Riesling, екземпляр класу Солодке Riesling. У той Водночас, класи Червоне вино і Біле вино диз'юнктивного: жодне вино не може бути одночасно і білим, і червоним. Визначення класів як діз'юнктівних дозволяє системі краще перевіряти правильність...
