- •Онтологии: современное состояние, стандарты, средства поддержки
- •Введение
- •Применение онтологий
- •Мультиагентные системы
- •Постановка проблемы
- •Понятия и принципы
- •Семантическая сеть
- •Стандарты
- •Iso10303 Структура стандарта
- •Основные элементы языкаExpress
- •СтандартIso13584 (plib)
- •СтандартIso15531 (mandate)
- •Стандарт iso 8879 (sgml)
- •Iso15926
- •Архитектура iso 15926
- •Концептуальные модели данных
- •Справочные данные
- •Регистрация и сопровождение справочных данных
- •Язык описания онтологий owl
- •Обзор современных онторедакторов и средств поддержки онтологий
- •15926 Editor
- •Makleod
- •Ncbo BioPortal
- •SigmaKee
- •Прикладные задачи, решаемые с использованием онтологий
- •Конструктор онтологий компании Magenta
- •Protégé
- •Конструктор онтологийSmartsolutions
- •Система планирования «Smartfactory»
- •Список использованных источников
- •Приложение Коммюнике Онтологического саммита 20131 оценкА онтологий в течение всего жизненного цикла
- •8.1. Информационное моделирование
- •8.2. Формализация вопросов компетенции
- •8.3. Формальное моделирование
- •8.4. Операционная адаптация
Обзор современных онторедакторов и средств поддержки онтологий
15926 Editor
Разработанный компанией Techinvestlab (Россия) программный продукт для работы с данными в формате ISO 15926. Позволяет создавать онтологии предметных областей в рамках базовой онтологии, изложенной в стандарте ISO 15926 в части второй. Данный редактор в состоянии обрабатывать любые RDF-совместимые наборы данных. Особенностью данной программы является возможность работы с большими объемами информации, что недоступно большинству общедоступных редакторов.
Основные задачи, решаемые ISO 15926: возможность получения информации из большинства существующих онтологий в максимально возможном количестве форматов, проверка справочных данных, создание новых справочных данных, включая автоматическую их генерацию из существующих источников. [21]
COLORE
COLORE или Common Logic Ontology Repository это проект, разработанный у университете Торонто, целью которого является создание репозитория онтологий верхнего уровня, который бы служил в качестве испытательной площадки при решении задач оценки онтологий и методов их интеграции в рамках логики первого порядка. Языком описания онтологий для данного проекта был выбран недавно стандартизованный ISO 24707, язык спецификации онтологий верхнего уровня и баз знаний.
HyQue
Разработанная в университете Карлтона система HyQue предназначена для проверки соответствия формализованных гипотез экспериментальным данным через ряд SPARQL запросов и соответствия определенным формальным правилам. HyQue использует наборы правил, специфические для конкретных предметных областей. Данные, полученные в результате работы системы представлены в виде RDF и OWL.
Makleod
Данная программа состоит из набора скриптов, призванных оказывать поддержку в решении типовых задач при создании онтологий. В данный момент разработчики проекта решают задачу автоматизации задач, не затрагивающих семантику. К таким вопросам можно отнести, например, проверку согласованности онтологий. Целевыми онтологиями для данной программы являются онтологии, определенные на языке Common Logic. В ближайшем будущем данный продукт объединится с проектом Colore, в рамках которого будет использоваться для оценки и поддержки онтологий в хранилище.
Ncbo BioPortal
Интернет портал NCBO BioPortal предоставляет доступ к наиболее часто используемым онтологиям в биомедицинской сфере и инструментам для работы с ними. Портал поддерживает поиск по нескольким онтологиям одновременно, позволяет создавать и обозревать связи между терминами в разных онтологиях. Портал также позволяет создавать аннотации к текстам в RDF формате.
OntoHub
OntoHub это программа для управления распределенными гетерогенными онтологиями. Она была создана в университете Бремена для поддержки создания и интеграции онтологий, написанных на разных языках. Ontohub поддерживает большое количество языков описания онтологий наряду с языками формальной логики для создания сложных межтеоретических связей и отношений в рамках формальной семантики.
OntologyTest
Разработанный в университете Сан-Пабло, Испания, набор инструментов OntologyTest предназначен для проверки функциональных требований онтологии. Программа выполнена в виде набора тестов, которые можно запускать независимо друг от друга, что позволяет упростить процедуру проверки онтологий как в процессе создания, так и на этапе их эксплуатации.
OntoQA
Средство оценки и анализа онтологий, использующее набор метрик для определения и оценки различных параметров онтологии и базы знаний. Метрики подразделяются на две категории – оценка структуры организации онтологии и то, как структурированы сами записи в онтологии. Отличительной чертой данного продукта является его способность работать с онтологией, находящейся в работе, что значительно упрощает процесс оценки.
OOPS
OOPS или OntOlogy Pitfall Scanner это web-приложение, предназначенное для обнаружения потенциальных проблем в логике онтологии, которые бы могли привести к ошибкам в моделировании. Данная программа позволяет создателям онтологий проверять свои системы на наличие распространенных логических ошибок на этапе создания. Примером ошибок, обнаруживаемых данными инструментом является зацикливание определений двух классов друг через друга. Что может привести к проблемам в работе механизма поддержки принятия решений.
OOR
Open Ontology Repository это онтологический репозиторий, предоставляющий возможности для хранения, обмена, поиска, управления и других дополнительных сервисов для онтологий.
OpenLinkVirtuoso
Универсальный сервер Virtuoso это инновационный сервер данных для мультимодельных (RDF и SQL) справочных данных. Он предоставляет платформонезависимую поддержку для безопасного хранения, обмена и интеграции онтологических данных. Гибридная архитектура Virtuoso предоставляет функционал классического сервера в следующих областях: управление данными в реляционных таблицах SQL, управление данными в SPARQL совместимых RDF, развертывание ссылочных данных.
RepOSE
RepOSE или Repair of Ontological Structure Environment является системой для поиска и исправления ошибок в онтологиях. Данный продукт способен распознавать и ошибки моделирования и некоторые семантические дефекты. В настоящее время разработчики сфокусировались на поиске ошибок описания и задания отношений. Существует несколько редакций RepOSE, одна из них является свободно распространяемой для некоммерческого использования и находится в широком доступе.