Если не считать объем информации проблемой, то трудности начинаются с необходимости хранить и обрабатывать записи, разнообразие которых постоянно увеличивается и стремится к показателям реального мира.
Рассмотрим проблемы _очень_ сложных схем/моделей данных и использование RDF Storage в качестве варианта решения.
This module supported the training on Linked Open Data delivered to the EU Institutions on 30 November 2015 in Brussels. https://joinup.ec.europa.eu/community/ods/news/ods-onsite-training-european-commission
"SPARQL Cheat Sheet" is a short collection of slides intended to act as a guide to SPARQL developers. It includes the syntax and structure of SPARQL queries, common SPARQL prefixes and functions, and help with RDF datasets.
The "SPARQL Cheat Sheet" is intended to accompany the SPARQL By Example slides available at http://www.cambridgesemantics.com/2008/09/sparql-by-example/ .
Если не считать объем информации проблемой, то трудности начинаются с необходимости хранить и обрабатывать записи, разнообразие которых постоянно увеличивается и стремится к показателям реального мира.
Рассмотрим проблемы _очень_ сложных схем/моделей данных и использование RDF Storage в качестве варианта решения.
This module supported the training on Linked Open Data delivered to the EU Institutions on 30 November 2015 in Brussels. https://joinup.ec.europa.eu/community/ods/news/ods-onsite-training-european-commission
"SPARQL Cheat Sheet" is a short collection of slides intended to act as a guide to SPARQL developers. It includes the syntax and structure of SPARQL queries, common SPARQL prefixes and functions, and help with RDF datasets.
The "SPARQL Cheat Sheet" is intended to accompany the SPARQL By Example slides available at http://www.cambridgesemantics.com/2008/09/sparql-by-example/ .
МЕТОД НАВИГАЦИИ ПО ТЕКСТУ ДОКУМЕНТА С ПОМОЩЬЮ АВТОМАТИЧЕСКОЙ ОБРАБОТКИ ЕГО СО...ITMO University
Описывается подход, который может быть использован в качестве альтернативы автоматическому реферированию текста. Суть подхода заключается в формировании представлений исходного текста и возможности перемещаться по его содержанию с помощью этих представлений – от общего представления к более конкретному представлению и обратно. Представления формируются на основании методов автоматической обработки текста – статистических методов и поверхностного лингвистического анализа. В работе дано формализованное описание подхода, а также рассмотрена реализация на основе реляционной базы данных.
В статье дается анализ развития проблем логики в информатике. Обсуждается проблема открытой логики. Обсуждается применение информационных единиц как основы логических построений в информатике. Обсуждается проблема подсистем вывода и получения вывода в информатики. Выявлены основные направления применения логических построений в информатике. Показана необходимость философского анализа проблем информатики и логики и совместных логико-информационных проблем. Статья показывает необходимость введения и разделения понятий «информационная система». В работе выделены и проанализированы три группы философских проблем, связанных с информатикой: собственно проблемы информатики, философские проблемы информатики, информационно-философские проблемы информатики. Философские проблемы логики и информатики приводят к необходимости введения и разделения понятий «информационная система», а также к необходимости различать процессуальные системы, дескриптивные системы, базы данных, классификаторы, атрибутивные системы и системы вывода.
More Related Content
Similar to Онтология профессиональной математики OntoMаthPro и ее приложения
МЕТОД НАВИГАЦИИ ПО ТЕКСТУ ДОКУМЕНТА С ПОМОЩЬЮ АВТОМАТИЧЕСКОЙ ОБРАБОТКИ ЕГО СО...ITMO University
Описывается подход, который может быть использован в качестве альтернативы автоматическому реферированию текста. Суть подхода заключается в формировании представлений исходного текста и возможности перемещаться по его содержанию с помощью этих представлений – от общего представления к более конкретному представлению и обратно. Представления формируются на основании методов автоматической обработки текста – статистических методов и поверхностного лингвистического анализа. В работе дано формализованное описание подхода, а также рассмотрена реализация на основе реляционной базы данных.
В статье дается анализ развития проблем логики в информатике. Обсуждается проблема открытой логики. Обсуждается применение информационных единиц как основы логических построений в информатике. Обсуждается проблема подсистем вывода и получения вывода в информатики. Выявлены основные направления применения логических построений в информатике. Показана необходимость философского анализа проблем информатики и логики и совместных логико-информационных проблем. Статья показывает необходимость введения и разделения понятий «информационная система». В работе выделены и проанализированы три группы философских проблем, связанных с информатикой: собственно проблемы информатики, философские проблемы информатики, информационно-философские проблемы информатики. Философские проблемы логики и информатики приводят к необходимости введения и разделения понятий «информационная система», а также к необходимости различать процессуальные системы, дескриптивные системы, базы данных, классификаторы, атрибутивные системы и системы вывода.
Similar to Онтология профессиональной математики OntoMаthPro и ее приложения (20)
Онтология профессиональной математики OntoMаthPro и ее приложения
1. Онтология
профессиональной математики
OntoMаthPro
и ее приложения
А.М. Елизаровa, Н.Г. Жильцов, А.В. Кириллович,
Е.К. Липачёв, О.А. Невзорова, В.Д. Соловьев
Казанский федеральный университет
26 сентября 2014
Казань
КИИ-2014
2. План
• Понятие онтологии
• Онтология OntoMаthPro
Цели
Концепты
Отношения
• Приложения:
Кейс 1: Платформа семантической публикации
Кейс 2: Семантический поиск по математическим формулам
Кейс 3: Образование
3. Понятие онтологии (1)
• Представление и обмен знаниями основан на
концептуализации
• Участники коммуникации могут иметь разную
концептуализацию и разный словарь
• Решение: онтология
4. Понятие онтологии (2)
• Онтология определяет основные понятия предметной
области и связи между ними
• Состав онтологии: концепты, отношения и аксиомы
5. OntoMаthPro
• Онтологическая модель математического знания
• Автоматическая обработка математических статей
• Хаб для облака Linking Open Data
6. Концепты
• Две таксономии математических понятий:
Области математики
Математические объекты
• Концепты содержат:
Заголовок: русский и английский
Определение
Ссылки на внешние ресурсы из наборов DBpedia и ScienceWISE
Связи с другими концептами
• Объем: 3450 концептов
Мат. логика, Теория множеств, Алгебра, Геометрия, Топология…
Множество, Функция, Интеграл, Эл. событие, Многочлен Лагранжа…
7. Отношения
• Класс → Подкласс (ISA)
• Область математики → Математический объект
• Определяется с помощью
• Смотри также
• Задача → Метод решения
Число → Простое число
Метрическая геометрия → Барицентрические координаты
Символ Кристоффеля → Связность
Циклический итерационный метод Чебышева → Численное решение СЛУ
Система линейных уравнений → Метод Гаусса
8. Приложения
• Платформа семантической публикации математических статей
→ RDF-набор статей журнала «Известия Вузов. Математика»
• Семантический поисковик по формулам
• Образование
10. Содержимое набора
• Метаданные:
Названия, дата и т.д.
Авторы
Организации
→ Онтология AKT Portal
• Логическая структура статьи: раздел, теорема, доказательство, формула, …
→ Онтология Mocassin
• Терминология
→ Онтология OntoMathpro
Формулы, привязанные к терминологии
Платформа семантической публикации (2)
11. • IVM — набор данных LOD, представляющий статьи из журнала «Известия Вузов.
Математика» (1997-2007)
• Объем: 854 284 триплета, описано 4 190 теорем, 1 015 определений и др.
• Доступен по адресу: http://cll.niimm.ksu.ru:8890/sparql
Платформа семантической публикации (3)
12. Семантический поисковик по
математическим формулам
• Существует много поисковиков по формулам
• …но они являются синтаксическими —
ищут формулы, содержащие заданный фрагмент
• Наш поисковик является семантическим —
ищет формулы, содержащие переменную, обозначающую
заданное математическое понятие
(uni)quation, Springer LaTeX Search, Wikipedia Formula Search, Wolfram Formula Search…
Найди формулы, содержащие (a+b)^2
Найди формулы, содержащие переменную, обозначающую угол
19. Дополнительная информация о формуле: список всех ее переменных, и метаданные
статьи, в которых формула находится
20. Образование: проверка знаний студентов (1)
• Студент должен владеть целостной картиной предметной
области
• Онтология моделирует эту целостную картину
• Идея: использовать онтологию для проверки знаний
студентов
21. Образование: проверка знаний студентов (2)
Наш эксперимент:
• Мы взяли фрагмент онтологии (по теме «Численные
методы»), содержащий:
– иерархи задач и методов;
– иерархическое связи и связи задача→метод.
• Удалили связи
• Задача студента: восстановить связи
22. Образование: проверка знаний студентов (3)
Результат эксперимента:
• Результат: степень совпадения исходного графа с графом
студента
• Использовались Recall, Precision и F-score
• Средний результат (F-score):
– Иерархическое отношение: 83%
– Отношение задача→метод: 35%.
• → Восстанавливать отношения сложнее, чем иерархию.