Основные типы
Как выделить из текста объекты и присвоить им типы: сначала вы читаете текст и выделяете те объекты (это слова и словосочетания) которые кажутся самыми важными для понимания того, о чем написано.
Операция проверки выглядит так:
Сначала вы спрашиваете себя: «Я представляю, что имеется в виду под этим словом?» Если нет, то вам нужно переформулировать, т.к. у нас получается пустое или слишком размытое понятие. Лучше говорить ссылаться на объекты понятным образом. Иногда вы думаете какое-то слово (фразу), а имеете в виду не только что-то одно, а несколько вещей сразу, и они разных типов так тоже бывает, и это нормально, но только если четко вами осознается.
1. Если вы понимаете, что имеете в виду, спросите себя: «Я могу это потрогать? Оно имеет протяженность в пространстве и времени? Оно мне интересно именно как имеющее протяженность в пространстве и времени?» Если да, то это физический объект. Если нет, то переходите к пункту 2.
2. Если вы выяснили, что это не физический объект, то перед вами какой-то объект ментального пространства: кортеж или класс.
a. Кортеж упорядоченная пара элементов + отношение между ними. Сами элементы могут быть любого типа, отношение также может быть разным!
b. Класс группа объектов, собранных по какому-то признаку. В классе может быть всего один объект (например, физический), но он все равно не равен этому объекту и не становится сам этим объектом.
Все объекты внимания, которые вам могут быть интересны в мире, когда вы говорите о конкретной простой предметной деятельности можно отнести к одному из этих типов, и организовывать в структуры с использованием иерархий, если есть необходимость.
Иерархии это такие отношения: проверьте любое отношение иерархии можно подставить на третье место (место отношения) в кортеж.
Вот некоторые полезные иерархии, которые постоянно встречаются при составлении онтологий.
Полезные иерархии
Часть целое. Самое простое и самое важное отношение, работает только для физических объектов. Еще называется «истинная часть», чтобы не путать с частями описаний, и другими частями чего попало.
Ножка стола является частью целого стола. Моя рука является частью меня.
Чтобы привести часть для какого-то целого, нужно мысленно буквально разделить его на части. Мы должны при этом следить за тем, чтобы буквально все пространство и время, которое занимает часть, входило в пространство и время, которое занимает целое. Мыслительный прием для проверки: все атомы объекта «часть X» входят в число атомов объекта «целый Y». Если да, то все верно, и X часть Y.
Класс экземпляр класса. У нас есть класс «столы», экземпляр этого класса данный конкретный стол, находящийся в физической реальности.
Так, классы это объекты ментального пространства. Они находятся только там, и мы можем ими там управлять и оперировать. Конкретный стол экземпляр класса «столы» (и еще кучи других классов, то есть один объект может быть экземпляром многих классов) объект физического пространства, я его могу посмотреть и потрогать.
Экземпляром класса также может быть какой-то другой класс. Такой класс классов еще часто похож на классифицирующий признак. «Столы, классифицированные по материалу» или «материал столов» (класс) «деревянные столы» (экземпляр класса, тоже класс).
«Привести экземпляр класса» та же операция, что и «привести пример».
Надкласс подкласс. Я объединяю конкретные столы в класс «все столы», пользуясь отношением класс экземпляр.
Некоторые из этих столов вошли в другой класс «деревянные столы».
При этом все «деревянные столы» также входят в класс «все столы». А все предметы класса «все столы» также входят в класс «мебель». Получается, что «все столы» надкласс для «деревянных столов» и подкласс для «мебели».
Чтобы привести подкласс для какого-то класса, нужно сделать более узкую выборку указать такое дополнительное свойство, чтобы можно было привести меньше примеров. Все объекты, которые входят в подкласс, также входят в надкласс.
Но люди сложные, человеческая деятельность сложная особенно когда речь заходит не о том, чтобы копать ямы, а моделировании деятельности других людей в организации, или о том, чтобы создать инструкцию для автомата (запрограммировать что-то). И потому иногда (а по факту постоянно) перечисленных базовых типов не хватает, чтобы полно описать, чем вы занимаетесь. Об этом в следующей главе.