Заключение ​

Итак, теперь мы понимаем, почему онтология является формализованнойразделяемой концептуализацией предметной области, то есть набором объектов и отношений предметной области, общим для каких-то ролей, связанных с этой предметной областью (https://en.wikipedia.org/wiki/Ontology_(information_science) ).

Мы обсудили, как на самом общем уровне мышление формирует онтологий: выделяет объекты, называет их, отличает индивиды от категорий, относит объекты к категориям, формирует новые категории исходя из потребностей разных ролей.

И всё это происходит в рамках моделирования, составляющего основу любого мышления, что людей, что компьютеров, что любых иных агентов, у которых мышление может быть обнаружено.