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

1. Формирование глоссарияпо онтологическому моделированию:состояние и перспективы развития http://ontology.ipi.ac.ru/ Докладчик: Скворцов Н. А., ИПИ РАНnskv@ipi.ac.ru

2. План доклада • Введение • Инфраструктура предметной области • Принципы определения статей глоссария • Этапы работы над глоссарием • Состояние на текущий момент • Развитие глоссария 2-й Симпозиум «Онтологическое моделирование», Казань

3. Введение • Решение, принятое на симпозиуме 2008 г. • «коллективными усилиями создать русскоязычный словник терминов в предметной области онтологического моделирования» • Глоссарий создаётся как двуязычный систематизированный список терминов предметной области, снабжённых определениями и некоторыми существенными семантическими отношениями. • Цели разработки глоссария • согласование понимания терминов внутри сообщества симпозиума • формирование русскоязычной терминологии в области онтологического моделирования • выработка рекомендаций по использованию терминов специалистами в онтологическом моделировании 2-й Симпозиум «Онтологическое моделирование», Казань

4. Инфраструктура предметной области • Онтологическое моделирование находится на стыке различных областей знания • Лингвистика • Логика • Семантика • Информационный поиск • Алгоритмы • Моделирование • Концептуальное моделирование • Проектирование и дизайн • Информационные системы • Базы данных • Деятельности • Термины глоссария относятся к одной или нескольким категориям, соответствующим данным областям знания 2-й Симпозиум «Онтологическое моделирование», Казань

5. Состав статей глоссария • Термины • Термин • Определения термина на русском языке • Англоязычный аналог термина • Англоязычные определения термина, если определение взято из англоязычного источника • источники (публикация или URL) с определением термина • Существенные отношения • Синонимы • Более общий термин • Омонимы • Антонимы, часть/целое, зависимость, возможно, другие виды отношений • Категории, которым принадлежит термин • Дополнительные описания • Комментарии 2-й Симпозиум «Онтологическое моделирование», Казань

6. Принципы определения терминов • Определение каждого термина должно действительно определять, что означает термин • Отсутствие взаимного определения терминов друг через друга • Недвусмысленность • Отдельное описание каждого значимого в данной области термина, встречающегося в определениях • Определение существенных свойств – определение должно подчёркивать существенные особенности смысла термина • Приоритет цитируемых определений, взятых из представительных источников • Указание источника для каждого цитируемого определения 2-й Симпозиум «Онтологическое моделирование», Казань

7. Коллективная разработка глоссария (0) • Этап 0: Создание первичного варианта глоссария • Охватываемые области знания • Набор и определение терминов • Дополнение терминами из определений • Корректировка несколькими участниками рабочей группы • Создание сайта wiki с первичным вариантом глоссария • Эта задача выполнена • Домашняя страница глоссария http://ontology.ipi.ac.ru/index.php/Category:Список_терминов 2-й Симпозиум «Онтологическое моделирование», Казань

8. Коллективная разработка глоссария (1) • Этап 1: Коллективное наполнение глоссария и комментирование • Каждый участник оценивает уместность терминов в глоссарии • Оценивает точность определения терминов • Приемлемость русского перевода терминов и определений • Отношения с другими терминами (в том числе, синонимы, омонимы, антонимы, категоризацию и так далее) • Добавляет и определяет термины, которые, по его мнению, должны быть в глоссарии • Дополняет альтернативными определениями с указанием источников или более уместными определениями • Указывает другие значения термина • Указывает связи терминов, принадлежность категориям • Предлагает свои варианты решения проблем 2-й Симпозиум «Онтологическое моделирование», Казань

9. Коллективная разработка глоссария (2) • Этап 2. Обсуждение • Проводится в системе обсуждения Cicero в wiki-ресурсе • По комментариям участников в системе регистрируется начальный список вопросов и начальные варианты их решения • Участники регистрируют свои вопросы • Предлагают свои варианты решения любых вопросов • Подтверждают или опровергают решения, предложенные другими участниками • Решение вопросов • Ответственным лицом, на основе предложенных решений (при очевидном решении) • Проведением голосования по выбору предложенных решений, если обсуждения продолжаются без видимого выхода или замолкают без возможности достижения консенсуса 2-й Симпозиум «Онтологическое моделирование», Казань

10. Вынесение решений по терминам • Если нет открытых вопросов по термину, то определение окончательное • Если есть вопросы по определению, то до тех пор, пока вопросы не перестанут появляться, предлагаются варианты изменений в определениях • Если комментарии в целом отрицательны, ставится вопрос о переопределении термина, где в качестве решений могут предлагаться • Другие определения • Удаление термина • Оставление нескольких альтернативных определений • Добавление омонимов • Выбор другой гранулярности терминов • и другое • Для свободных дискуссий используется форум • Сложные случаи откладываются для очного обсуждения 2-й Симпозиум «Онтологическое моделирование», Казань

11. Текущее состояние глоссария (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-й Симпозиум «Онтологическое моделирование», Казань

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

13. Текущее состояние глоссария (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) 2-й Симпозиум «Онтологическое моделирование», Казань

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

15. Текущее состояние глоссария (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) 2-й Симпозиум «Онтологическое моделирование», Казань

16. Текущее состояние глоссария (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) 2-й Симпозиум «Онтологическое моделирование», Казань

17. Текущее состояние глоссария (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) 2-й Симпозиум «Онтологическое моделирование», Казань

18. Текущее состояние глоссария (9) • Логика • Выполнимость или Совместность (Satisfiability) • Непротиворечивость или Целостность или Согласованность (Consistency) • Правильность или Валидность (Validity) • Разрешимость (Decidability) • Доказуемость (Provability) • Поглощение (Subsumption) • Следование или Импликация (Entailment, Implication) • Корректность (Soundness) • Вывод (Inference) • Противоречие (Contradiction) • Неоднозначность () • Сложность (Complexity) • Полнота теории (Completeness) • Информационный поиск • Полнота выборки (Completeness) • Точность выборки (Precision) • Релевантность (Relevance) 2-й Симпозиум «Онтологическое моделирование», Казань

19. Текущее состояние глоссария (10) • Информационные системы • Информационная система (Information system) • Коллекция • Электронная библиотека • Интероперабельность (Interoperability) • Техническая интероперабельность (Technical interoperability) • Синтаксическая интероперабельность (Syntactic interoperability) • Семантическая интероперабельность (Semantic interoperability) • Деятельности • Задача (Task) • Предметная область (Subject Domain) • Агент (Agent) • Действие (Action) • Эксперт (Expert) • Онтолог (Ontologist) • Экспертное решение (Expert Decision) 2-й Симпозиум «Онтологическое моделирование», Казань

20. Текущее состояние глоссария (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) 2-й Симпозиум «Онтологическое моделирование», Казань

21. Текущее состояние глоссария (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) 2-й Симпозиум «Онтологическое моделирование», Казань

22. Сложности при разработке глоссария • Охват категорий знания • Русская терминология • Согласование определений друг с другом • Поиск источников определений • Оценка качества определений • Различия терминов в разных технологиях и методологях • RDF • N. Guarinoкритикует терминологию RDF • Property – Relation • NeOn • Глоссарий деятельностей над онтологиями • Применим к единственной методологиижизненного цикла онтологий NeOn • Ontology mapping – Ontology Alignment • IEEE • Стандарт разработки бизнес-приложений • Ontology – Conceptual Schema – Data Model 2-й Симпозиум «Онтологическое моделирование», Казань

23. Некоторые источники определений • 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 2-й Симпозиум «Онтологическое моделирование», Казань

24. Приглашение к сотрудничеству • Добро пожаловать в рабочую группу по разработке глоссария по онтологическому моделированию • Необходимо • Формирование группы в переписке по эл. почте • Регистрация в wiki-ресурсе и системе обсуждений • Комментирование большинства терминов каждым участником • Активность каждого участника в постановке и решении вопросов в систем обсуждений • По результатам работы предполагается издать глоссарий (не только wiki-ресурс) 2-й Симпозиум «Онтологическое моделирование», Казань

25. Формирование глоссарияпо онтологическому моделированию:состояние и перспективы развития http://ontology.ipi.ac.ru/ Докладчик: Скворцов Н. А., ИПИ РАНnskv@ipi.ac.ru