Прежде чем приступить к более подробному обсуждению онтологии, необходимо высказать одно важное предостережение. Мы решили использовать логику первого порядка для обсуждения содержания и организации знаний. Но некоторые аспекты реального мира трудно представить в логике первого порядка. Основная сложность состоит в том, что почти все обобщения имеют исключения или соблюдаются только до определенной степени. Например, хотя правило "помидоры имеют красный цвет" является достаточно удобным, некоторые помидоры имеют зеленый, желтый или оранжевый цвет. Аналогичные исключения можно указать применительно почти ко всем общим утверждениям из этой главы. Способность учитывать исключения и неопределенность является чрезвычайно важной, но она ортогональна задаче понимания общей онтологии. По этой причине мы отложим обсуждение исключений до раздела 10.6, а более общей темы неопределенной информации — до главы 13.

Для чего может применяться верхняя онтология? Еще раз рассмотрим онтологию электронных схем, описанную в разделе 8.4. В ней принято большое количество упрощающих допущений. Например, полностью исключено понятие времени. Сигналы являются постоянными и не распространяются. Структура схемы остается неизменной. А если бы потребовалось сделать эту онтологию более общей, то нужно было бы учитывать, какие значения сигналы имеют в конкретные моменты времени, а также вводить данные о длине проводников и задержках распространения. Это позволило бы моделировать временныe свойства схемы, и такое моделирование действительно часто осуществляется проектировщиками схем. Кроме того, можно было бы ввести более широкий перечень интересующих классов электронных элементов, например, описывая технологию (ТТЛ, МОП, КМОП и т.д.), а также спецификацию ввода-вывода. Если же нам потребовалось бы обсуждать надежность или проводить диагностику, то необходимо было бы учесть возможность неконтролируемого изменения структуры схемы или свойств электронных элементов. Чтобы учесть паразитные емкости, нужно было бы перейти от чисто топологического представления связей к более реалистичному описанию геометрических свойств.