Формирование глоссария по онтологическому моделированию: состояние и перспективы развития

Формирование глоссария по онтологическому

:моделированию состояние и перспективы

развития

: . ., Докладчик Скворцов Н А ИПИРАН[email protected]

http://ontology.ipi.ac.ru/

План доклада Введение Инфраструктура предметной области Принципы определения статей глоссария Этапы работы над глоссарием Состояние на текущий момент Развитие глоссария

11-12 октября 20102 2-й Симпозиум «Онтологическое моделирование», Казань

Введение Решение, принятое на симпозиуме 2008 г.

«коллективными усилиями создать русскоязычный словник терминов в предметной области онтологического моделирования»

Глоссарий создаётся как двуязычный систематизированный список терминов предметной области, снабжённых определениями и некоторыми существенными семантическими отношениями.

Цели разработки глоссария согласование понимания терминов внутри сообщества

симпозиума формирование русскоязычной терминологии в области

онтологического моделирования выработка рекомендаций по использованию терминов

специалистами в онтологическом моделировании


Инфраструктура предметнойобласти Онтологическое моделирование находится на стыке

различных областей знания Лингвистика Логика Семантика Информационный поиск Алгоритмы Моделирование Концептуальное моделирование Проектирование и дизайн Информационные системы Базы данных Деятельности

Термины глоссария относятся к одной или нескольким категориям, соответствующим данным областям знания


Состав статей глоссария

11-12 октября 20102-й Симпозиум «Онтологическое моделирование», Казань5

Термины Термин Определения термина на русском языке Англоязычный аналог термина Англоязычные определения термина, если определение взято из

англоязычного источника источники (публикация или URL) с определением термина

Существенные отношения Синонимы Более общий термин Омонимы Антонимы, часть/целое, зависимость, возможно, другие виды

отношений Категории, которым принадлежит термин

Дополнительные описания Комментарии

Принципы определения терминов Определение каждого термина должно действительно

определять, что означает термин Отсутствие взаимного определения терминов друг через

друга Недвусмысленность Отдельное описание каждого значимого в данной области

термина, встречающегося в определениях Определение существенных свойств – определение

должно подчёркивать существенные особенности смысла термина

Приоритет цитируемых определений, взятых из представительных источников

Указание источника для каждого цитируемого определения


Коллективная разработка глоссария(0) Этап 0: Создание первичного варианта глоссария

Охватываемые области знания Набор и определение терминов Дополнение терминами из определений Корректировка несколькими участниками рабочей группы Создание сайта wiki с первичным вариантом глоссария

Эта задача выполнена Домашняя страница глоссария

http://ontology.ipi.ac.ru/index.php/Category:Список_терминов


Коллективная разработка глоссария(1) Этап 1: Коллективное наполнение глоссария и

комментирование Каждый участник оценивает уместность терминов в глоссарии Оценивает точность определения терминов Приемлемость русского перевода терминов и определений Отношения с другими терминами (в том числе, синонимы,

омонимы, антонимы, категоризацию и так далее) Добавляет и определяет термины, которые, по его мнению,

должны быть в глоссарии Дополняет альтернативными определениями с указанием

источников или более уместными определениями Указывает другие значения термина Указывает связи терминов, принадлежность категориям Предлагает свои варианты решения проблем


Коллективная разработка глоссария(2) Этап 2. Обсуждение

Проводится в системе обсуждения Cicero в wiki-ресурсе По комментариям участников в системе регистрируется

начальный список вопросов и начальные варианты их решения Участники регистрируют свои вопросы Предлагают свои варианты решения любых вопросов Подтверждают или опровергают решения, предложенные

другими участниками Решение вопросов

Ответственным лицом, на основе предложенных решений (при очевидном решении)

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


Вынесение решений по терминам Если нет открытых вопросов по термину, то определение

окончательное Если есть вопросы по определению, то до тех пор, пока вопросы

не перестанут появляться, предлагаются варианты изменений в определениях

Если комментарии в целом отрицательны, ставится вопрос о переопределении термина, где в качестве решений могут предлагаться Другие определения Удаление термина Оставление нескольких альтернативных определений Добавление омонимов Выбор другой гранулярности терминов и другое

Для свободных дискуссий используется форум Сложные случаи откладываются для очного обсуждения


(1)Текущее состояние глоссария Концептуальное моделирование

Моделирование (Modeling) Язык моделирования (modeling language) Модель (Model) Схема (Schema) Спецификация (Specification) Модель данных (Data model) Информационная модель (Information model) Унификация моделей (Model unification) Отображение моделей (Model mapping) Выразительная мощность языка (Expressive Power) Концептуальное моделирование (Conceptual modeling) Концептуальная модель данных (Conceptual data

model) Концептуальная модель предметной области (Subject

domain conceptual model) Концептуальная схема (Conceptual schema)


(2)Текущее состояние глоссария Организация информации

Глоссарий (Glossary) Словарь (Dictionary, Vocabulary) Контролируемый словарь (Controlled Vocabulary) Тезаурус (Thesaurus) Таксономия (Taxonomy) Иерархия (Hierarchy) Классификатор (Classifier) Система классификации (Classification System) Метаданные (Metadata) Данные (Data) Информация (Information) Знание (Knowledge) Представление знаний (Knowledge Representation)


(3)Текущее состояние глоссария Онтологическое моделирование

Онтология (Ontology) Формальная онтология (Formal Оntology) Онтологическое обязательство (Ontological

Commitment) Концептуализация (Conceptualization) Гранулярность понятий (Concept Granularity) Онтология верхнего уровня (Top-Level

Ontology/Upper Ontology/Foundation Ontology) Метаонтология (Metaontology) Библиотека онтологий (Ontology Library) Редактор онтологий (Ontology Editor) Онтологическое моделирование (Ontological

Modeling) Семантический Веб (Semantic Web)


(5)Текущее состояние глоссария Сущности

Понятие (Concept) Термин (Term) Терминология (Termology) Сущность (Entity) Дескриптор (Descriptor) Категория (Category) Категория Аристотеля (Aristotle's Category) Класс (Class) Подкласс (Subclass) Суперкласс (Superclass) Тип (Type) Подтип (Subtype) Супертип (Supertype) Абстрактный тип данных (Abstract Data Type) Значение (Value) Экземпляр (Instance) Индивид (Individual) Фрейм (Frame) Объект (Object)


(6)Текущее состояние глоссария Связи

Атрибут (Attribute) Свойство (Property) Ассоциация (Association) Связь (Relationship) Роль (Role) Отношение (Relation) Слот (Slot) Факт (Fact) Операция (Operation) Предусловие (Precondition) Постусловие (Postcondition) Область определения (Domain) Область значений (Range) Бинарное отношение (Binary Relation) Транзитивное отношение (Transitive Relation) Симметричное отношение (Symmetric Relation) Рефлексивное отношение (Reflexive Relation) Функциональное отношение (Functional Relation) Обратное отношение (Inverse relation)


(7)Текущее состояние глоссария Семантика

Семантическое отношение (Semantic Relation) Синонимия или отношение эквивалентности (synonymy or

equivalence relation) Омонимия (Homonymy) Антонимия (Antonymy) Ассоциативное отношение (Associative Relation) Родовидовое отношение или выше/ниже или Отношение

гипернимии/гипонимии или Отношение обобщения/специализации (Generic Relation, Broader/Narrower, Hypernym/Hyponym, Generalization/Specialization)

Отношение часть/целое или Отношение меронимии/холонимии (Part/Whole Relation)

Мереология (Mereology) Отношение классификации или класс/экземпляр (instance-of

relation) Отношение зависимости (Dependency Relation)


(8)Текущее состояние глоссария Логика

Высказывание или пропозиция (Sentence, Proposition) Формула (Formula) Предикат (Predicate) Логика высказываний или пропозициональная логика (Propositional Logic) Логика предикатов первого порядка (First Order Logic) Аксиома (Axiom) Определение (Definition) Инвариант (Invariant) Теорема (Theorem) Правило вывода (Inference Rule) Машина вывода (Inference Engine/Reasoner) Теория (Theory) Свободная переменная (Free variable) Связанная переменная (Bound Variable) Замыкание (Closure) Абстракция (Abstraction) Аксиоматическое определение (Axiomatic Definition) Вербальное определение (Verbal Definition) Функция (Function) Формальная система (Formal System) Интерпретация (Interpretation) Модель (Model) Дескриптивная логика (Description Logic)


(9)Текущее состояние глоссария Логика

Выполнимость или Совместность (Satisfiability) Непротиворечивость или Целостность или Согласованность (Consistency) Правильность или Валидность (Validity) Разрешимость (Decidability) Доказуемость (Provability) Поглощение (Subsumption) Следование или Импликация (Entailment, Implication) Корректность (Soundness) Вывод (Inference) Противоречие (Contradiction) Неоднозначность () Сложность (Complexity) Полнота теории (Completeness)

Информационный поиск Полнота выборки (Completeness) Точность выборки (Precision) Релевантность (Relevance)


(10)Текущее состояние глоссария Информационные системы

Информационная система (Information system) Коллекция Электронная библиотека Интероперабельность (Interoperability) Техническая интероперабельность (Technical interoperability) Синтаксическая интероперабельность (Syntactic interoperability) Семантическая интероперабельность (Semantic interoperability)

Деятельности Задача (Task) Предметная область (Subject Domain) Агент (Agent) Действие (Action) Эксперт (Expert) Онтолог (Ontologist) Экспертное решение (Expert Decision)


(11)Текущее состояние глоссария Деятельности по согласованию онтологий

Согласование онтологий (Ontology reconciliation) Выравнивание онтологий (Ontology Alignment) Сопоставление онтологий (Ontology Matching) Гармонизация онтологий (Ontology Harmonization) Сравнение онтологий (Ontology Comparison) Отображение онтологий (Ontology Mapping) Слияние онтологий (Ontology Merging) Интеграция онтологий (Ontology Integration) Соответствие (Correspondence) Правило отображения (Mapping rule) Аксиома сочленения (Bridge axiom, articulation axiom)

Деятельности по проверке качества онтологий Оценка онтологии (Ontology Assessment) Оценка онтологии (Ontology Evaluation) Валидация онтологии (Ontology Validation) Верификация онтологии (Ontology Verification) Диагностика онтологии (Ontology Diagnosis) Исправление онтология (Ontology Repair) Спецификация онтологии (Ontology Specification) Документация онтологии (Ontology Documentation)


(12)Текущее состояние глоссария Деятельности по разработке онтологий

Обновление онтологии (Ontology Update) Модернизация онтологии (Ontology Upgrade) Поддержка версий онтологии или многоверсионность (Ontology Versioning) Обогащение онтологии (Ontology Enrichment) Специализация онтологии (Ontology Specialization) Расширение онтологии (Ontology Extension) Формализация онтологии (Ontology Formalization) Реализация онтологии (Ontology Implementation) Развитие онтологии (Ontology Evolution) Сбор знаний для онтологии (Knowledge Acquisition for Ontologies) Извлечение онтологии (Ontology Elicitation) Обучение онтологии (Ontology Learning) Редактирование онтологии (Ontology Edition) Модификация онтологии (Ontology Modification) Локализация онтологии (Ontology Localization) Очистка онтологии (Ontology Pruning) Реинжиниринг онтологии (Ontology Reengineering) Реструктуризация онтологии (Ontology Restructuring) Трансляция онтологии (Ontology Translation)


Сложности при разработкеглоссария Охват категорий знания Русская терминология Согласование определений друг с другом Поиск источников определений Оценка качества определений Различия терминов в разных технологиях и методологях

RDF N. Guarino критикует терминологию RDF Property – Relation

NeOn Глоссарий деятельностей над онтологиями Применим к единственной методологии жизненного цикла онтологий NeOn Ontology mapping – Ontology Alignment

IEEE Стандарт разработки бизнес-приложений Ontology – Conceptual Schema – Data Model


Некоторые источники определений B. Hjørland

http://www.db.dk/bh/lifeboat_ko/home.htm R. Šumrada

http://costg9.plan.aau.dk/Bremen2001/Rados/RadosGlossary.htm

P. Suber http://www.earlham.edu/~peters/courses/logsys/

glossary.htm NeOn Glossary of Activities Wikipedia G. Booch J. Sowa T. Gruber N. Guarino


Приглашение к сотрудничеству Добро пожаловать в рабочую группу по разработке

глоссария по онтологическому моделированию Необходимо

Формирование группы в переписке по эл. почте Регистрация в wiki-ресурсе и системе обсуждений Комментирование большинства терминов каждым

участником Активность каждого участника в постановке и решении

вопросов в систем обсуждений По результатам работы предполагается издать

глоссарий (не только wiki-ресурс)


Формирование глоссария по онтологическому

:моделированию состояние и перспективы

развития

: . ., Докладчик Скворцов Н А ИПИРАН[email protected]

http://ontology.ipi.ac.ru/

Documents

Формирование глоссария по онтологическому моделированию: состояние и перспективы развития