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

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

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

развития

: . ., Докладчик Скворцов Н А ИПИРАНnskv@ipi.ac.ru

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

(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)

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

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

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

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

(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)

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

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

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

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

(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)

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

(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)

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

(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)

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

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

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

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

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

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

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

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

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

(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)

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

(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)

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

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

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

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

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

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

Некоторые источники определений 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

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

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

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

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

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

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

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

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

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

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

развития

: . ., Докладчик Скворцов Н А ИПИРАНnskv@ipi.ac.ru

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