Каждый выделенный нами в процессе декомпозиции объект мы будем называть индивидуальным объектом, или индивидом – это термин из стандарта OWL, с которым мы познакомимся далее

Каждый выделенный нами в процессе декомпозиции объект мы будем называть индивидуальным объектом, или индивидом – это термин из стандарта OWL, с которым мы познакомимся далее.

Чтобы выразить сведения об объектах, которые позволят делать логические выводы на основании нашей модели, констатации существования самих объектов недостаточно. В модели будут присутствовать элементы как минимум трех других видов – различные виды группировки объектов, описания их свойств и связей. Подробно мы их обсудим далее, пока лишь констатируем, что целостная концептуальная модель, построенная по рассматриваемой нами методологии, будет содержать сущности таких типов:

• - Индивидуальные (конкретные) объекты;
• - Определения классов (групп) объектов;
• - Определения статических атрибутов объектов;
• - Определения связей между объектами.

Перечисленные виды сущностей описывают «терминологию» модели. Их описание можно уподобить заданию структуры информации в реляционной базе данных. В онтологическом моделировании эта часть модели называется TBox – от английского Terminology Box, набор терминов.

В модели, решающей конкретные практические задачи, будут также содержаться значения конкретных свойств для конкретных индивидуальных объектов, конкретные связи между ними. Эта часть модели описывает конкретные факты и называется ABox – от Assertion Box, набор утверждений. Третьей частью полной онтологической модели может быть набор правил получения логических выводов.

2.4. Идентификация объектов

2.4. Идентификация объектов

Второй шаг в построении концептуальной модели назовем идентификацией объектов. Для того, чтобы думать о каком-то предмете, мы должны его идентифицировать, то есть однозначно обозначить. В общественной жизни идентификаторами служат имена людей, в географии – названия городов и стран, и так далее. Мы не можем осознать процесса идентификации безымянных объектов, таких, как собака и люди на нашей картинке, но, несомненно, в нашем мозгу эти идентификаторы существуют – просто этот процесс является для нас слишком «низкоуровневым» и не поддающимся осмыслению. Итак, первый шаг в составлении модели любой области реальности состоит в ее разделении на объекты, а второй – в идентификации этих объектов.