✖


Jump to content

Верхняя онтология

(Перенаправлен из GIST (верхняя онтология) )

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

Был предложен ряд верхних онтологий, каждая из которых со своими сторонниками.

Системы классификации библиотеки предшествуют системам верхней онтологии. Хотя классификации библиотеки организуют и классифицируют знания, используя общие концепции, которые одинаковы во всех областях знаний, ни одна система не является заменой для другой.

Разработка

[ редактировать ]

Любая стандартная основополагающая онтология, вероятно, будет оспорена среди разных групп, каждая из которых имеет свою собственную идею «что существует». Одним из факторов, усугубляющих неспособность прийти к общему подходу, было отсутствие приложений с открытым исходным кодом, которые позволили бы тестировать различные онтологии в одной и той же вычислительной среде. Таким образом, различия были обсуждены в основном по теоретическим основаниям или являются лишь результатом личных предпочтений. Однако основополагающие онтологии можно сравнить на основе усыновления для целей поддержки взаимодействия между доменными онтологиями.

Никакая конкретная верхняя онтология еще не получила широкого распространения в качестве фактического стандарта. Различные организации пытались определить стандарты для конкретных областей. « Язык спецификации процесса » (PSL), созданный Национальным институтом стандартов и технологий (NIST), является одним из примеров.

Другим важным фактором, приводящим к отсутствию широкого внедрения любой существующей верхней онтологии, является сложность. Некоторые верхние онтологии - CYC часто приводятся в качестве примера в этом отношении - очень большие, в диапазоне до тысяч элементов (классы, отношения), со сложными взаимодействиями между ними и со сложностью, сходной с человеческим естественным языком , и и и Процесс обучения может быть даже дольше, чем для естественного языка из -за незнакомого формата и логических правил. Мотивация преодолеть этот учебный барьер в значительной степени отсутствует из -за недостатка общедоступных примеров использования. В результате эти онтологии строительных доменов для местных приложений, как правило, создают самую простейшую онтологию, специфичную для домена, не связанную с какой-либо верхней онтологией. Такие доменные онтологии могут адекватно функционировать для локальной цели, но они очень трудоемкие, чтобы точно относиться к другим онтологиям доменов.

Чтобы решить эту проблему, были разработаны некоторые онтологии высшего уровня, которые преднамеренно разработаны, чтобы иметь минимальное перекрытие с любыми онтологиями домена. Примерами являются основная формальная онтология и Dolce (см. Ниже).

Аргументы в пользу нехватки верхней онтологии

[ редактировать ]

Исторически много попыток во многих обществах [ который? ] были сделаны, чтобы навязывать или определить один набор концепций как более первичный, основной, основополагающий, авторитетный, истинный или рациональный, чем все остальные. Распространенное возражение [ кем? ] К таким попыткам указывается, что людям не хватает такой трансцендентной перспективы - или взгляда Бога - которые потребуются для достижения этой цели. Люди связаны языком или культурой, и поэтому не хватает такой объективной перспективы, с которой можно наблюдать всю местность концепций и вывести какой -либо один стандарт. Томассон, [ 1 ] Под заголовком «1,5 скептицизм в отношении систем категорий» пишет: «Системы категорий, по крайней мере, как традиционно представлено, по -видимому, предполагается, что существует уникальный истинный ответ на вопрос о том, какие категории сущности есть - действительно открытие этого ответа является целью большинства таких запросов в онтологических категориях. Но фактические категории предлагались так сильно, что даже короткий обзор систем прошлых категорий, подобных этим выше, может подорвать убеждение, что такая уникальная, истинная и полная система категорий может быть найдена. Учитывая такое разнообразие ответов на вопрос о том, каковы онтологические категории, по каким критериям мы могли бы выбрать среди них, чтобы определить, какие уникально правильно? »

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

  • Не существует самоочевидного способа разделения мира на концепции , и, конечно, нет непревзойденного.
  • Не существует нейтральной основы, которая может служить средством перевода между специализированными (или «более низкими» или «применением») онтологий)
  • Сам человеческий язык уже является произвольным приближением только одного из многих возможных концептуальных карт. Чтобы нарисовать любую необходимую корреляцию между английскими словами и любым количеством интеллектуальных концепций, которые мы могли бы представлять в наших онтологиях, просто требует неприятностей. ( Например, Wordnet является успешным и полезным, именно потому, что он не претендует на то, что он не претендует на верхнюю онтологию общего назначения; скорее, это инструмент для семантического / синтаксического / лингвистического расстроения, который богато встроен в подробности и особенности английский язык.)
  • Любое иерархическое или топологическое представление концепций должно начинаться с некоторых онтологических, эпистемологических , лингвистических, культурных и в конечном итоге прагматической перспективы. Такой прагматизм не допускает исключения политики между людьми или группами, действительно требует, чтобы они считались, возможно, более основными примитивами, чем любые представленные.

Те [ ВОЗ? ] Кто сомневается, что выполнимость онтологий общего назначения более склонна спросить: «Какую конкретную цель мы имеем в виду для этой концептуальной карты сущностей и какая практическая разница в этой онтологии?» Эта прагматическая философская позиция сдает все надежду разработать кодированную онтологическую версию «Мир - это все, что имеет место». ( Wittgenstein , Tractatus logico-philosophicus ).

Наконец, есть возражения, аналогичные противникам против искусственного интеллекта [ от кого? ] Полем Технически, сложное приобретение концепции и социальные / лингвистические взаимодействия людей предполагают, что какая -либо аксиоматическая основа «самых основных» концепций должна быть когнитивной биологической или иным образом характеризовать, поскольку у нас нет аксиомов для таких систем. Этическое, любая онтология общего назначения может быстро стать реальной тиранией, привлекая приверженцев в политическую программу, предназначенную для распространения ее, и ее средств финансирования, и, возможно, защищать ее путем насилия. Исторически, что непоследовательные и иррациональные системы убеждений оказались способными приказывать послушанию вредному или вредному вреда как внутри, так и за пределами общества, которое их принимает. Насколько более вредным будет последовательный рациональный, если бы он содержит даже одно или два основных предположения, несовместимых с человеческой жизнью?

Аргументы для осуществимости верхней онтологии

[ редактировать ]

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

  1. Они утверждают, что нет возможности универсального согласия по любой концептуальной схеме; Но они утверждают, что практическая общая онтология не должна иметь универсальное согласие, она требует только достаточно большого сообщества пользователей (как и для человеческих языков), чтобы разработчики использовали его в качестве средства для общего взаимодействия и Для стороннего разработчика разработки коммунальных услуг, чтобы облегчить его использованию; и
  2. Они указывают на то, что разработчики схем данных находят разные представления о своих местных целях; Но они не демонстрируют, что эти разные представления на самом деле логически непоследовательны.

Фактически, различные представления утверждений о реальном мире (хотя и не философских моделях), если они точно отражают мир, должны быть логически последовательными, даже если они сосредоточены на разных аспектах одного и того же физического объекта или явления. Если какие -либо два утверждения о реальном мире логически противоречивы, одно или оба должны быть неправильными, и это тема для экспериментального исследования, а не для онтологического представления. На практике представления реального мира создаются как известные как приближения к основной реальности, и их использование ограничено ограничениями ошибок измерений в любом практическом применении. Онтологии полностью способны представлять приближения, а также способны представлять ситуации, в которых различные приближения имеют различную полезность. Возражения, основанные на различных способах восприятия людей, атакованы упрощенным, обнищанным взглядом на онтологию. Возражение о том, что существуют логически несовместимые модели мира, верно, но в верхней онтологии эти разные модели могут быть представлены как разные теории, и приверженцы этих теорий могут использовать их в предпочтениях другим теориям, сохраняя при этом логическую согласованность а Необходимые предположения о верхней онтологии. Необходимые предположения предоставляют логический словарь , с помощью которого можно указать значения всех несовместимых моделей. Никогда не было продемонстрировано, что несовместимые модели не могут быть должным образом указаны с помощью общего, более базового набора концепций, в то время как есть примеры несовместимых теорий, которые можно логически указать только с несколькими основными понятиями.

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

Возражения против осуществимости общей верхней онтологии также не учитывают возможность заключения соглашения о онтологии, которая содержит все примитивные онтологические элементы, которые можно объединить для создания любого количества более специализированных концептуальных представлений. Принятие этой тактики разрешает усилия, чтобы сосредоточиться на согласии только на ограниченном количестве онтологических элементов. Согласившись с значениями этого запаса основных концепций, становится возможным создавать, а затем точно и автоматически интерпретировать бесконечное количество концептуальных представлений как комбинации основных онтологических элементов. Любая доменная онтология или база данных, которая использует элементы такой верхней онтологии для указания значений его терминов, будут автоматически и точно совместимы с другими онтологиями, которые используют верхнюю онтологию, даже если они могут отдельно определять большое количество доменных элементов, а не элементов не определяется в других онтологиях. В таком случае надлежащая интерпретация потребует, чтобы логические описания специфических элементов домена были переданы вместе с любыми данными, которые сообщаются; Затем данные будут автоматически интерпретируются, потому что описания элементов домена, основанные на верхней онтологии, будут должным образом интерпретируются любой системой, которая может правильно использовать верхнюю онтологию. По сути, элементы в онтологиях разных доменов могут быть * переведены * друг в друга с использованием общей верхней онтологии. Верхняя онтология, основанная на таком наборе примитивных элементов, может включать альтернативные представления, при условии, что они логически совместимы. Логически несовместимые модели могут быть представлены в виде альтернативных теорий или представлены в специализированном расширении на верхнюю онтологию. Правильное использование альтернативных теорий - это часть знаний, которая сама может быть представлена ​​в онтологии. Пользователи, которые разрабатывают новые доменные онтологии и обнаруживают, что для их домена необходимы семантические примитивы, но отсутствуют в существующей общей верхней онтологии, могут добавить эти новые примитивы по принятой процедуре, расширяя общую верхнюю онтологию по мере необходимости.

Большинство сторонников [ ВОЗ? ] из верхней онтологии утверждают, что несколько хороших могут быть созданы с, возможно, с различным акцентом. Очень немногие на самом деле утверждают, чтобы открыть только один в естественном языке или даже в академической области. Большинство из них просто стандартизируют некоторые существующие общения. Другое продвинутое мнение заключается в том, что существует почти полное совпадение различных способов, которыми были формализованы верхние онтологии, в том смысле, что различные онтологии сосредоточены на разных аспектах одних и тех же сущностей, но разные взгляды являются взаимодополняющими и не противоречаты друг другу; В результате, внутренняя последовательная онтология, которая содержит все взгляды, с средствами перевода различных взглядов в другой, возможна. Такая онтология до сих пор не была построена, однако, потому что она потребует большого проекта для развития, чтобы включить все альтернативные взгляды в отдельно развитые верхние онтологии, а также их переводы. Основным барьером для строительства такой онтологии являются не технические проблемы, а нежелание финансирующих агентств предоставлять средства для достаточно большого консорциума разработчиков и пользователей.

Несколько общих аргументов против верхней онтологии могут быть более четко изучены путем разделения вопросов определения концепции (онтология), языка (лексиконов) и фактов (знание). Например, у людей есть разные термины и фразы для той же концепции. Однако это не обязательно означает, что эти люди ссылаются на разные понятия. Они могут просто использовать другой язык или идиома. Формальные онтологии обычно используют лингвистические этикетки для обозначения концепций, но термины, которые маркируют элементы онтологии, означают не больше и не меньше, чем говорят их аксиомы. Метки аналогичны именам переменных в программном обеспечении, воспоминания, а не окончательные. Сторонники общей верхней онтологии указывают на то, что значения элементов (классы, отношения, правила) в онтологии зависят только от их логической формы , а не на этикетках, которые обычно выбираются просто для того, чтобы сделать онтологии легче использовать использование их человеческие разработчики. Фактически, этикетки для элементов в онтологии не должны быть словами - это могут быть, например, изображения экземпляров определенного типа или видео о действии, которое представлено конкретным типом. Нельзя слишком сильно подчеркнуть, что слова * не * то, что представлены в онтологии, а в сущности в реальном мире, или абстрактных сущностей (концепции) в умах людей. Слова не эквивалентны онтологическим элементам, но словам * метки * Элементы онтологии. Может быть много слов, которые помечают одну концепцию, даже на одном языке (синонимия), и может быть много концепций, помеченных одним словом (двусмысленность). Создание сопоставлений между человеческим языком и элементами онтологии является провинцией понимания естественного языка. Но сама онтология стоит независимо как логическая и вычислительная структура. По этой причине найти согласие о структуре онтологии на самом деле проще, чем разработка контролируемого словаря, потому что все различные интерпретации слова могут быть включены, каждая из которых * сопоставлен * с одним и тем же словом в различных терминологиях.

Второй аргумент заключается в том, что люди верят в разные вещи, и поэтому не могут иметь одинаковую онтологию. Тем не менее, люди могут присвоить различные ценности истины конкретному утверждению, принимая при этом обоснованность определенных основных претензий, фактов или способов выражения аргумента, с которым они не согласны. (Использование, например, проблема проблемы/позиции/аргумента .) Это возражение против верхних онтологий игнорирует тот факт, что одна онтология может представлять различные системы убеждений, а также представлять их как различные системы убеждений, не занимая позицию по достоверности или.

Даже аргументы о существовании вещи требуют определенного обмена концепцией, даже если ее существование в реальном мире может быть оспорено. Отделение убеждений от именования и определения также помогает прояснить эту проблему и показать, как концепции могут соблюдаться общими, даже перед лицом различных убеждений. Например, Wiki как среда может позволить такую ​​путаницу, но дисциплинированные пользователи могут применять методы разрешения споров, чтобы разобраться в своих конфликтах. Также утверждается, что большинство людей разделяют общий набор «семантических примитивов», фундаментальных концепций, на которые они ссылаются, когда пытаются объяснить незнакомые термины другим людям. Онтология, которая включает представления этих семантических примитивов в таком случае, может быть использована для создания логических описаний любого термина, который человек может пожелать логически определить. Эта онтология была бы одной из форм верхней онтологии, служащей логическим «интерлингуа», которая может перевести идеи в одну терминологию в его логический эквивалент в другой терминологии.

Защитники [ ВОЗ? ] Укажите, что большинство разногласий по поводу жизнеспособности верхней онтологии могут быть прослежены в связи с объединением онтологии, языка и знаний или слишком специальных областей знаний: многие люди, или агенты или группы будут иметь области их соответствующих внутренних онтологий, которые не имеют перекрывать. Если они могут сотрудничать и поделиться концептуальной картой вообще, это может быть настолько полезно, что перевешивает любые недостатки, которые получают от обмена. В той степени становится все труднее делиться концепциями более глубоких зондов, тем более ценным таким обменом имеет тенденцию получить. Если проблема так же основной, как утверждают противники верхних онтологий, то она также относится к группе людей, пытающихся сотрудничать, кому может потребоваться помощь машины, чтобы легко общаться.

Если ничего другого, такие онтологии подразумеваются машинным переводом , используемым, когда люди не могут практически общаться. «Верхний» или нет, они, кажется, пролиферируются.

Таблица формальных верхних онтологий

[ редактировать ]

Следующая таблица содержит данные в основном из «сравнения верхних онтологий» [ 2 ] Статья V Mascardi, V Horrish and P Red (2007).

Имя Первоначальный выпуск Последний релиз Разработчик Фокус Лицензия URL Метрики Отличительные черты Версии
Онтология Sowa 1999 1999 Джон Ф. Соу Логические, философские и вычислительные основы бесплатно Sowa's UO, [ 3 ] [ 4 ] 30 классов, 5 отношений, 30 аксиомов Логическая элегантность, компактная
Цикл 1984 Версия 6.1 на 2017.11.27 Компания Cocorp (с 1994 года) Повседневное знание здравого смысла , с целью обеспечения применений ИИ выполнять как человеческие рассуждения запатентованный цикл .с ,
цикп .Евросоюз 		300 000 концепций, 3 000 000 утверждений (факты и правила), 15 000 отношений 12 000 Wordnet Synsets, огромные Opencyc, ResearchCyc
Ямато 1999 2012.07.14 Доктор Риичиро Мизогучи [ 5 ] Качество и количество, представления (несущие контент), объекты, процессы и события ? Ямато [ 6 ] ? Ролевые концепции
BFO 2002 BF00, 2020 2020 ISO/ISIC 21838-208 Барри Смит и соавт. Онтология высшего уровня для содействия взаимодействии доменных онтологий Лицензия BSD Основная формала-нетология .орг [ 7 ] [ 8 ] 34 категории, 8 отношений; Формализации в форматах Owl, Clif, Obo и Isabel очень большая установленная пользовательская база; тщательная документация Версия 2.0
суть 2007 Версия 11.0.0 в 2022 году Semantic Arts, Inc. Минималистская верхняя онтология для информационных систем предприятий Бесплатное, творческое общее общее www .semanticarts .с /суть / 143 классы, 132 свойства, 9 примитивных классов, 18 классов корней, 1690 аксиомов Основа для примерно дюжины крупных онтологий предприятия
Боро в конце 1980 -х и начале 1990 -х годов Команда консультантов KPMG во главе с Крисом Партриджем Расширенная (и, следовательно, четырехмерная) онтология, которая дает ему простые критерии идентичности. www .borosolutions .сеть Он построен на серии четких метафизических вариантов для обеспечения прочной (метафизической) основы.
GFO 1999 2008 (в процессе) Генрих Херре Включая многие аспекты недавней философии Открыть www .Onto-med .из /Онтологии /GFO 2008 Его отчет о настойчивости и ее модели времени. GFO.OWL и GFO-BASIC.OWL
Идеи Идеи Группа Является более высоким, удлинительным и 4D. Разработано с использованием метода Боро . Онтология идей не предназначена для рассуждений и выводов; Его цель - быть точной моделью бизнеса.
ISO 15926 2003 Послание - Европейская промышленность процессов Шаг технической связи Представление информации о жизнеобеспеченном цикле процесса. Достаточно общий, чтобы охватить любое объект, если доступна подходящая библиотека справочных данных. Бесплатно в использовании www .ISO .орг /стандарт /29557 .html Общая модель с 201 типами объектов. Справочная библиотека данных охватывает 40000 концепций, из-за того, что пользователь-расширяется. Чтобы обеспечить интеграцию информации о жизненном цикле, модель 4D и исключает все информационные ограничения, которые соответствуют только конкретным приложениям в рамках. ISO 15926-2: 2003
СУМО 2000 v1.1 - Онтология .орг /Sumohistory /Sumo1 .1 .текст IEEE Рабочая группа P1600.1 Для исследований и приложений в поисках, лингвистике и рассуждениях. Открытый исходный код. www .ontologyportal .орг Общее количество терминов: 13457, общий аксиомы: 193812, общие правила: 6055 Самая большая формальная публичная онтология существует сегодня. Был нанесен на карту всю лексику Wordnet . 2024- Гитб .с /Онтология портала /сумо
Зонтик 2008 Версия 1.50 в 2016 году Структурированная динамика Отношение информации от разрозненных источников друг с другом. CC на 3,0 Около 35 000 справочных концепций Разработан для обеспечения общих точек отображения для отношения различных онтологий или схемы друг с другом, Зонтик 1.50
Wordnet середина 1980 -х годов Версия 3.1 в 2011 году Принстонский университет Семантическая сеть, основанная на психолингвистических принципах, BSD-подобный Wordnet .princeton .edu 155 327 слов, организованных в 175 979 синсетах, в общей сложности 207 016 пар слов; Не аксиоматически точно. Используется в исследовании обработки естественного языка . Версия 3.1

Доступные верхние онтологии

[ редактировать ]

Основная формальная онтология (BFO)

[ редактировать ]
Основная статья: Основная формальная онтология

Основная формальная рамка онтологии (BFO), разработанная Барри Смитом и его партнерами, состоит из ряда субтологических на разных уровнях гранулярности. Онтологии делятся на два разновидности: касающиеся непрерывных объектов, таких как трехмерные стойкие объекты, и входящие объекты (в первую очередь) процессы, рассматриваемые как разворачивающиеся на последовательных фазах во времени. Таким образом, BFO включает в себя как трехмерные, так и четырехмерные перспективы на реальность в рамках одной структуры. Взаимосвязи определяются между двумя типами онтологий таким образом, что дает BFO возможность иметь дело как статические/пространственные, так и динамические/временные характеристики реальности. Непрерывная доменная онтология, спускающаяся с BFO, может быть задуман как инвентарь сущностей, существующих за раз. Каждая вхожденная онтология может быть задумана как запасы процессов, разворачивающихся в течение данного интервала времени. Как сама BFO, так и каждая из ее разгибателей подтологии можно представить как окно на определенной части реальности на заданном уровне гранулярности. Более 350 онтологических фреймворков, основанных на BFO, каталогизируются на веб -сайте BFO. [ 9 ] Они применяют архитектуру BFO к разным областям посредством стратегии нисходящего населения. Например, клеточная онтология населяет вниз от BFO, импортируя ветвь BFO, заканчивающуюся объектом, и определяя ячейку как субкинд объекта. Другими примерами онтологий, расширяющих BFO, являются онтология биомедицинских исследований (OBI) и других онтологий открытых биомедицинских онтологий . В дополнение к этим примерам, BFO и расширения все чаще используются в областях обороны и безопасности, например, в рамках общей онтологии. [ 10 ] BFO также служит верхним уровнем интерфейсной онтологии интерфейса целей в области устойчивого развития (CSG), разработанной программой окружающей среды Объединенных Наций, [ 11 ] и инициативы промышленных онтологий (IOF) производственной промышленности. [ 12 ] BFO была задокументирована в онтологии по зданию учебников с основной формальной онтологией , [ 13 ] Опубликовано MIT Press в 2015 году.

Боро

[ редактировать ]
Основная статья: Боро

Справочная онтология бизнес -объектов - это верхняя онтология, предназначенная для разработки онтологических или семантических моделей для крупных сложных оперативных приложений, которые состоит из верхней онтологии, а также процесса построения онтологии. Он построен на серии четких метафизических вариантов для обеспечения прочной (метафизической) основы. Ключевым выбором была для расширения (и, следовательно, четырехмерной ) онтологии , которая дает ему простые критерии идентичности . Элементы появились в ряде стандартов. Например, стандарт ISO, ISO 15926 - Системы промышленной автоматизации и интеграция - находился под сильным влиянием ранней версии. Стандарт идей (спецификация архитектуры международного оборонного предприятия для обмена) основан на Боро, который, в свою очередь, использовался для разработки DODAF 2.0.

Концептуальная справочная модель CIDOC

[ редактировать ]
Основная статья: концептуальная справочная модель CIDOC

Хотя «CIDOC объектно-ориентированная концептуальная справочная модель» (CRM) является онтологией домена , специализирующейся на целях представления культурного наследия, подмножество CRM Core является общей верхней онтологией, включая: [ 14 ] [ 15 ]

  • Пространственное время-заголовок/идентификатор, место, эпоха/период, просмотр времени, отношения с постоянными предметами
  • События - заголовок/идентификатор, начало/окончание существования, участники (люди, индивидуально или в группах), создание/модификация вещей (физические или концепции), отношения с постоянными предметами
  • Материальные вещи-заголовок/идентификатор, место, информационный объект, который несет материал, частично отношения, отношения с постоянными элементами
  • Нематериальные вещи-заголовок/идентификатор, информационные объекты (пропозициональные или символические), концепция, частицы, частично отношения

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

Космо

[ редактировать ]

Cosmo (Common Semantic Model) - это онтология, которая была инициирована в качестве проекта рабочей группы Cosmo по онтологии и таксономии рабочей группы, с целью разработки онтологии фундамента, которая может служить для обеспечения широкой общей семантической взаимосвязи . Текущая версия-онтология OWL, но общая средняя в будущем ожидается версия. Онтология и объяснительные файлы доступны на сайте Cosmo. Целью рабочей группы COSMO было разработка онтологии фонда с помощью совместного процесса, который позволит ей представлять все основные онтологические элементы, которые, по мнению всех участников, необходимы для их приложений. Разработка Cosmo полностью открыта, и любые комментарии или предложения из любых источников приветствуются. После некоторого обсуждения и вклада членов в 2006 году, разработка Cosmo была продолжена в основном Патриком Кэссиди, председателем рабочей группы Cosmo. Взносы и предложения от любой заинтересованной стороны до сих пор приветствуются и поощряются. Многие из типов (классы OWL) в текущем Cosmo были взяты из версии Opencec OWL 0,78 и из SUMO. Другие элементы были взяты из других онтологий (таких как BFO и Dolce) или разработаны специально для Cosmo. Развитие Cosmo изначально сосредоточено на включении представлений всех слов в Лонгман Словарь современного английского (LDOCE) контролируемый определяющий словарный запас (2148 слов). Этим словами достаточно, чтобы определить (лингвистически) все записи в LDOCE. Предполагается, что онтологические представления концепций, представленных этими терминами, будет достаточным для определения значений любого специализированного онтологического элемента, тем самым служащим в качестве основы для общей семантической взаимодействия . Совместимость через COSMO включена с помощью COSMO (или онтологии, полученной из него) в качестве интерлинга, с помощью которого другие доменные онтологии могут быть переведены в термины друг друга и тем самым точно общаться. Поскольку новые домены связаны с Cosmo, дополнительные семантические примитивы могут быть распознаны и добавлены в его структуру. Текущая версия Cosmo (январь 2021 г.) совела имеет более 24000 типов (классы OWL), более 1350 отношений и более 21000 ограничений. Сам Cosmo (cosmo.owl) и другие связанные и объяснительные файлы могут быть получены по ссылке для Cosmo в разделе внешних ссылок ниже.

Цикл

[ редактировать ]
Основная статья: Cyc

Хорошо известная и довольно полная онтология, доступная сегодня, представляет собой CYC , проприетарная система, работающая с 1986 года, состоящая из онтологии фундамента и нескольких специфичных для домена онтологий (называемых MicroTheories ). Подмножество этой онтологии была выпущена бесплатно под названием Openciesc , и более или менее непринужденная версия предоставляется для бесплатного некоммерческого использования под названием ResearchCyc .

СЛАДКИЙ

[ редактировать ]

Описательная онтология для лингвистической и когнитивной инженерии (DOLCE) - это основополагающая онтология, разработанная в 2002 году в контексте проекта WonderWeb EU, [ 16 ] Разработано Николой Гуарино и его партнерами в лаборатории прикладной онтологии (LOA). Как подразумевается его аббревиатурой, Dolce ориентирован на захват онтологических категорий, лежащих в основе естественного языка человека и здравого смысла . Dolce, однако, не обязуется строго референциальной метафизике, связанной с внутренней природой мира. Скорее, категории, которые он вводит, рассматриваются как когнитивные артефакты, которые в конечном итоге в зависимости от восприятия человеком, культурных импринтов и социальных соглашений. В этом смысле они намерены быть просто описательными (VS -предписывающими ) представлениями, которые поддерживают формальную спецификацию концептуализации доменов.

Дольче-Ультралит, [ 17 ] Разработанный Aldo Gangemi и коллегами из Семантической технологической лаборатории Национального исследовательского совета (Италия) - это веб -онтологии версия Dolce в (OWL). Он упрощает некоторые модальные аксиомы Dolce и расширяет его, чтобы охватить структуру описаний и ситуаций, также разработанных в проекте WonderWeb. Dolce-ультралит является источником некоторых моделей дизайна основной онтологии, [ 18 ] и широко принят в онтологических проектах по всему миру.

Общая формальная онтология (GFO)

[ редактировать ]
Основная статья: общая формальная онтология

Общая формальная онтология (GFO), разработанная Генрихом Херре и его коллегами по исследовательской группе на Med в Лейпциге , является реалистичной онтологической интеграционной процессами и объектами. Он пытается включить многие аспекты недавней философии, которая отражается как в его таксономическом дереве, так и в ее аксиоматизации. GFO допускает различные аксиоматизации своих категорий (например, существование атомных временных интервалов против плотного времени ). Основные принципы GFO опубликованы в отчете на MED NR. 8 и в «Общей формальной онтологии (GFO): основополагающая онтология для концептуального моделирования». [ 19 ] [ 20 ]

Две специальные блюда GFO, среди прочего, являются его отчетом о настойчивости и модели времени. Что касается устойчивости, различие между эндорантами (объектами) и пердурантами (процессами) сделано явным в GFO путем введения специальной категории, постоянной. [ 21 ] Постоянный - это особая категория с намерением, чтобы его случаи «остались идентичными» (со временем). Что касается времени, интервалы времени принимаются как примитивные в GFO, а точки времени (называемые «границы времени») в качестве полученных. Более того, могут совпадать с временные точки, что удобно для моделирования мгновенных изменений.

суть

[ редактировать ]

Гист разрабатывается и поддерживается семантическим искусством. GIST (не аббревиатура - это означает, что это сущность) - это «минималистская верхняя онтология». GIST предназначен для предприятий, хотя он применялся к приложениям для доставки здравоохранения.

GIST использовался для создания онтологий предприятия для ряда крупных коммерческих и правительственных учреждений, включая: Procter & Gamble, Sentara Healthcare, Департамент труда и промышленности штата Вашингтон, Lexisnexis, Sallie Mae и две крупные фирмы по финансовым услугам. GIST свободно доступен с лицензией Creative Commons Alike. Гист активно поддерживается и используется более 10 лет. По состоянию на октябрь 2020 года он находится в версии 9.4. [ 22 ]

Гист был предметом статьи, изучающей, как преодолеть различия в моделировании между онтологиями. [ 23 ] В статье, описывающей методологию OQUARE для оценки онтологий, единица онтологии измерения (в то время, отдельный модуль) набрала наивысшую в ручной оценке по 10 других онтологий измерения и набрала выше среднего в автоматизированной оценке. Авторы заявили: «Эта онтология может быть легко проверена и проверена, ее знания могут быть эффективно повторно использованы и адаптированы для различных указанных сред». [ 24 ]

ISO 15926

[ редактировать ]
Основная статья: ISO 15926

ISO 15926 является международным стандартом для представления информации о жизнеобеспеченных циклах процесса . Это представление указывается общей концептуальной моделью данных, которая подходит в качестве основы для реализации в общей базе данных или хранилище данных. Модель данных предназначена для использования в сочетании с эталонными данными: стандартные экземпляры, которые представляют информацию, общую для ряда пользователей, обработки или обоих. Поддержка конкретной деятельности жизненного цикла зависит от использования соответствующих эталонных данных в сочетании с моделью данных. Чтобы обеспечить интеграцию информации о жизненном цикле, модель исключает все информационные ограничения, которые соответствуют только конкретным приложениям в рамках. ISO 15926-2 определяет общую модель с 201 типами объектов. Он был подготовлен техническим комитетом ISO/TC 184, Промышленными системами автоматизации и интеграции, подкомитет SC 4, Промышленные данные.

Sumo (предлагается верхняя объединенная онтология)

[ редактировать ]
Основная статья: Предлагаемая верхняя объединенная онтология

Предлагаемая верхняя объединенная онтология (SUMO) является еще одним комплексным онтологическим проектом. Он включает в себя верхнюю онтологию , созданную рабочей группой IEEE P1600.1 (первоначально Ян Найлс и Адамом Пиз ). Он расширен со многими онтологиями доменов и полным набором ссылок на Wordnet. Это открытый исходный код.

Зонтик

[ редактировать ]
Основная статья: Umbel

Верхнее картирование и обменной уровень связывания ( UMBEL ) представляет собой онтологию из 28 000 эталонных концепций, которая отображает упрощенную подмножество онтологии Openciesc , которая предназначена для обеспечения способа связывания точной Opencyc Ontology с менее формальными онтологиями. [ 25 ] Он также имеет официальные сопоставления с Википедией , Dbpedia , Proton и Geonames . Он был разработан и поддерживается как открытый исходный код структурированной динамикой.

Wordnet

[ редактировать ]
Основная статья: Wordnet

Wordnet , свободно доступная база данных, изначально разработанная как семантическая сеть , основанная на психолингвистических принципах, была расширена за счет добавления определений и теперь также рассматривается как словарь . Он квалифицируется как верхняя онтология, включив наиболее общие концепции, а также более специализированные концепции, связанные друг с другом не только с помощью субъективных отношений , но и другими семантическими отношениями, такими как частично и причина. Однако, в отличие от CYC, он не был формально аксиоматизирован, чтобы сделать точные логические отношения между понятиями. Он широко использовался в исследованиях по обработке естественного языка .

Ямато (еще одна более продвинутая топ -онтология)

[ редактировать ]

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

  1. расширенное описание качества, атрибута, собственности и количества, [ 26 ]
  2. онтология представительства, [ 27 ]
  3. расширенное описание процессов и событий, [ 28 ]
  4. Использование теории ролей . [ 29 ]

Ямато широко использовался для разработки других, более применяемых онтологий, таких как медицинская онтология, [ 30 ] онтология Джина, [ 31 ] онтология обучения/учебных теорий, [ 32 ] онтология науки о устойчивом развитии, [ 33 ] и онтология культурной области. [ 34 ]

Смотрите также

[ редактировать ]
[ редактировать ]

Ссылки

[ редактировать ]
  1. ^ Thomasson, Amie, «Категории», Стэнфордская энциклопедия философии (издание зимы 2022 года), Эдвард Н. Залта и Ури Ноделман (ред.), Url = < https://plato.stanford.edu/archives/win2022/entries / категории/ >
  2. ^ V Маскарди; V шнуры; П Россо (2007). «Сравнение верхних онтологий» (PDF) . Университет Генуи . S2CID   16637157 .
  3. ^ «Категории высшего уровня» . www.jfsowa.com .
  4. ^ Соу, Джон Ф. (1999). Представление знаний: логические, философские и вычислительные основы . Brooks/Cole Publishing. ISBN  0-534-94965-7 .
  5. ^ «Риичиро Мизогучи - цитаты Google Scholar » . Scholar.google.com .
  6. ^ «Ямато: Еще одна более продвинутая онтология высшего уровня» . Скачать.hozo.jp .
  7. ^ http://basic-formal-ontology.org Basic-formal-ontology.org
  8. ^ https://github.com/bfo-ontology https://github.com/bfo-ontology
  9. ^ «Основные формальные пользователи онтологии» .
  10. ^ «Общие онтологии для интеграции данных» .
  11. ^ «Окружающая среда живет» . uneplive.unep.org .
  12. ^ «Промышленные онтологии литейно» .
  13. ^ Арп, Роберт; Смит, Барри; Спир, Эндрю Д. (2015). Создание онтологий с основной формальной онтологией . MIT Press. ISBN  978-0-262-52781-1 .
  14. ^ «Графическое представление основной формы CRM» . Cidoc . Архивировано из оригинала 2013-10-21 . Получено 2013-10-20 .
  15. ^ «Определение концептуальной справочной модели CIDOC, версия 5.0.4» . Cidoc . Ноябрь 2011.
  16. ^ Масоло, C.; Borgo, S.; Gangemi, A.; Гуарино, Н.; Oltramari, A. (2003-12-31). «WonderWeb ОБРАЗОВАНИЕ D18 Онтологическая библиотека (Final)» (PDF) . IST Project 2001-33052 WonderWeb: инфраструктура онтологии для семантической паутины .
  17. ^ «Дольче-ультралит» .
  18. ^ "Онтология designpatterns.org" .
  19. ^ Herre, H.; Хеллер, Б.; Burek, P.; Hoehndorf, R.; Loebe, F.; Михалек, Х. (2006). «Общая формальная онтология (GFO): фундаментальная онтология, интегрирующая объекты и процессы. Часть I: Основные принципы (версия 1.0)» (PDF) . Исследовательская группа онтологии в области медицины (на MED), Университет Лейпцига. На MED Report, NR. 8
  20. ^ «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 2011-07-19 . Получено 2010-07-11 . {{cite web}}: CS1 Maint: архивная копия как заголовок ( ссылка )
  21. ^ Обруч, Кай-Уве. «Общая формальная онтология (GFO)» . www.onto-med.de .
  22. ^ Семантическое искусство. «Гист домашняя страница» .
  23. ^ Чиара Гидини; Лучано Серафини; Сегио Тессарис (2008). «Сложность рассуждений с выразительным онтологическим отображением» . Формальная онтология в информационных системах . Границы в искусственном интеллекте и приложениях. Тол. 183. IOS Press. С. 297–310. doi : 10.3233/978-1-58603-923-3-297 .
  24. ^ Дуке-Рамос, Астрид; Фернандес-Брейс, Иезаулдо Томас; Стивенс, Роберт; Ассанац-Джиль, Натали (май 2011 г.). «Oquare: квадратный подход к оценке качества онтологий» (PDF) . Журнал исследований и практики в области информационных технологий . 43 (2): 159–176. ISSN   1443-458X .
  25. ^ Майк Бергман (2008-05-11). «Роль зонтика: застряла посередине с тобой». » . Получено 2010-10-26 .
  26. ^ «Архивная копия» (PDF) . Архивировано из оригинала (PDF) 2013-10-08 . Получено 2014-02-12 . {{cite web}}: CS1 Maint: архивная копия как заголовок ( ссылка )
  27. ^ Mizoguchi Riichiro (2004). «Часть 3: продвинутый курс онтологической инженерии». Вычисления нового поколения . 22 (2): 193–220. doi : 10.1007/bf03040960 . S2CID   23747079 .
  28. ^ Гальтон Энтони; Mizoguchi Riichiro (2009). «Вода падает, но водопад не падает: новые перспективы на объекты, процессы и события». Прикладная онтология . 4 (2): 71–107. doi : 10.3233/AO-2009-0067 .
  29. ^ Мизогучи, Р.; Брат, E.; Козаки, К.; Close, Y. (2017-12-14). Инструмент развития Honology: Hozo " Журнал прикладной онтологии . 2 (2): 159–1
  30. ^ Риичиро Мизогучи; Коджи Козаки; Хироко Коу; Юки Ямагата; Такеши Имаи; Тако Ваки; Казухико Ох (2011). «Модель заболеваний Rive Flow» (PDF ) Материалы 2-й Международной конференции по биомедицинской онтологии (ICBO-2011 ) Тол. 833. ISSN   1613-0 {{cite book}}: |journal= игнорируется ( помощь )
  31. ^ Мароши Массай; Рийсиро Мизогучи (2012). "PDF) (PDF ) международный 3 -й Тол. 897. ISSN   1613-0 {{cite book}}: |journal= игнорируется ( помощь )
  32. ^ «Начать [Omnibus Project]» . Qee.jp. ​6 декабря 2014 года . Получено 22 апреля 2015 года .
  33. ^ Кумазава Теруказу (2009). «На пути к структурированию знаний науки о устойчивом развитии, основанном на онтологической инженерии» . Наука по устойчивому развитию . 4 : 99–116. doi : 10.1007/s11625-008-0063-z .
  34. ^ Бланшар, Эммануэль Г.; Риичиро Мизогучи (март 2014 г.). «Разработка систем обучения в культурном отношении с MAUOC, более продвинутая верхняя онтология культуры» (PDF) . Исследования и практика в области технологий, улучшенное обучение . 9 (1): 41–69. S2CID   17389331 . Архивировано из оригинала (PDF) 2018-05-25.
Retrieved from "https://en.wikipedia.org/w/index.php?title=Upper_ontology&oldid=1237434608#gist"
Arc.Ask3.Ru: конец переведенного документа.
Arc.Ask3.Ru
Номер скриншота №: def38ad462f5807e3bd081fc484489f3__1722271680
URL1:https://arc.ask3.ru/arc/aa/de/f3/def38ad462f5807e3bd081fc484489f3.html
Заголовок, (Title) документа по адресу, URL1:
Upper ontology - Wikipedia
Данный printscreen веб страницы (снимок веб страницы, скриншот веб страницы), визуально-программная копия документа расположенного по адресу URL1 и сохраненная в файл, имеет: квалифицированную, усовершенствованную (подтверждены: метки времени, валидность сертификата), открепленную ЭЦП (приложена к данному файлу), что может быть использовано для подтверждения содержания и факта существования документа в этот момент времени. Права на данный скриншот принадлежат администрации Ask3.ru, использование в качестве доказательства только с письменного разрешения правообладателя скриншота. Администрация Ask3.ru не несет ответственности за информацию размещенную на данном скриншоте. Права на прочие зарегистрированные элементы любого права, изображенные на снимках принадлежат их владельцам. Качество перевода предоставляется как есть. Любые претензии, иски не могут быть предъявлены. Если вы не согласны с любым пунктом перечисленным выше, вы не можете использовать данный сайт и информация размещенную на нем (сайте/странице), немедленно покиньте данный сайт. В случае нарушения любого пункта перечисленного выше, штраф 55! (Пятьдесят пять факториал, Денежную единицу (имеющую самостоятельную стоимость) можете выбрать самостоятельно, выплаичвается товарами в течение 7 дней с момента нарушения.)