Онтология

Cтраница 2

Онтология в системе TOVE ( Toronto Virtual Enterprise Project) [ TOVE, 1999 ] предметно ориентирована на представление модели корпорации. Основная цель ее разработки - отвечать на вопросы пользователей по реинжинирингу бизнес-процессов, извлекая эксплицитно представленные в онтологии знания. При этом система может проводить дедуктивный вывод ответов. В онтологии нет средств для интеграции с другими онтологиями. Формально онтология описывается с помощью фреймов. [16]

Формальная онтология же принципиально шире: континуум действительных чисел определен однозначно ( вплоть до изоморфизма); в какой-либо дедуктивной же теории лишь счетное число его элементов могут получить определенное обозначение. Тем не менее, задача математиков и состоит в развитии дедуктивной теории, охватывающей возможно большее число фактов формальной онтологии. [17]

Онтология задач в качестве понятий содержит типы решаемых задач, а отношения этой онтологии, как правило, специфицируют декомпозицию задач на подзадачи. Вместе с тем, если прикладной системой решается единственный тип задач ( например, задачи поиска релевантной запросу информации), то онтология задач может в данном случае описываться словарной моделью, рассмотренной выше. Таким образом, модель онтологической системы позволяет описывать необходимые для ее функционирования онтологии разных уровней. [18]

Фрагмент системы понятий онтологии Generalized Upper Model. [19]

Прикладные онтологии описывают концепты, зависящие как от конкретной предметной области, так и от задач, которые в них решаются. Концепты в таких онтологиях часто соответствуют ролям, которые играют объекты в предметной области в процессе выполнения определенной деятельности. [20]

Онтологией [ Gruber, 1993 ] называется эксплицитная спецификация концептуализации. Формально онтология состоит из терминов, организованных в таксономию, их определений и атрибутов, а также связанных с ними аксиом и правил вывода. [21]

В онтологии центральное место отводится доказательствам бытия Бога, божественного происхождения мира и человека. Многие представители академической философии считают вполне оправданными рациональные доказательства: космологическое, телеологическое, психологическое, онтологическое, нравственное. Но при этом они подчеркивают, что каждое из перечисленных доказательств бытия Бога не выдерживает проверки, если к нему подходить только с рациональных позиций. Когда же эти доказательства будут дополнены евангельским представлением о Богочеловеке, верой в Иисуса Христа, они станут бесспорными. Единство разума и веры в познании Бога, по мнению В. Д. Кудрявцева-Платонова, способно утвердить в сознании человека трансцендентальный монизм. [22]

В онтологии описано около 150 концептов и 6 правил. Формально онтология Plinius тоже описывается с помощью фреймов. [24]

В онтологии Фома Аквинский принимает аристотелевскую концепцию формы и материи, приспосабливая ее, как, впрочем, и многие другие трактовки проблем Аристотелем, к задачам обоснования догматов христианской религии. Для него все предметы природы есть единство формы и материи; материя пассивна, форма активна. Есть бестелесные формы - ангелы. Самой высшей и самой совершенной формой выступает Бог; он есть существо чисто духовное. [25]

Такая вырожденная онтология может быть полезна для спецификации, пополнения и поддержки словарей ПО, но онтологии-словари имеют ограниченное использование, поскольку не вводят эксплицитно смысла терминов. Хотя в некоторых случаях, когда используемые термины принадлежат очень узкому ( например, техническому) словарю и их смыслы уже заранее хорошо согласованы в пределах определенного ( например, научного) сообщества, такие онтологии применяются на практике. Известными примерами онтологии этого типа являются индексы машин поиска информации в сети Интернет. [26]

Декларации онтологии задаются внутри тела HTML-документа и не могут перекрываться с другими тегами HTML. В одном документе может быть определено несколько онтологии, но такие определения тоже не может перекрываться или быть вложенными. [27]

Модель онтологии должна обеспечивать: а) представление множества понятий в виде сетевой структуры; б) отображение достаточно богатого множества отношений, включающего не только таксономические отношения, но и отношения, отражающие специфику предметной области; в) использование декларативных и процедурных интерпретаций и отношений. [28]

В социальной онтологии преобладает тенденция к синтезу холизма и монадологии, к описанию общества как целостного организма, элементы которого связаны функционально. Соответственно в социальной гносеологии утверждается стремление к методологическому объективизму на основе умеренного эволюционизма, синтеза реализма и номинализма, мягкого редукционизма. [29]

Под онтологией понимается учение о бытии как таковом, независимо от его частных видов. В этом смысле онтология равнозначна метафизике или части метафизики. [30]

Страницы: 1 2 3 4